Foundations of Knowledge Representation
Aus International Center for Computational Logic
Foundations of Knowledge Representation
Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2022
Dozent
Tutor
Umfang (SWS)
- 2/2/0
Module
Leistungskontrolle
- Mündliche Prüfung
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.
Registration
It is mandatory (for CMS and CL students) to register online via Selma (course K1107-MA0057V) to both lectures (V) and excercise sessions (Ü) in case you want to take an exam.
Schedule and Location
- The weekly lecture sessions will take place on Mondays DS5 (14.50–16.20) in APB E005.
- The weekly exercise session will take place on Mondays DS6 (16.40–18.10) in APB E005.
- Important: Stay informed about current CoViD-19 regulations of TU Dresden.
Exam
To take an exam in the course, you must:
- Register for the exam
- CS students register via the examination office
- CMS students register via Selma
- CL students register via the CMS examination office
- Apply for a date/time slot
- contact Ms. Ramona Behling asking for a slot
Miscellaneous
The exercise sessions are supported by an online whiteboard that includes definitions relevant to the exercise problems as well as solutions to exercises not covered in the exercise sessions.Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Introduction | DS5, 10. Oktober 2022 in APB E005 | Datei |
| Vorlesung | Logics for Knowledge Representation | DS5, 17. Oktober 2022 in APB E005 | Datei |
| Vorlesung | Horn Logics and Datalog | DS5, 24. Oktober 2022 in APB E005 | Datei |
| Übung | Logics for Knowledge Representation | DS6, 24. Oktober 2022 in APB E005 | Datei |
| Entfällt | Public holiday | DS5, 31. Oktober 2022 in APB E005 | |
| Vorlesung | Description Logics – Syntax and Semantics I | DS5, 7. November 2022 in APB E005 | Datei |
| Übung | Horn Logics and Datalog | DS6, 7. November 2022 in APB E005 | Datei |
| Vorlesung | Description Logics – Syntax and Semantics II | DS5, 14. November 2022 in APB E005 | Datei |
| Übung | Description Logics – Syntax and Semantics I | DS6, 14. November 2022 in APB E005 | Datei |
| Vorlesung | Description Logics – Reasoning with Data | DS5, 21. November 2022 in APB E005 | Datei |
| Übung | Description Logics – Syntax and Semantics II | DS6, 21. November 2022 in APB E005 | Datei |
| Vorlesung | Nonmonotonic Reasoning I | DS5, 28. November 2022 in APB E005 | Datei |
| Übung | Description Logics – Reasoning with Data | DS6, 28. November 2022 in APB E005 | Datei |
| Vorlesung | Nonmonotonic Reasoning II | DS5, 5. Dezember 2022 in APB E005 | Datei |
| Übung | Nonmonotonic Reasoning I | DS6, 5. Dezember 2022 in APB E005 | Datei |
| Vorlesung | Inconsistency Handling | DS5, 12. Dezember 2022 in APB E005 | Datei |
| Übung | Nonmonotonic Reasoning II | DS6, 12. Dezember 2022 in APB E005 | Datei |
| Entfällt | Happy holidays! | DS5, 19. Dezember 2022 in APB E005 | |
| Übung | Inconsistency Handling | DS6, 19. Dezember 2022 in APB E005 | Datei |
| Vorlesung | Argumentation | DS5, 9. Januar 2023 in APB E005 | Datei |
| Vorlesung | Uncertainty | DS5, 16. Januar 2023 in APB E005 | Datei |
| Übung | Argumentation | DS6, 16. Januar 2023 in APB E005 | Datei |
| Vorlesung | Approximation Fixpoint Theory | DS5, 23. Januar 2023 in APB E005 | Datei |
| Übung | Uncertainty | DS6, 23. Januar 2023 in APB E005 | Datei |
| Konsultation | Recap/Q&A | DS5, 30. Januar 2023 in APB E005 | |
| Übung | Approximation Fixpoint Theory | DS6, 30. Januar 2023 in APB E005 | Datei |
Kalender
