Foundations of Knowledge Representation (WS2020): 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 23: | Zeile 23: | ||
|Lehrveranstaltungstype=Übung | |Lehrveranstaltungstype=Übung | ||
|Title=Introductory Meeting | |Title=Introductory Meeting | ||
|Room= | |Room=BigBlueButton | ||
|Date=2020/10/29 | |Date=2020/10/29 | ||
|DS=DS1 | |DS=DS1 | ||
| Zeile 44: | Zeile 44: | ||
|Lehrveranstaltungstype=Übung | |Lehrveranstaltungstype=Übung | ||
|Title=Propositional Logic and First-Order Logic | |Title=Propositional Logic and First-Order Logic | ||
|Room= | |Room=BigBlueButton | ||
|Date=2020/11/12 | |Date=2020/11/12 | ||
|DS=DS1 | |DS=DS1 | ||
| Zeile 58: | Zeile 58: | ||
|Lehrveranstaltungstype=Übung | |Lehrveranstaltungstype=Übung | ||
|Title=Horn Logics and Datalog | |Title=Horn Logics and Datalog | ||
|Room= | |Room=BigBlueButton | ||
|Date=2020/11/19 | |Date=2020/11/19 | ||
|DS=DS1 | |DS=DS1 | ||
| Zeile 72: | Zeile 72: | ||
|Lehrveranstaltungstype=Übung | |Lehrveranstaltungstype=Übung | ||
|Title=Description Logic - Syntax and Semantics I | |Title=Description Logic - Syntax and Semantics I | ||
|Room= | |Room=BigBlueButton | ||
|Date=2020/11/26 | |Date=2020/11/26 | ||
|DS=DS1 | |DS=DS1 | ||
| Zeile 86: | Zeile 86: | ||
|Lehrveranstaltungstype=Übung | |Lehrveranstaltungstype=Übung | ||
|Title=Description Logic - Syntax and Semantics II | |Title=Description Logic - Syntax and Semantics II | ||
|Room= | |Room=BigBlueButton | ||
|Date=2020/12/03 | |Date=2020/12/03 | ||
|DS=DS1 | |DS=DS1 | ||
| Zeile 100: | Zeile 100: | ||
|Lehrveranstaltungstype=Übung | |Lehrveranstaltungstype=Übung | ||
|Title=Description Logic - Reasoning with Data | |Title=Description Logic - Reasoning with Data | ||
|Room= | |Room=BigBlueButton | ||
|Date=2020/12/10 | |Date=2020/12/10 | ||
|DS=DS1 | |DS=DS1 | ||
| Zeile 114: | Zeile 114: | ||
|Lehrveranstaltungstype=Übung | |Lehrveranstaltungstype=Übung | ||
|Title=Nonmonotonic Reasoning I | |Title=Nonmonotonic Reasoning I | ||
|Room= | |Room=BigBlueButton | ||
|Date=2020/12/17 | |Date=2020/12/17 | ||
|DS=DS1 | |DS=DS1 | ||
| Zeile 128: | Zeile 128: | ||
|Lehrveranstaltungstype=Übung | |Lehrveranstaltungstype=Übung | ||
|Title=Nonmonotonic Reasoning II | |Title=Nonmonotonic Reasoning II | ||
|Room= | |Room=BigBlueButton | ||
|Date=2021/01/07 | |Date=2021/01/07 | ||
|DS=DS1 | |DS=DS1 | ||
| Zeile 142: | Zeile 142: | ||
|Lehrveranstaltungstype=Übung | |Lehrveranstaltungstype=Übung | ||
|Title=Inconsistency Handling | |Title=Inconsistency Handling | ||
|Room= | |Room=BigBlueButton | ||
|Date=2021/01/14 | |Date=2021/01/14 | ||
|DS=DS1 | |DS=DS1 | ||
| Zeile 156: | Zeile 156: | ||
|Lehrveranstaltungstype=Übung | |Lehrveranstaltungstype=Übung | ||
|Title=Argumentation | |Title=Argumentation | ||
|Room= | |Room=BigBlueButton | ||
|Date=2021/01/21 | |Date=2021/01/21 | ||
|DS=DS1 | |DS=DS1 | ||
| Zeile 170: | Zeile 170: | ||
|Lehrveranstaltungstype=Übung | |Lehrveranstaltungstype=Übung | ||
|Title=Uncertainty | |Title=Uncertainty | ||
|Room= | |Room=BigBlueButton | ||
|Date=2021/01/28 | |Date=2021/01/28 | ||
|DS=DS1 | |DS=DS1 | ||
}} | }} | ||
Version vom 23. Oktober 2020, 14:14 Uhr
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.
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Introduction | DS5, 26. Oktober 2020 in Videokonferenz | Datei |
| Übung | Introductory Meeting | DS1, 29. Oktober 2020 in BigBlueButton | |
| Vorlesung | Propositional Logic and First-Order Logic | DS5, 2. November 2020 in Videokonferenz | Datei |
| Vorlesung | Horn Logics and Datalog | DS5, 9. November 2020 in Videokonferenz | Datei |
| Übung | Propositional Logic and First-Order Logic | DS1, 12. November 2020 in BigBlueButton | Datei |
| Vorlesung | Description Logic - Syntax and Semantics I | DS5, 16. November 2020 in Videokonferenz | Datei |
| Übung | Horn Logics and Datalog | DS1, 19. November 2020 in BigBlueButton | Datei |
| Vorlesung | Description Logic - Syntax and Semantics II | DS5, 23. November 2020 in Videokonferenz | Datei |
| Übung | Description Logic - Syntax and Semantics I | DS1, 26. November 2020 in BigBlueButton | Datei |
| Vorlesung | Description Logic - Reasoning with Data | DS5, 30. November 2020 in Videokonferenz | Datei |
| Übung | Description Logic - Syntax and Semantics II | DS1, 3. Dezember 2020 in BigBlueButton | Datei |
| Vorlesung | Nonmonotonic Reasoning I | DS5, 7. Dezember 2020 in Videokonferenz | Datei |
| Übung | Description Logic - Reasoning with Data | DS1, 10. Dezember 2020 in BigBlueButton | Datei |
| Vorlesung | Nonmonotonic Reasoning II | DS5, 14. Dezember 2020 in Videokonferenz | Datei |
| Übung | Nonmonotonic Reasoning I | DS1, 17. Dezember 2020 in BigBlueButton | Datei |
| Vorlesung | Inconsistency Handling | DS5, 4. Januar 2021 in Videokonferenz | Datei |
| Übung | Nonmonotonic Reasoning II | DS1, 7. Januar 2021 in BigBlueButton | Datei |
| Vorlesung | Argumentation | DS5, 11. Januar 2021 in Videokonferenz | Datei |
| Übung | Inconsistency Handling | DS1, 14. Januar 2021 in BigBlueButton | Datei |
| Vorlesung | Uncertainty | DS5, 18. Januar 2021 in Videokonferenz | Datei |
| Übung | Argumentation | DS1, 21. Januar 2021 in BigBlueButton | Datei |
| Vorlesung | Recap | DS5, 25. Januar 2021 in Videokonferenz | Datei |
| Übung | Uncertainty | DS1, 28. Januar 2021 in BigBlueButton | Datei |
Kalender
