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 2021

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 to register online via Selma (course K1107-MA0057) to both lectures (V) and excercise sessions (Ü) in case you want to take an exam.

Links

Both lectures and tutorials will be done as online live sessions.

The lectures will be done via Zoom, to be entered via the following link:

https://tu-dresden.zoom.us/j/87452937587?pwd=T3VPMzhPWkQ0VExzSnIwdnFVZWo4QT09

To access the exercise session in BigBlueButton, please use the following link: https://bbb.tu-dresden.de/b/jon-qjf-fin-3il

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

Veranstaltungskalender abonnieren (icalendar)

Vorlesung Introduction DS5, 11. Oktober 2021 in Videokonferenz Datei
Vorlesung Propositional and First-Order Logic DS5, 18. Oktober 2021 in Videokonferenz Datei 1 Datei 2
Vorlesung Horn Logics and Datalog DS5, 25. Oktober 2021 in Videokonferenz Datei 1 Datei 2
Übung Propositional Logic and First-Order Logic DS6, 25. Oktober 2021 in Videokonferenz Datei
Vorlesung Description Logic - Syntax and Semantics I DS5, 1. November 2021 in Videokonferenz Datei 1 Datei 2
Übung Horn Logics and Datalog DS6, 1. November 2021 in Videokonferenz Datei
Vorlesung Description Logics - Syntax and Semantics II DS5, 8. November 2021 in Videokonferenz Datei 1 Datei 2
Übung Description Logic - Syntax and Semantics I DS6, 8. November 2021 in Videokonferenz Datei
Vorlesung Description Logic - Reasoning with Data DS5, 15. November 2021 in Videokonferenz Datei 1 Datei 2
Übung Description Logic - Syntax and Semantics II DS6, 15. November 2021 in Videokonferenz Datei
Vorlesung Nonmonotonic Reasoning I DS5, 22. November 2021 in Videokonferenz Datei 1 Datei 2
Übung Description Logic - Reasoning with Data DS6, 22. November 2021 in Videokonferenz Datei
Vorlesung Nonmonotonic Reasoning II DS5, 29. November 2021 in Videokonferenz Datei 1 Datei 2
Übung Nonmonotonic Reasoning I DS6, 29. November 2021 in Videokonferenz Datei
Vorlesung Inconsistency Handling DS5, 6. Dezember 2021 in Videokonferenz Datei 1 Datei 2
Übung Nonmonotonic Reasoning II DS6, 6. Dezember 2021 in Videokonferenz Datei
Vorlesung Argumentation DS5, 13. Dezember 2021 in Videokonferenz Datei 1 Datei 2
Übung Inconsistency Handling DS6, 13. Dezember 2021 in Videokonferenz Datei
Übung Argumentation DS6, 20. Dezember 2021 in Videokonferenz Datei
Vorlesung Uncertainty DS5, 10. Januar 2022 in Videokonferenz Datei 1 Datei 2
Vorlesung Approximation Fixpoint Theory DS5, 17. Januar 2022 in Videokonferenz Datei 1 Datei 2
Übung Uncertainty DS6, 17. Januar 2022 in Videokonferenz Datei
Vorlesung Recap DS5, 24. Januar 2022 in Videokonferenz
Übung Approximation Fixpoint Theory DS6, 24. Januar 2022 in Videokonferenz Datei


Kalender