Description logics.

R-calculus, VI = finite injury priority method / by: (Language materials, printed)

Quantifier elimination over real closed fields : = mathematical basis, solution techniques, practical integrations / by: (Language materials, printed)

A proof theory for description logics by: (Language materials, printed)

Description logics in multimedia reasoning by: (Language materials, printed)

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.