Interdisciplinary project of FMFI CU
Selection of professional projects
Research areas: logic programming, preference handling, knowledge representation
Teaching assistant: C++ programming, Introduction to Computational Logic, Computational Logic, Knowledge representation and reasoning.
TEACHING
Databases (1)
Databases (2)
Deductive databases
RESEARCH
knowledge representation
logic programming
reasoning with preferences
