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 2025
Lecturer
Tutor
SWS
- 2/2/0
Modules
Examination method
- Oral exam
Important Information Regarding Exercise Sessions
Due to low demand, the exercise sessions will switch to 'on-demand' sessions. If you are a student who would like to discuss the problems from the weekly exercise sheets, please send an email to jonas.karge@tu-dresden.de
Beginning of Semester
The first lecture will take place on Monday 13 October in room APB E005 at 16:40 (DS6).
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 | DS6, October 13, 2025 in APB E005 | File |
| Lecture | Logics for Knowledge Representation | DS5, October 20, 2025 in APB E005 | File |
| Lecture | Horn Logics and Datalog | DS6, October 20, 2025 in APB E005 | File |
| Exercise | Logics for Knowledge Representation | DS5, October 27, 2025 in APB E005 | File |
| Lecture | Description Logics – Syntax and Semantics I | DS6, October 27, 2025 in APB E005 | File |
| Lecture | Description Logics – Syntax and Semantics II | DS5, November 3, 2025 in APB E005 | File |
| Lecture | Description Logics – Reasoning with Data | DS6, November 3, 2025 in APB E005 | File |
| Exercise | Horn Logics and Datalog | DS5, November 10, 2025 in APB E005 | File |
| Exercise | Description Logics – Syntax and Semantics I | DS6, November 10, 2025 in APB E005 | File |
| Exercise | Description Logics – Syntax and Semantics II | DS5, November 17, 2025 in APB E005 | File |
| Exercise | Description Logics – Reasoning with Data | DS6, November 17, 2025 in APB E005 | File |
| Lecture | Nonmonotonic Reasoning I | DS5, November 24, 2025 in APB E005 | File |
| Lecture | Nonmonotonic Reasoning II | DS6, November 24, 2025 in APB E005 | File |
| Exercise | Nonmonotonic Reasoning I | DS5, December 1, 2025 in APB E005 | File |
| Exercise | Nonmonotonic Reasoning II | DS6, December 1, 2025 in APB E005 | File |
| No session | No Exercise Sessions | DS5, December 8, 2025 in APB E005 | |
| No session | No Lecture | DS6, December 8, 2025 in APB E005 | |
| Lecture | Inconsistency Handling | DS5, December 15, 2025 in APB E005 | |
| Lecture | Argumentation | DS6, December 15, 2025 in APB E005 | |
| No session | No Exercise Sessions | DS5, January 5, 2026 in APB E005 | |
| No session | No Lecture | DS6, January 5, 2026 in APB E005 | |
| Exercise | Inconsistency Handling | DS5, January 12, 2026 in APB E005 | |
| Lecture | Uncertainty | DS6, January 12, 2026 in APB E005 | |
| Exercise | Argumentation | DS5, January 19, 2026 in APB E005 | |
| Lecture | TBA | DS6, January 19, 2026 in APB E005 | |
| Exercise | Uncertainty | DS5, January 26, 2026 in APB E005 | |
| Exercise | TBA | DS6, January 26, 2026 in APB E005 | |
| Lecture | Q&A | DS6, February 2, 2026 in APB E005 |
Calendar
