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

Exam

To take an exam in the course, you must:

  1. Register for the exam
    • CS students register via the examination office
    • CMS students register via Selma
    • CL students register via the CMS examination office
  2. Apply for a date/time 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
Übung Nonmonotonic Reasoning I DS6, 5. Dezember 2022 in APB E005 Datei
Vorlesung Argumentation DS5, 12. Dezember 2022 in APB E005
Entfällt Happy holidays! DS5, 19. Dezember 2022 in APB E005
Vorlesung Uncertainty DS5, 9. Januar 2023 in APB E005
Vorlesung Approximation Fixpoint Theory DS5, 16. Januar 2023 in APB E005
Konsultation Recap/Q&A DS5, 23. Januar 2023 in APB E005


Kalender