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 2024

Lecturer

Tutor

SWS

  • 2/2/0

Modules

Examination method

  • Oral exam



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:

  1. Register for the exam
    • CMS students register via Selma
    • CS students register via the examination office
    • CL students register via the CMS examination office
  2. Apply for a date/time slot

Subscribe to events of this course (icalendar)

Lecture Introduction DS3, October 14, 2024 in APB E005 File
Lecture Logics for Knowledge Representation DS3, October 21, 2024 in APB E005 File
Exercise Logics for Knowledge Representation DS6, October 22, 2024 in APB E009 File
Lecture Horn Logics and Datalog DS3, October 28, 2024 in APB E005 File
No session No Exercise Session DS6, October 29, 2024 in --
No session No Lecture DS3, November 4, 2024 in --
Exercise Horn Logics and Datalog DS6, November 5, 2024 in APB E009 File
Lecture Description Logics – Syntax and Semantics I DS3, November 11, 2024 in APB E005 File
No session No Exercise Session DS6, November 12, 2024 in APB E009
Lecture Description Logics – Syntax and Semantics II DS3, November 18, 2024 in APB E005 File
Exercise Description Logics – Syntax and Semantics I DS6, November 19, 2024 in APB E009 File
Lecture Description Logics – Reasoning with Data DS3, November 25, 2024 in APB E005 File
Exercise Description Logics – Syntax and Semantics II DS6, November 26, 2024 in APB E009 File
Lecture Nonmonotonic Reasoning I DS3, December 2, 2024 in APB E005 File
Exercise Description Logics – Reasoning with Data DS6, December 3, 2024 in APB E009 File
Lecture Nonmonotonic Reasoning II DS3, December 9, 2024 in APB E005
Exercise Nonmonotonic Reasoning I DS6, December 10, 2024 in APB E009 File
No session Happy Holidays! DS3, December 16, 2024 in --
Exercise Nonmonotonic Reasoning II DS6, December 17, 2024 in APB E009
Lecture Inconsistency Handling DS3, January 6, 2025 in APB E005
Lecture Argumentation DS3, January 13, 2025 in APB E005
Exercise Inconsistency Handling DS6, January 14, 2025 in APB E009
Lecture Uncertainty DS3, January 20, 2025 in APB E005
Exercise Argumentation DS6, January 21, 2025 in APB E009
Lecture Approximation Fixpoint Theory I DS3, January 27, 2025 in APB E005
Exercise Uncertainty DS6, January 28, 2025 in APB E009
Lecture Approximation Fixpoint Theory II; Q&A DS3, February 3, 2025 in APB E005
Exercise Approximation Fixpoint Theory DS6, February 4, 2025 in APB E009


Calendar