Foundations of Knowledge Representation
From International Center for Computational Logic
Foundations of Knowledge Representation
Course with SWS 2/2/0 (lecture/exercise/practical) in WS 2026
Lecturer
Tutor
SWS
- 2/2/0
Modules
Examination method
- Oral exam
Beginning of Semester
The first lecture will take place on Monday 12 October in room APB E005 at 9:20 (DS2).
Synopsis
In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.
Exam
To take an exam in the course, you must:
- Register for the exam
- Registration and registration deadlines may depend on your program of study. Make sure you know your particular requirements ahead of time and register accordingly.
- Apply for a date/time slot
- write an e-mail to cl@tu-dresden.de asking for a slot.
Subscribe to events of this course (icalendar)
| Lecture | Introduction | DS2, October 12, 2026 in APB E005 | |
| Lecture | Logics for Knowledge Representation | DS5, October 12, 2026 in APB E005 | |
| Exercise | Logics for Knowledge Representation | DS2, October 19, 2026 in APB E005 | |
| Lecture | Horn Logics and Datalog | DS5, October 19, 2026 in APB E005 | |
| Exercise | Horn Logics and Datalog | DS2, November 2, 2026 in APB E005 | |
| Lecture | Description Logics – Syntax and Semantics I | DS5, November 2, 2026 in APB E005 | |
| Exercise | Description Logics – Syntax and Semantics I | DS2, November 9, 2026 in APB E005 | |
| Lecture | Description Logics – Syntax and Semantics II | DS5, November 9, 2026 in APB E005 | |
| Exercise | Description Logics – Syntax and Semantics II | DS2, November 16, 2026 in APB E005 | |
| Lecture | Description Logics – Reasoning with Data | DS5, November 16, 2026 in APB E005 | |
| Exercise | Description Logics – Reasoning with Data | DS2, November 23, 2026 in APB E005 | |
| Lecture | Nonmonotonic Reasoning I | DS5, November 23, 2026 in APB E005 | |
| Exercise | Nonmonotonic Reasoning I | DS2, December 7, 2026 in APB E005 | |
| Lecture | Nonmonotonic Reasoning II | DS5, December 7, 2026 in APB E005 | |
| Exercise | Nonmonotonic Reasoning II | DS2, December 14, 2026 in APB E005 | |
| Lecture | Inconsistency Handling | DS5, December 14, 2026 in APB E005 | |
| Exercise | Inconsistency Handling | DS2, January 4, 2027 in APB E005 | |
| Lecture | Argumentation | DS5, January 4, 2027 in APB E005 | |
| Exercise | Argumentation | DS2, January 11, 2027 in APB E005 | |
| Lecture | Uncertainty | DS5, January 11, 2027 in APB E005 | |
| Exercise | Uncertainty | DS2, January 18, 2027 in APB E005 |
Calendar
