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 2020

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.

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

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

https://tu-dresden.zoom.us/j/87505273745?pwd=bXlFalZTT0hwTnF5UTBFSHRHT0c3QT09

In order to access the exercise session on 29.10.2020, please use the following link:

With ZIH-Login: https://selfservice.zih.tu-dresden.de/l/link.php?meeting_id=37836&pin=13b1f21e

Without ZIH-Login: https://selfservice.zih.tu-dresden.de/link.php?meeting_id=37836&pin=884c370b

Veranstaltungskalender abonnieren (icalendar)

Vorlesung Introduction DS5, 26. Oktober 2020 in Zoom Download
Übung Introductory Meeting DS1, 29. Oktober 2020 in BigBlueButton
Vorlesung Propositional Logic and First-Order Logic DS5, 2. November 2020 in Zoom
Vorlesung Horn Logics and Datalog DS5, 9. November 2020 in Zoom
Übung Propositional Logic and First-Order Logic DS1, 12. November 2020 in BigBlueButton
Vorlesung Description Logic - Syntax and Semantics I DS5, 16. November 2020 in Zoom
Übung Horn Logics and Datalog DS1, 19. November 2020 in BigBlueButton
Vorlesung Description Logic - Syntax and Semantics II DS5, 23. November 2020 in Zoom
Übung Description Logic - Syntax and Semantics I DS1, 26. November 2020 in BigBlueButton
Vorlesung Description Logic - Reasoning with Data DS5, 30. November 2020 in Zoom
Übung Description Logic - Syntax and Semantics II DS1, 3. Dezember 2020 in BigBlueButton
Vorlesung Nonmonotonic Reasoning I DS5, 7. Dezember 2020 in Zoom
Übung Description Logic - Reasoning with Data DS1, 10. Dezember 2020 in BigBlueButton
Vorlesung Nonmonotonic Reasoning II DS5, 14. Dezember 2020 in Zoom
Übung Nonmonotonic Reasoning I DS1, 17. Dezember 2020 in BigBlueButton
Vorlesung Inconsistency Handling DS5, 4. Januar 2021 in Zoom
Übung Nonmonotonic Reasoning II DS1, 7. Januar 2021 in BigBlueButton
Vorlesung Argumentation DS5, 11. Januar 2021 in Zoom
Übung Inconsistency Handling DS1, 14. Januar 2021 in BigBlueButton
Vorlesung Uncertainty DS5, 18. Januar 2021 in Zoom
Übung Argumentation DS1, 21. Januar 2021 in BigBlueButton
Vorlesung Recap DS5, 25. Januar 2021 in Zoom
Übung Uncertainty DS1, 28. Januar 2021 in BigBlueButton


Kalender