Foundations of Knowledge Representation (WS2023): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Jonas Karge (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Jonas Karge (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (14 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
| Zeile 119: | Zeile 119: | ||
|Date=2023/11/20 | |Date=2023/11/20 | ||
|DS=DS6 | |DS=DS6 | ||
|Download=Fkr-06-2024.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 134: | Zeile 135: | ||
|Date=2023/11/27 | |Date=2023/11/27 | ||
|DS=DS6 | |DS=DS6 | ||
|Download=Fkr-07-2024.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 141: | Zeile 143: | ||
|Date=2023/11/28 | |Date=2023/11/28 | ||
|DS=DS6 | |DS=DS6 | ||
|Download=DLData.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 148: | Zeile 151: | ||
|Date=2023/12/04 | |Date=2023/12/04 | ||
|DS=DS6 | |DS=DS6 | ||
|Download=Fkr-08-2024.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 154: | Zeile 158: | ||
|Room=APB E009 | |Room=APB E009 | ||
|Date=2023/12/05 | |Date=2023/12/05 | ||
|DS= | |DS=DS6 | ||
|Download=NMR Problems I.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 162: | Zeile 167: | ||
|Date=2023/12/11 | |Date=2023/12/11 | ||
|DS=DS6 | |DS=DS6 | ||
|Download=Fkr-09-2024.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 168: | Zeile 174: | ||
|Room=APB E009 | |Room=APB E009 | ||
|Date=2023/12/12 | |Date=2023/12/12 | ||
|DS= | |DS=DS6 | ||
|Download=NMR 2 - Problems.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 190: | Zeile 197: | ||
|Date=2024/01/08 | |Date=2024/01/08 | ||
|DS=DS6 | |DS=DS6 | ||
|Download=Fkr-10-2024.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 197: | Zeile 205: | ||
|Date=2024/01/09 | |Date=2024/01/09 | ||
|DS=DS6 | |DS=DS6 | ||
|Download=Inconsistency Handling - Problems.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 204: | Zeile 213: | ||
|Date=2024/01/15 | |Date=2024/01/15 | ||
|DS=DS6 | |DS=DS6 | ||
|Download=Fkr-11-2024.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 211: | Zeile 221: | ||
|Date=2024/01/16 | |Date=2024/01/16 | ||
|DS=DS6 | |DS=DS6 | ||
|Download=Argumentation - Problems.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 225: | Zeile 236: | ||
|Date=2024/01/23 | |Date=2024/01/23 | ||
|DS=DS6 | |DS=DS6 | ||
|Download=UncertaintyProblems.pdf | |||
}} | }} | ||
Aktuelle Version vom 16. Januar 2024, 17:24 Uhr
Foundations of Knowledge Representation
Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2023
Dozent
Tutor
Umfang (SWS)
- 2/2/0
Module
Leistungskontrolle
- Mündliche Prüfung
Synopsis
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.
Registration
It is mandatory (for CMS and CL students) to register online via selma to both lectures (V) and exercise sessions (Ü) in case you want to take an exam.
Schedule and Location
- The weekly lecture sessions will take place on Mondays DS6 (16.40–18.10) in APB E005.
- The weekly exercise session will take place on Tuesdays DS6 (16.40–18.10) in APB E009.
Exam
To take an exam in the course, you must:
- Register for the exam
- CS students register via the examination office
- CMS students register via Selma
- CL students register via the CMS examination office
- Apply for a date/time slot
- contact Ms. Ramona Behling asking for a slot
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Introduction | DS6, 9. Oktober 2023 in APB E005 | Datei |
| Vorlesung | Logics for Knowledge Representation | DS6, 16. Oktober 2023 in APB E005 | Datei |
| Vorlesung | Horn Logics and Datalog | DS6, 23. Oktober 2023 in APB E005 | Datei |
| Übung | Logics for Knowledge Representation | DS6, 24. Oktober 2023 in APB E009 | Datei |
| Vorlesung | Description Logics – Syntax and Semantics I | DS6, 30. Oktober 2023 in APB E005 | Datei |
| Entfällt | bank holiday | DS6, 31. Oktober 2023 in APB E009 | |
| Entfällt | no lecture | DS6, 6. November 2023 in APB E005 | |
| Übung | Horn Logics and Datalog | DS6, 7. November 2023 in APB E009 | Datei |
| Vorlesung | Description Logics – Syntax and Semantics II | DS6, 13. November 2023 in APB E005 | Datei |
| Übung | Description Logics – Syntax and Semantics I | DS6, 14. November 2023 in APB E009 | Datei |
| Vorlesung | Description Logics – Reasoning with Data | DS6, 20. November 2023 in APB E005 | Datei |
| Übung | Description Logics – Syntax and Semantics II | DS6, 21. November 2023 in APB E009 | Datei |
| Vorlesung | Nonmonotonic Reasoning I | DS6, 27. November 2023 in APB E005 | Datei |
| Übung | Description Logics – Reasoning with Data | DS6, 28. November 2023 in APB E009 | Datei |
| Vorlesung | Nonmonotonic Reasoning II | DS6, 4. Dezember 2023 in APB E005 | Datei |
| Übung | Nonmonotonic Reasoning I | DS6, 5. Dezember 2023 in APB E009 | Datei |
| Vorlesung | Inconsistency Handling | DS6, 11. Dezember 2023 in APB E005 | Datei |
| Übung | Nonmonotonic Reasoning II | DS6, 12. Dezember 2023 in APB E009 | Datei |
| Entfällt | no lecture | DS6, 18. Dezember 2023 in APB E005 | |
| Entfällt | no exercise | DS6, 19. Dezember 2023 in APB E009 | |
| Vorlesung | Argumentation | DS6, 8. Januar 2024 in APB E005 | Datei |
| Übung | Inconsistency Handling | DS6, 9. Januar 2024 in APB E009 | Datei |
| Vorlesung | Uncertainty | DS6, 15. Januar 2024 in APB E005 | Datei |
| Übung | Argumentation | DS6, 16. Januar 2024 in APB E009 | Datei |
| Konsultation | Recap/Q&A | DS6, 22. Januar 2024 in APB E005 | |
| Übung | Uncertainty | DS6, 23. Januar 2024 in APB E009 | Datei |
Kalender
