184.186 Theory of Knowledge Representation
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2023W, VU, 2.0h, 3.0EC, to be held in blocked form


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise
  • Format: Hybrid

Learning outcomes

After successful completion of the course, students are able to use results from some central topics in knowledge representation and reasoning in theory and for practical application. They are prepared to analyze and solve theoretical problems in these areas, as well as to model and solve problems using tools from knowledge representation and reasoning.

Subject of course

Foundations of knowledge representation: models, algorithms, formalisms, and techniques.

Tentative subjects are: belief revision, non-monotonic reasoning, logic programming, reasoning abot actions and planning; abductive reasoning; expressiveness of knowledge representation formalisms.

Teaching methods

Teaching of basic material in traditional frontal lecture  with interaction with the students. Small problems to think between units, and an exercise part in which problems of theoretic nature (analysis of properties) and practical problem solving (e.g. planning, combinatorial problems) is considered. Background literature will be used in that.

Mode of examination


Additional information

The course language is English.

Friday, 9h -12:30 (tentative),  Seminarraum FAV 01  A
block lecture in October/November

First Lecture: October  6, 2023

ECTS breakdown: 3 ECTS = 75 Hours

  • Lecture presentation 0.5h
  • Lecture 17.5h
  • Further reading 25h
  • Discussion of the exercises 1.5h
  • Solving the exercises 30h
  • Oral exam (if applicable) 0.5h



Course dates

Fri09:00 - 13:0006.10.2023 - 24.11.2023Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Theory of Knowledge Representation - Single appointments
Fri06.10.202309:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri13.10.202309:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri20.10.202309:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri27.10.202309:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri03.11.202309:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri10.11.202309:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri17.11.202309:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri24.11.202309:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Course is held blocked

Examination modalities

Small problems and execises, an additional oral exam is optional


Course registration

Begin End Deregistration end
04.10.2023 15:00 21.10.2026 22:00 21.10.2026 23:30


Study CodeObligationSemesterPrecon.Info
066 011 Double degree programme "Computational Logic (Erasmus-Mundus)" Not specified
066 931 Logic and Computation Mandatory elective


Previous knowledge

  • solid basic knowledge in propositional and  predicate logic
  • formal semantics


  • Attendance Required!