Command of logic-based techniques for knowledge representation and
reasoning, which is a fundamental topic in artificial intelligence. The
ability to compute with them.
Subject
Techniques to represent knowledge and to reason in classical first-order
logic (with equality), nonmonotonic logics, and in description logics.
Besides acquiring theoretical background, students will also get
hands-on experience with some tools and systems.
