Aktuelle Version vom 27. Januar 2025, 16:28 Uhr

Foundations of Knowledge Representation

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

Dozent

Hannes Straß

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 DS3 (11:10–12:40) 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
- CMS students register via Selma
- CS students register via the examination office
- CL students register via the CMS examination office
Apply for a date/time slot
- write an e-mail to cl@tu-dresden.de asking for a slot

Veranstaltungskalender abonnieren (icalendar)

Vorlesung	Introduction	DS3, 14. Oktober 2024 in APB E005	Datei
Vorlesung	Logics for Knowledge Representation	DS3, 21. Oktober 2024 in APB E005	Datei
Übung	Logics for Knowledge Representation	DS6, 22. Oktober 2024 in APB E009	Datei
Vorlesung	Horn Logics and Datalog	DS3, 28. Oktober 2024 in APB E005	Datei
Entfällt	No Exercise Session	DS6, 29. Oktober 2024 in --
Entfällt	No Lecture	DS3, 4. November 2024 in --
Übung	Horn Logics and Datalog	DS6, 5. November 2024 in APB E009	Datei
Vorlesung	Description Logics – Syntax and Semantics I	DS3, 11. November 2024 in APB E005	Datei
Entfällt	No Exercise Session	DS6, 12. November 2024 in APB E009
Vorlesung	Description Logics – Syntax and Semantics II	DS3, 18. November 2024 in APB E005	Datei
Übung	Description Logics – Syntax and Semantics I	DS6, 19. November 2024 in APB E009	Datei
Vorlesung	Description Logics – Reasoning with Data	DS3, 25. November 2024 in APB E005	Datei
Übung	Description Logics – Syntax and Semantics II	DS6, 26. November 2024 in APB E009	Datei
Vorlesung	Nonmonotonic Reasoning I	DS3, 2. Dezember 2024 in APB E005	Datei
Übung	Description Logics – Reasoning with Data	DS6, 3. Dezember 2024 in APB E009	Datei
Vorlesung	Nonmonotonic Reasoning II	DS3, 9. Dezember 2024 in APB E005	Datei
Entfällt	Nonmonotonic Reasoning I	DS6, 10. Dezember 2024 in APB E009	Datei
Entfällt	Happy Holidays!	DS3, 16. Dezember 2024 in --
Übung	Nonmonotonic Reasoning I	DS6, 17. Dezember 2024 in APB E009
Vorlesung	Inconsistency Handling	DS3, 6. Januar 2025 in APB E005	Datei
Übung	Nonmonotonic Reasoning II	DS6, 7. Januar 2025 in APB E009	Datei
Vorlesung	Argumentation	DS3, 13. Januar 2025 in APB E005	Datei
Übung	Inconsistency Handling	DS6, 14. Januar 2025 in APB E009	Datei
Vorlesung	Uncertainty	DS3, 20. Januar 2025 in APB E005	Datei
Übung	Argumentation	DS6, 21. Januar 2025 in APB E009	Datei
Vorlesung	Approximation Fixpoint Theory I	DS3, 27. Januar 2025 in APB E005	Datei
Übung	Uncertainty	DS6, 28. Januar 2025 in APB E009	Datei
Vorlesung	Approximation Fixpoint Theory II; Q&A	DS3, 3. Februar 2025 in APB E005
Übung	Approximation Fixpoint Theory	DS6, 4. Februar 2025 in APB E009	Datei

Kalender

@@ Zeile 33: / Zeile 33: @@
 #* CL students register via the CMS examination office
 # Apply for a date/time slot
-#* contact [mailto:ramona.behling@tu-dresden.de Ms. Ramona Behling] asking for a slot
+#* write an e-mail to [mailto:cl@tu-dresden.de cl@tu-dresden.de] asking for a slot
 }}
 {{Vorlesung Zeiten
@@ Zeile 72: / Zeile 72: @@
 |Date=2024/11/11
 |DS=DS3
+|Download=FKR2024-04.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 79: / Zeile 80: @@
 |Date=2024/11/18
 |DS=DS3
+|Download=FKR2024-05.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 86: / Zeile 88: @@
 |Date=2024/11/25
 |DS=DS3
+|Download=FKR2024-06.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 93: / Zeile 96: @@
 |Date=2024/12/02
 |DS=DS3
+|Download=FKR2024-07.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 100: / Zeile 104: @@
 |Date=2024/12/09
 |DS=DS3
+|Download=FKR2024-08.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 114: / Zeile 119: @@
 |Date=2025/01/06
 |DS=DS3
+|Download=FKR2024-09.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 121: / Zeile 127: @@
 |Date=2025/01/13
 |DS=DS3
+|Download=FKR2024-10.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 128: / Zeile 135: @@
 |Date=2025/01/20
 |DS=DS3
+|Download=FKR2024-11.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 135: / Zeile 143: @@
 |Date=2025/01/27
 |DS=DS3
+|Download=FKR2024-12.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 179: / Zeile 188: @@
 |Date=2024/11/19
 |DS=DS6
+|Download=KRR exercises 3 WS24.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 186: / Zeile 196: @@
 |Date=2024/11/26
 |DS=DS6
+|Download=KRR exercises 4 WS24.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 193: / Zeile 204: @@
 |Date=2024/12/03
 |DS=DS6
+|Download=KRR problems5 WS24.pdf
 }}
 {{Vorlesung Zeiten
-|Lehrveranstaltungstype=Übung
+|Lehrveranstaltungstype=Entfällt
 |Title=Nonmonotonic Reasoning I
 |Room=APB E009
 |Date=2024/12/10
 |DS=DS6
+|Download=KRR exercises 6 WS24.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Übung
-|Title=Nonmonotonic Reasoning II
+|Title=Nonmonotonic Reasoning I
 |Room=APB E009
 |Date=2024/12/17
@@ Zeile 212: / Zeile 225: @@
 |Title=Inconsistency Handling
 |Room=APB E009
-|Date=2024/01/14
+|Date=2025/01/14
 |DS=DS6
+|Download=KRR exercises WS24 8.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 219: / Zeile 233: @@
 |Title=Argumentation
 |Room=APB E009
-|Date=2024/01/21
+|Date=2025/01/21
 |DS=DS6
+|Download=KRR exercises 9 WS24.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 226: / Zeile 241: @@
 |Title=Uncertainty
 |Room=APB E009
-|Date=2024/01/28
+|Date=2025/01/28
 |DS=DS6
+|Download=KRR exercises 10 WS24.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 233: / Zeile 249: @@
 |Title=Approximation Fixpoint Theory
 |Room=APB E009
-|Date=2024/02/04
+|Date=2025/02/04
+|DS=DS6
+|Download=KRR exercises 11 WS24.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Nonmonotonic Reasoning II
+|Room=APB E009
+|Date=2025/01/07
 |DS=DS6
+|Download=KRR exercises 7 WS24.pdf
 }}

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