AI Department
LILaC
Andreas Herzig
TEACHING: COURSES AND TUTORIALS
Propositional logic and predicate logic
Modal logics and description logics
Reasoning about knowledge, belief, action, and agency
-
Social intelligence and logics for multi-agent systems
-
Epistemic logics and epistemic dynamic logics
-
Epistemic planning
-
Belief revision and update
-
Agency, STIT logic