Account
Edit tools
Intern
SucheSearch
English

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

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Jonas Karge (Diskussion | Beiträge)
(Die Seite wurde neu angelegt: „{{Vorlesung |Title=Foundations of Knowledge Representation |Research group=Computational Logic |Lecturers=Hannes Straß |Tutors=Jonas Karge |Term=WS |Year=2021…“)
 
Jonas Karge (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Zeile 11: Zeile 11:
|Exam type=mündliche Prüfung
|Exam type=mündliche Prüfung
|Description=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.
|Description=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.
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Introduction
|Room=APB E005
|Date=2021/10/11
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Propositional and First-Order Logic
|Room=APB E005
|Date=2021/10/18
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Horn Logics and Datalog
|Room=APB E005
|Date=2021/10/25
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Propositional Logic and First-Order Logic
|Room=APB E005
|Date=2021/10/25
|DS=DS6
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Description Logic - Syntax and Semantics I
|Room=APB E005
|Date=2021/11/01
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Horn Logics and Datalog
|Room=APB E005
|Date=2021/11/01
|DS=DS6
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Description Logics - Syntax and Semantics II
|Room=APB E005
|Date=2021/11/08
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Description Logic - Syntax and Semantics I
|Room=APB E005
|Date=2021/11/08
|DS=DS6
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Description Logic - Reasoning with Data
|Room=APB E005
|Date=2021/11/15
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Description Logic - Syntax and Semantics II
|Room=APB E005
|Date=2021/11/15
|DS=DS6
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Nonmonotonic Reasoning I
|Room=APB E005
|Date=2021/11/22
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Description Logic - Reasoning with Data
|Room=APB E005
|Date=2021/11/22
|DS=DS6
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Nonmonotonic Reasoning II
|Room=APB E005
|Date=2021/11/29
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Nonmonotonic Reasoning I
|Room=APB E005
|Date=2021/11/29
|DS=DS6
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Inconsistency Handling
|Room=APB E005
|Date=2021/12/06
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Nonmonotonic Reasoning II
|Room=APB E005
|Date=2021/12/06
|DS=DS6
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Argumentation
|Room=APB E005
|Date=2021/12/13
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Inconsistency Handling
|Room=APB E005
|Date=2021/12/13
|DS=DS6
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Uncertainty
|Room=APB E005
|Date=2021/12/20
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Argumentation
|Room=APB E005
|Date=2021/12/20
|DS=DS6
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Recap
|Room=APB E005
|Date=2022/01/10
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Uncertainty
|Room=APB E005
|Date=2022/01/10
|DS=DS6
}}
}}

Version vom 6. Oktober 2021, 18:02 Uhr

Foundations of Knowledge Representation

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

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, 11. Oktober 2021 in Videokonferenz Datei
Vorlesung Propositional and First-Order Logic DS5, 18. Oktober 2021 in Videokonferenz Datei 1,  Datei 2
Vorlesung Horn Logics and Datalog DS5, 25. Oktober 2021 in Videokonferenz Datei 1,  Datei 2
Übung Propositional Logic and First-Order Logic DS6, 25. Oktober 2021 in Videokonferenz Datei
Vorlesung Description Logic - Syntax and Semantics I DS5, 1. November 2021 in Videokonferenz Datei 1,  Datei 2
Übung Horn Logics and Datalog DS6, 1. November 2021 in Videokonferenz Datei
Vorlesung Description Logics - Syntax and Semantics II DS5, 8. November 2021 in Videokonferenz Datei 1,  Datei 2
Übung Description Logic - Syntax and Semantics I DS6, 8. November 2021 in Videokonferenz Datei
Vorlesung Description Logic - Reasoning with Data DS5, 15. November 2021 in Videokonferenz Datei 1,  Datei 2
Übung Description Logic - Syntax and Semantics II DS6, 15. November 2021 in Videokonferenz Datei
Vorlesung Nonmonotonic Reasoning I DS5, 22. November 2021 in Videokonferenz Datei 1,  Datei 2
Übung Description Logic - Reasoning with Data DS6, 22. November 2021 in Videokonferenz Datei
Vorlesung Nonmonotonic Reasoning II DS5, 29. November 2021 in Videokonferenz Datei 1,  Datei 2
Übung Nonmonotonic Reasoning I DS6, 29. November 2021 in Videokonferenz Datei
Vorlesung Inconsistency Handling DS5, 6. Dezember 2021 in Videokonferenz Datei 1,  Datei 2
Übung Nonmonotonic Reasoning II DS6, 6. Dezember 2021 in Videokonferenz Datei
Vorlesung Argumentation DS5, 13. Dezember 2021 in Videokonferenz Datei 1,  Datei 2
Übung Inconsistency Handling DS6, 13. Dezember 2021 in Videokonferenz Datei
Übung Argumentation DS6, 20. Dezember 2021 in Videokonferenz Datei
Vorlesung Uncertainty DS5, 10. Januar 2022 in Videokonferenz Datei 1,  Datei 2
Vorlesung Approximation Fixpoint Theory DS5, 17. Januar 2022 in Videokonferenz Datei 1,  Datei 2
Übung Uncertainty DS6, 17. Januar 2022 in Videokonferenz Datei
Vorlesung Recap DS5, 24. Januar 2022 in Videokonferenz
Übung Approximation Fixpoint Theory DS6, 24. Januar 2022 in Videokonferenz Datei


Kalender













Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2021)&oldid=34650“