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 2026
Dozent
Tutor
Umfang (SWS)
- 2/2/0
Module
Leistungskontrolle
- Mündliche Prüfung
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.
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Introduction | DS2, 12. Oktober 2026 in APB E005 | |
| Vorlesung | Logics for Knowledge Representation | DS5, 12. Oktober 2026 in APB E005 | |
| Übung | Logics for Knowledge Representation | DS2, 19. Oktober 2026 in APB E005 | |
| Vorlesung | Horn Logics and Datalog | DS5, 19. Oktober 2026 in APB E005 | |
| Übung | Horn Logics and Datalog | DS2, 2. November 2026 in APB E005 | |
| Vorlesung | Description Logics – Syntax and Semantics I | DS5, 2. November 2026 in APB E005 | |
| Übung | Description Logics – Syntax and Semantics I | DS2, 9. November 2026 in APB E005 | |
| Vorlesung | Description Logics – Syntax and Semantics II | DS5, 9. November 2026 in APB E005 | |
| Übung | Description Logics – Syntax and Semantics II | DS2, 16. November 2026 in APB E005 | |
| Vorlesung | Description Logics – Reasoning with Data | DS5, 16. November 2026 in APB E005 | |
| Übung | Description Logics – Reasoning with Data | DS2, 23. November 2026 in APB E005 | |
| Vorlesung | Nonmonotonic Reasoning I | DS5, 23. November 2026 in APB E005 | |
| Übung | Nonmonotonic Reasoning I | DS2, 7. Dezember 2026 in APB E005 | |
| Vorlesung | Nonmonotonic Reasoning II | DS5, 7. Dezember 2026 in APB E005 | |
| Übung | Nonmonotonic Reasoning II | DS2, 14. Dezember 2026 in APB E005 | |
| Vorlesung | Inconsistency Handling | DS5, 14. Dezember 2026 in APB E005 | |
| Übung | Inconsistency Handling | DS2, 4. Januar 2027 in APB E005 | |
| Vorlesung | Argumentation | DS5, 4. Januar 2027 in APB E005 | |
| Übung | Argumentation | DS2, 11. Januar 2027 in APB E005 | |
| Vorlesung | Uncertainty | DS5, 11. Januar 2027 in APB E005 | |
| Übung | Uncertainty | DS2, 18. Januar 2027 in APB E005 |
Kalender
