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

To access the exercise session in BigBlueButton, please use the following link:

With ZIH-login: https://selfservice.zih.tu-dresden.de/l/link.php?m=74289&p=a5c8d287

Without ZIH-Login: https://selfservice.zih.tu-dresden.de/link.php?m=74289&p=b012cbd6

Veranstaltungskalender abonnieren (icalendar)

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


Kalender