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

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 41: / Zeile 41: @@
 |Date=2023/10/09
 |DS=DS6
+|Download=Fkr-1-2024.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 48: / Zeile 49: @@
 |Date=2023/10/16
 |DS=DS6
+|Download=Fkr-02-2024.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 55: / Zeile 57: @@
 |Date=2023/10/23
 |DS=DS6
+|Download=Fkr-03-2024.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 62: / Zeile 65: @@
 |Date=2023/10/24
 |DS=DS6
+|Download=PL and FOL Problems 23.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 69: / Zeile 73: @@
 |Date=2023/10/30
 |DS=DS6
+|Download=Fkr-04-2024.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Entfällt
-|Title=Horn Logics and Datalog
+|Title=bank holiday
 |Room=APB E009
 |Date=2023/10/31
@@ Zeile 79: / Zeile 84: @@
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Entfällt
-|Title=Description Logics – Syntax and Semantics II
+|Title=no lecture
 |Room=APB E005
 |Date=2023/11/06
@@ Zeile 90: / Zeile 95: @@
 |Date=2023/11/07
 |DS=DS6
+|Download=Horn Logics and Datalog Problems23.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 97: / Zeile 103: @@
 |Date=2023/11/13
 |DS=DS6
+|Download=Fkr-05-2024.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 104: / Zeile 111: @@
 |Date=2023/11/14
 |DS=DS6
+|Download=Description Logic - Problems23.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 111: / Zeile 119: @@
 |Date=2023/11/20
 |DS=DS6
+|Download=Fkr-06-2024.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Description Logics – Syntax and Semantics II
+|Room=APB E009
+|Date=2023/11/21
+|DS=DS6
+|Download=DL Problems2.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Vorlesung
+|Title=Nonmonotonic Reasoning I
+|Room=APB E005
+|Date=2023/11/27
+|DS=DS6
+|Download=Fkr-07-2024.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Description Logics – Reasoning with Data
+|Room=APB E009
+|Date=2023/11/28
+|DS=DS6
+|Download=DLData.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Vorlesung
+|Title=Nonmonotonic Reasoning II
+|Room=APB E005
+|Date=2023/12/04
+|DS=DS6
+|Download=Fkr-08-2024.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Nonmonotonic Reasoning I
+|Room=APB E009
+|Date=2023/12/05
+|DS=DS6
+|Download=NMR Problems I.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Vorlesung
+|Title=Inconsistency Handling
+|Room=APB E005
+|Date=2023/12/11
+|DS=DS6
+|Download=Fkr-09-2024.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Nonmonotonic Reasoning II
+|Room=APB E009
+|Date=2023/12/12
+|DS=DS6
+|Download=NMR 2 - Problems.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Entfällt
+|Title=no lecture
+|Room=APB E005
+|Date=2023/12/18
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Entfällt
+|Title=no exercise
+|Room=APB E009
+|Date=2023/12/19
+|DS=DS6
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Vorlesung
+|Title=Argumentation
+|Room=APB E005
+|Date=2024/01/08
+|DS=DS6
+|Download=Fkr-10-2024.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Inconsistency Handling
+|Room=APB E009
+|Date=2024/01/09
+|DS=DS6
+|Download=Inconsistency Handling - Problems.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Vorlesung
+|Title=Uncertainty
+|Room=APB E005
+|Date=2024/01/15
+|DS=DS6
+|Download=Fkr-11-2024.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Argumentation
+|Room=APB E009
+|Date=2024/01/16
+|DS=DS6
+|Download=Argumentation - Problems.pdf
+}}
+{{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
+|Download=UncertaintyProblems.pdf
 }}

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