Foundations of Knowledge Representation

From International Center for Computational Logic

Foundations of Knowledge Representation

Course with SWS 2/2/0 (lecture/exercise/practical) in WS 2021

Lecturer

Tutor

SWS

  • 2/2/0

Modules

Examination method

  • Oral exam



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.

It is mandatory to register online via Selma (course K1107-MA0057) to both lectures (V) and excercise sessions (Ü) in case you want to take an exam.

Both lectures and tutorials will be done as online live sessions.

The lectures will be done via Zoom, to be entered via the following link:

https://tu-dresden.zoom.us/j/87452937587?pwd=T3VPMzhPWkQ0VExzSnIwdnFVZWo4QT09

To access the exercise session in BigBlueButton, please use the following link:

https://bbb.tu-dresden.de/b/jon-qjf-fin-3il

Subscribe to events of this course (icalendar)

Lecture Introduction DS5, October 11, 2021 in Video conference File
Lecture Propositional and First-Order Logic DS5, October 18, 2021 in Video conference File 1 File 2
Lecture Horn Logics and Datalog DS5, October 25, 2021 in Video conference File 1 File 2
Exercise Propositional Logic and First-Order Logic DS6, October 25, 2021 in Video conference File
Lecture Description Logic - Syntax and Semantics I DS5, November 1, 2021 in Video conference File 1 File 2
Exercise Horn Logics and Datalog DS6, November 1, 2021 in Video conference File
Lecture Description Logics - Syntax and Semantics II DS5, November 8, 2021 in Video conference File 1 File 2
Exercise Description Logic - Syntax and Semantics I DS6, November 8, 2021 in Video conference File
Lecture Description Logic - Reasoning with Data DS5, November 15, 2021 in Video conference File 1 File 2
Exercise Description Logic - Syntax and Semantics II DS6, November 15, 2021 in Video conference File
Lecture Nonmonotonic Reasoning I DS5, November 22, 2021 in Video conference File 1 File 2
Exercise Description Logic - Reasoning with Data DS6, November 22, 2021 in Video conference File
Lecture Nonmonotonic Reasoning II DS5, November 29, 2021 in Video conference File 1 File 2
Exercise Nonmonotonic Reasoning I DS6, November 29, 2021 in Video conference File
Lecture Inconsistency Handling DS5, December 6, 2021 in Video conference File 1 File 2
Exercise Nonmonotonic Reasoning II DS6, December 6, 2021 in Video conference File
Lecture Argumentation DS5, December 13, 2021 in Video conference
Exercise Inconsistency Handling DS6, December 13, 2021 in Video conference File
Lecture Uncertainty DS5, December 20, 2021 in Video conference
Exercise Argumentation DS6, December 20, 2021 in Video conference
Lecture Recap DS5, January 10, 2022 in Video conference
Exercise Uncertainty DS6, January 10, 2022 in Video conference


Calendar