Teaching

I'm participating in the following Bachelor courses:

• Mathematics 4 - Logic for computer science (practicals)
• Deductive Databases

And Master courses:

• Computational logic
• Knowledge representation and reasoning
• Ontologies and knowledge engineering
• Web technology and methodology
• Web technologies in teaching

In the past I also taught:

• Introduction to artificial intelligence 2