Foundations of Knowledge Representation (WS2021): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Jonas Karge (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Jonas Karge (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 15: | Zeile 15: | ||
|Lehrveranstaltungstype=Vorlesung | |Lehrveranstaltungstype=Vorlesung | ||
|Title=Introduction | |Title=Introduction | ||
|Room= | |Room=https://tu-dresden.zoom.us/meeting/87452937587 | ||
|Date=2021/10/11 | |Date=2021/10/11 | ||
|DS=DS5 | |DS=DS5 | ||
| Zeile 22: | Zeile 22: | ||
|Lehrveranstaltungstype=Vorlesung | |Lehrveranstaltungstype=Vorlesung | ||
|Title=Propositional and First-Order Logic | |Title=Propositional and First-Order Logic | ||
|Room= | |Room=https://tu-dresden.zoom.us/meeting/87452937587 | ||
|Date=2021/10/18 | |Date=2021/10/18 | ||
|DS=DS5 | |DS=DS5 | ||
| Zeile 29: | Zeile 29: | ||
|Lehrveranstaltungstype=Vorlesung | |Lehrveranstaltungstype=Vorlesung | ||
|Title=Horn Logics and Datalog | |Title=Horn Logics and Datalog | ||
|Room= | |Room=https://tu-dresden.zoom.us/meeting/87452937587 | ||
|Date=2021/10/25 | |Date=2021/10/25 | ||
|DS=DS5 | |DS=DS5 | ||
| Zeile 43: | Zeile 43: | ||
|Lehrveranstaltungstype=Vorlesung | |Lehrveranstaltungstype=Vorlesung | ||
|Title=Description Logic - Syntax and Semantics I | |Title=Description Logic - Syntax and Semantics I | ||
|Room= | |Room=https://tu-dresden.zoom.us/meeting/87452937587 | ||
|Date=2021/11/01 | |Date=2021/11/01 | ||
|DS=DS5 | |DS=DS5 | ||
| Zeile 57: | Zeile 57: | ||
|Lehrveranstaltungstype=Vorlesung | |Lehrveranstaltungstype=Vorlesung | ||
|Title=Description Logics - Syntax and Semantics II | |Title=Description Logics - Syntax and Semantics II | ||
|Room= | |Room=https://tu-dresden.zoom.us/meeting/87452937587 | ||
|Date=2021/11/08 | |Date=2021/11/08 | ||
|DS=DS5 | |DS=DS5 | ||
| Zeile 71: | Zeile 71: | ||
|Lehrveranstaltungstype=Vorlesung | |Lehrveranstaltungstype=Vorlesung | ||
|Title=Description Logic - Reasoning with Data | |Title=Description Logic - Reasoning with Data | ||
|Room= | |Room=https://tu-dresden.zoom.us/meeting/87452937587 | ||
|Date=2021/11/15 | |Date=2021/11/15 | ||
|DS=DS5 | |DS=DS5 | ||
| Zeile 85: | Zeile 85: | ||
|Lehrveranstaltungstype=Vorlesung | |Lehrveranstaltungstype=Vorlesung | ||
|Title=Nonmonotonic Reasoning I | |Title=Nonmonotonic Reasoning I | ||
|Room= | |Room=https://tu-dresden.zoom.us/meeting/87452937587 | ||
|Date=2021/11/22 | |Date=2021/11/22 | ||
|DS=DS5 | |DS=DS5 | ||
| Zeile 99: | Zeile 99: | ||
|Lehrveranstaltungstype=Vorlesung | |Lehrveranstaltungstype=Vorlesung | ||
|Title=Nonmonotonic Reasoning II | |Title=Nonmonotonic Reasoning II | ||
|Room= | |Room=https://tu-dresden.zoom.us/meeting/87452937587 | ||
|Date=2021/11/29 | |Date=2021/11/29 | ||
|DS=DS5 | |DS=DS5 | ||
| Zeile 113: | Zeile 113: | ||
|Lehrveranstaltungstype=Vorlesung | |Lehrveranstaltungstype=Vorlesung | ||
|Title=Inconsistency Handling | |Title=Inconsistency Handling | ||
|Room= | |Room=https://tu-dresden.zoom.us/meeting/87452937587 | ||
|Date=2021/12/06 | |Date=2021/12/06 | ||
|DS=DS5 | |DS=DS5 | ||
| Zeile 127: | Zeile 127: | ||
|Lehrveranstaltungstype=Vorlesung | |Lehrveranstaltungstype=Vorlesung | ||
|Title=Argumentation | |Title=Argumentation | ||
|Room= | |Room=https://tu-dresden.zoom.us/meeting/87452937587 | ||
|Date=2021/12/13 | |Date=2021/12/13 | ||
|DS=DS5 | |DS=DS5 | ||
| Zeile 141: | Zeile 141: | ||
|Lehrveranstaltungstype=Vorlesung | |Lehrveranstaltungstype=Vorlesung | ||
|Title=Uncertainty | |Title=Uncertainty | ||
|Room= | |Room=https://tu-dresden.zoom.us/meeting/87452937587 | ||
|Date=2021/12/20 | |Date=2021/12/20 | ||
|DS=DS5 | |DS=DS5 | ||
| Zeile 155: | Zeile 155: | ||
|Lehrveranstaltungstype=Vorlesung | |Lehrveranstaltungstype=Vorlesung | ||
|Title=Recap | |Title=Recap | ||
|Room= | |Room=https://tu-dresden.zoom.us/meeting/87452937587 | ||
|Date=2022/01/10 | |Date=2022/01/10 | ||
|DS=DS5 | |DS=DS5 | ||
Version vom 6. Oktober 2021, 20:51 Uhr
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.
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
