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 2024
Lecturer
Tutor
SWS
- 2/2/0
Modules
Examination method
- Oral exam
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 to both lectures (V) and exercise sessions (Ü) in case you want to take an exam.
Schedule and Location
- The weekly lecture sessions will take place on Mondays DS3 (11:10–12:40) in APB E005.
- The weekly exercise session will take place on Tuesdays DS6 (16:40–18:10) in APB E009.
Exam
To take an exam in the course, you must:
- Register for the exam
- CMS students register via Selma
- CS students register via the examination office
- CL students register via the CMS examination office
- 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 | DS3, October 14, 2024 in APB E005 | File |
| Lecture | Logics for Knowledge Representation | DS3, October 21, 2024 in APB E005 | File |
| Exercise | Logics for Knowledge Representation | DS6, October 22, 2024 in APB E009 | File |
| Lecture | Horn Logics and Datalog | DS3, October 28, 2024 in APB E005 | File |
| No session | No Exercise Session | DS6, October 29, 2024 in -- | |
| No session | No Lecture | DS3, November 4, 2024 in -- | |
| Exercise | Horn Logics and Datalog | DS6, November 5, 2024 in APB E009 | File |
| Lecture | Description Logics – Syntax and Semantics I | DS3, November 11, 2024 in APB E005 | File |
| No session | No Exercise Session | DS6, November 12, 2024 in APB E009 | |
| Lecture | Description Logics – Syntax and Semantics II | DS3, November 18, 2024 in APB E005 | File |
| Exercise | Description Logics – Syntax and Semantics I | DS6, November 19, 2024 in APB E009 | File |
| Lecture | Description Logics – Reasoning with Data | DS3, November 25, 2024 in APB E005 | File |
| Exercise | Description Logics – Syntax and Semantics II | DS6, November 26, 2024 in APB E009 | File |
| Lecture | Nonmonotonic Reasoning I | DS3, December 2, 2024 in APB E005 | File |
| Exercise | Description Logics – Reasoning with Data | DS6, December 3, 2024 in APB E009 | File |
| Lecture | Nonmonotonic Reasoning II | DS3, December 9, 2024 in APB E005 | File |
| No session | Nonmonotonic Reasoning I | DS6, December 10, 2024 in APB E009 | File |
| No session | Happy Holidays! | DS3, December 16, 2024 in -- | |
| Exercise | Nonmonotonic Reasoning I | DS6, December 17, 2024 in APB E009 | |
| Lecture | Inconsistency Handling | DS3, January 6, 2025 in APB E005 | |
| Exercise | Nonmonotonic Reasoning II | DS6, January 7, 2025 in APB E009 | File |
| Lecture | Argumentation | DS3, January 13, 2025 in APB E005 | |
| Exercise | Inconsistency Handling | DS6, January 14, 2025 in APB E009 | |
| Lecture | Uncertainty | DS3, January 20, 2025 in APB E005 | |
| Exercise | Argumentation | DS6, January 21, 2025 in APB E009 | |
| Lecture | Approximation Fixpoint Theory I | DS3, January 27, 2025 in APB E005 | |
| Exercise | Uncertainty | DS6, January 28, 2025 in APB E009 | |
| Lecture | Approximation Fixpoint Theory II; Q&A | DS3, February 3, 2025 in APB E005 | |
| Exercise | Approximation Fixpoint Theory | DS6, February 4, 2025 in APB E009 |
Calendar
