Description logics.

R-calculus, VI = finite injury priority method / by: (書目-語言資料,印刷品)

Quantifier elimination over real closed fields : = mathematical basis, solution techniques, practical integrations / by: (書目-語言資料,印刷品)

A proof theory for description logics by: (書目-語言資料,印刷品)

Description logics in multimedia reasoning by: (書目-語言資料,印刷品)

Proof theory

Artificial Intelligence (incl. Robotics)

Multimedia systems.

Mathematical Modeling and Industrial Mathematics.

Image Processing and Computer Vision.

Mathematical Applications in Computer Science.

Logic in AI.

Cylindric algebras.

Algebraic fields.

Mathematics of Computing.

Discrete Mathematics in Computer Science.

Computer Science.

Calculus.

Algorithms.

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Description logics.