Description logics.

A proof theory for description logics by: (Electronic resources)

Description logics in multimedia reasoning by: (Electronic resources)

R-calculus.V,Description logics by: (Electronic resources)

R-calculus, VIfinite injury priority method / by: (Electronic resources)

Mathematical Logic and Formal Languages.

Image Processing and Computer Vision.

Mathematical Logic and Foundations.

Mathematics of Computing.

Multimedia systems.

Calculus.

Logic in AI.

Description logics.

Artificial Intelligence (incl. Robotics)

Mathematical Applications in Computer Science.

Big Data.

Formal Languages and Automata Theory.

Proof theory

Computer Science.

Discrete Mathematics in Computer Science.

Mathematical Modeling and Industrial Mathematics.