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

Interdisciplinary project

1st year of B.Sc.

1st year of B.Sc.

1st year of B.Sc.

1st year of B.Sc.

1st year of B.Sc.

2nd year of B.Sc.

1st year of B.Sc.

1st year of B.Sc.