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 2023
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 DS6 (16.40–18.10) 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
- 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
Subscribe to events of this course (icalendar)
| Lecture | Introduction | DS6, October 9, 2023 in APB E005 | File |
| Lecture | Logics for Knowledge Representation | DS6, October 16, 2023 in APB E005 | File |
| Lecture | Horn Logics and Datalog | DS6, October 23, 2023 in APB E005 | File |
| Exercise | Logics for Knowledge Representation | DS6, October 24, 2023 in APB E009 | File |
| Lecture | Description Logics – Syntax and Semantics I | DS6, October 30, 2023 in APB E005 | File |
| No session | bank holiday | DS6, October 31, 2023 in APB E009 | |
| No session | no lecture | DS6, November 6, 2023 in APB E005 | |
| Exercise | Horn Logics and Datalog | DS6, November 7, 2023 in APB E009 | File |
| Lecture | Description Logics – Syntax and Semantics II | DS6, November 13, 2023 in APB E005 | File |
| Exercise | Description Logics – Syntax and Semantics I | DS6, November 14, 2023 in APB E009 | File |
| Lecture | Description Logics – Reasoning with Data | DS6, November 20, 2023 in APB E005 | File |
| Exercise | Description Logics – Syntax and Semantics II | DS6, November 21, 2023 in APB E009 | File |
| Lecture | Nonmonotonic Reasoning I | DS6, November 27, 2023 in APB E005 | File |
| Exercise | Description Logics – Reasoning with Data | DS6, November 28, 2023 in APB E009 | File |
| Lecture | Nonmonotonic Reasoning II | DS6, December 4, 2023 in APB E005 | File |
| Exercise | Nonmonotonic Reasoning I | DS6, December 5, 2023 in APB E009 | File |
| Lecture | Inconsistency Handling | DS6, December 11, 2023 in APB E005 | File |
| Exercise | Nonmonotonic Reasoning II | DS6, December 12, 2023 in APB E009 | File |
| No session | no lecture | DS6, December 18, 2023 in APB E005 | |
| No session | no exercise | DS6, December 19, 2023 in APB E009 | |
| Lecture | Argumentation | DS6, January 8, 2024 in APB E005 | File |
| Exercise | Inconsistency Handling | DS6, January 9, 2024 in APB E009 | File |
| Lecture | Uncertainty | DS6, January 15, 2024 in APB E005 | File |
| Exercise | Argumentation | DS6, January 16, 2024 in APB E009 | File |
| Consultation | Recap/Q&A | DS6, January 22, 2024 in APB E005 | |
| Exercise | Uncertainty | DS6, January 23, 2024 in APB E009 | File |
Calendar
