Foundations of Knowledge Representation

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Foundations of Knowledge Representation

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2024

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 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:

  1. Register for the exam
    • CMS students register via Selma
    • CS students register via the examination office
    • CL students register via the CMS examination office
  2. Apply for a date/time slot

Veranstaltungskalender abonnieren (icalendar)

Vorlesung Introduction DS3, 14. Oktober 2024 in APB E005 Datei
Vorlesung Logics for Knowledge Representation DS3, 21. Oktober 2024 in APB E005 Datei
Übung Logics for Knowledge Representation DS6, 22. Oktober 2024 in APB E009 Datei
Vorlesung Horn Logics and Datalog DS3, 28. Oktober 2024 in APB E005 Datei
Entfällt No Exercise Session DS6, 29. Oktober 2024 in --
Entfällt No Lecture DS3, 4. November 2024 in --
Übung Horn Logics and Datalog DS6, 5. November 2024 in APB E009 Datei
Vorlesung Description Logics – Syntax and Semantics I DS3, 11. November 2024 in APB E005 Datei
Entfällt No Exercise Session DS6, 12. November 2024 in APB E009
Vorlesung Description Logics – Syntax and Semantics II DS3, 18. November 2024 in APB E005 Datei
Übung Description Logics – Syntax and Semantics I DS6, 19. November 2024 in APB E009 Datei
Vorlesung Description Logics – Reasoning with Data DS3, 25. November 2024 in APB E005
Übung Description Logics – Syntax and Semantics II DS6, 26. November 2024 in APB E009 Datei
Vorlesung Nonmonotonic Reasoning I DS3, 2. Dezember 2024 in APB E005
Übung Description Logics – Reasoning with Data DS6, 3. Dezember 2024 in APB E009
Vorlesung Nonmonotonic Reasoning II DS3, 9. Dezember 2024 in APB E005
Übung Nonmonotonic Reasoning I DS6, 10. Dezember 2024 in APB E009
Entfällt Happy Holidays! DS3, 16. Dezember 2024 in --
Übung Nonmonotonic Reasoning II DS6, 17. Dezember 2024 in APB E009
Vorlesung Inconsistency Handling DS3, 6. Januar 2025 in APB E005
Vorlesung Argumentation DS3, 13. Januar 2025 in APB E005
Übung Inconsistency Handling DS6, 14. Januar 2025 in APB E009
Vorlesung Uncertainty DS3, 20. Januar 2025 in APB E005
Übung Argumentation DS6, 21. Januar 2025 in APB E009
Vorlesung Approximation Fixpoint Theory I DS3, 27. Januar 2025 in APB E005
Übung Uncertainty DS6, 28. Januar 2025 in APB E009
Vorlesung Approximation Fixpoint Theory II; Q&A DS3, 3. Februar 2025 in APB E005
Übung Approximation Fixpoint Theory DS6, 4. Februar 2025 in APB E009


Kalender