Version vom 2. Oktober 2023, 14:32 Uhr

Foundations of Knowledge Representation

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2023

Dozent

Sebastian Rudolph

Tutor

Jonas Karge

Umfang (SWS)

2/2/0

Module

Leistungskontrolle

Mündliche Prüfung

Information
Termine und Unterlagen

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

@@ Zeile 72: / Zeile 72: @@
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Entfällt
-|Title=Horn Logics and Datalog
+|Title=Exercise Session: Horn Logics and Datalog
 |Room=APB E009
 |Date=2023/10/31
@@ Zeile 79: / Zeile 79: @@
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Entfällt
-|Title=Description Logics – Syntax and Semantics II
+|Title=Lecture: Description Logics – Syntax and Semantics II
 |Room=APB E005
 |Date=2023/11/06
@@ Zeile 110: / Zeile 110: @@
 |Room=APB E005
 |Date=2023/11/20
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Description Logics – Syntax and Semantics II
+|Room=APB E009
+|Date=2023/11/21
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Vorlesung
+|Title=Nonmonotonic Reasoning I
+|Room=APB E005
+|Date=2023/11/27
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Description Logics – Reasoning with Data
+|Room=APB E009
+|Date=2023/11/28
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Vorlesung
+|Title=Nonmonotonic Reasoning II
+|Room=APB E005
+|Date=2023/12/04
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Nonmonotonic Reasoning I
+|Room=APB E005
+|Date=2023/12/05
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Vorlesung
+|Title=Inconsistency Handling
+|Room=APB E005
+|Date=2023/12/11
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Nonmonotonic Reasoning II
+|Room=APB E009
+|Date=2023/12/12
+|DS=DS1
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Entfällt
+|Title=Lecture: Argumentation
+|Room=APB E005
+|Date=2023/12/18
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Entfällt
+|Title=Exercise Session: Inconsistency Handling
+|Room=APB E009
+|Date=2023/12/19
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Vorlesung
+|Title=Argumentation
+|Room=APB E005
+|Date=2024/01/08
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Inconsistency Handling
+|Room=APB E009
+|Date=2024/01/09
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Vorlesung
+|Title=Uncertainty
+|Room=APB E005
+|Date=2024/01/15
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Argumentation
+|Room=APB E009
+|Date=2024/01/16
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Konsultation
+|Title=Recap/Q&A
+|Room=APB E005
+|Date=2024/01/22
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Uncertainty
+|Room=APB E009
+|Date=2024/01/23
 |DS=DS6
 }}

Foundations of Knowledge Representation (WS2023): Unterschied zwischen den Versionen