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



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.

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.

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

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
Vorlesung Horn Logics and Datalog DS5, 25. Oktober 2021 in Videokonferenz
Ü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
Übung Horn Logics and Datalog DS6, 1. November 2021 in APB E005
Vorlesung Description Logics - Syntax and Semantics II DS5, 8. November 2021 in Videokonferenz
Übung Description Logic - Syntax and Semantics I DS6, 8. November 2021 in APB E005
Vorlesung Description Logic - Reasoning with Data DS5, 15. November 2021 in Videokonferenz
Übung Description Logic - Syntax and Semantics II DS6, 15. November 2021 in APB E005
Vorlesung Nonmonotonic Reasoning I DS5, 22. November 2021 in Videokonferenz
Übung Description Logic - Reasoning with Data DS6, 22. November 2021 in APB E005
Vorlesung Nonmonotonic Reasoning II DS5, 29. November 2021 in Videokonferenz
Übung Nonmonotonic Reasoning I DS6, 29. November 2021 in APB E005
Vorlesung Inconsistency Handling DS5, 6. Dezember 2021 in Videokonferenz
Übung Nonmonotonic Reasoning II DS6, 6. Dezember 2021 in APB E005
Vorlesung Argumentation DS5, 13. Dezember 2021 in Videokonferenz
Übung Inconsistency Handling DS6, 13. Dezember 2021 in APB E005
Vorlesung Uncertainty DS5, 20. Dezember 2021 in Videokonferenz
Übung Argumentation DS6, 20. Dezember 2021 in APB E005
Vorlesung Recap DS5, 10. Januar 2022 in Videokonferenz
Übung Uncertainty DS6, 10. Januar 2022 in APB E005


Kalender