Foundations of Knowledge Representation
Aus International Center for Computational Logic
Foundations of Knowledge Representation
Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) im WS 2025
Dozent
Tutor
Umfang (SWS)
- 2/2/0
Module
Leistungskontrolle
- Mündliche Prüfung
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.
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Introduction | DS6, 13. Oktober 2025 in APB E005 | Datei |
| Vorlesung | Logics for Knowledge Representation | DS5, 20. Oktober 2025 in APB E005 | Datei |
| Vorlesung | Horn Logics and Datalog | DS6, 20. Oktober 2025 in APB E005 | Datei |
| Übung | Logics for Knowledge Representation | DS5, 27. Oktober 2025 in APB E005 | Datei |
| Vorlesung | Description Logics – Syntax and Semantics I | DS6, 27. Oktober 2025 in APB E005 | Datei |
| Vorlesung | Description Logics – Syntax and Semantics II | DS5, 3. November 2025 in APB E005 | Datei |
| Vorlesung | Description Logics – Reasoning with Data | DS6, 3. November 2025 in APB E005 | Datei |
| Übung | Horn Logics and Datalog | DS5, 10. November 2025 in APB E005 | Datei |
| Übung | Description Logics – Syntax and Semantics I | DS6, 10. November 2025 in APB E005 | Datei |
| Übung | Description Logics – Syntax and Semantics II | DS5, 17. November 2025 in APB E005 | Datei |
| Übung | Description Logics – Reasoning with Data | DS6, 17. November 2025 in APB E005 | Datei |
| Vorlesung | Nonmonotonic Reasoning I | DS5, 24. November 2025 in APB E005 | Datei |
| Vorlesung | Nonmonotonic Reasoning II | DS6, 24. November 2025 in APB E005 | Datei |
| Übung | Nonmonotonic Reasoning I | DS5, 1. Dezember 2025 in APB E005 | Datei |
| Übung | Nonmonotonic Reasoning II | DS6, 1. Dezember 2025 in APB E005 | Datei |
| Entfällt | No Exercise Sessions | DS5, 8. Dezember 2025 in APB E005 | |
| Entfällt | No Lecture | DS6, 8. Dezember 2025 in APB E005 | |
| Vorlesung | Inconsistency Handling | DS5, 15. Dezember 2025 in APB E005 | |
| Vorlesung | Argumentation | DS6, 15. Dezember 2025 in APB E005 | |
| Entfällt | No Exercise Sessions | DS5, 5. Januar 2026 in APB E005 | |
| Entfällt | No Lecture | DS6, 5. Januar 2026 in APB E005 | |
| Übung | Inconsistency Handling | DS5, 12. Januar 2026 in APB E005 | |
| Vorlesung | Uncertainty | DS6, 12. Januar 2026 in APB E005 | |
| Übung | Argumentation | DS5, 19. Januar 2026 in APB E005 | |
| Vorlesung | TBA | DS6, 19. Januar 2026 in APB E005 | |
| Übung | Uncertainty | DS5, 26. Januar 2026 in APB E005 | |
| Übung | TBA | DS6, 26. Januar 2026 in APB E005 | |
| Vorlesung | Q&A | DS6, 2. Februar 2026 in APB E005 |
Kalender
