LILaC

Andreas Herzig


TEACHING: COURSES AND TUTORIALS


Propositional logic and predicate logic

Modal logics

Description logics

Reasoning about knowledge, belief, action, and agency