184.205 Processing of Declarative Knowledge
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2022W, VO, 2.0h, 3.0EC, to be held in blocked form


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture
  • Format: Hybrid

Learning outcomes

After successful completion of the course, students are able to understand methods and techniques from declarative knowledge processing for different fields that center around datalog. They have insight to this versatile formalism that allows for addressing a range of different problems, by using different extensions of datalog that have been developed.

Subject of course

Declarative knowledge representation is characterised by the fact that there is a separation between the representation of knowledge and the processing of knowledge. The representation takes the form of sentences in a symbolic language whilst the processing is done by procedures accessing these sentences. Declarative knowledge representation is in contrast to procedural methods in which knowledge is represented only implicitly in the executed algorithms.

In this lecture, we consider different formalisms for representing and processing declarative knowledge, with particular emphasis on (but not limited to):

  • Datalog and extensions
  • Answer Set Programming and Extensions
  • Description Logics for representing ontological knowledge
  • Contextual Reasoning

Teaching methods

Frontal lectures in interaction with the students, small problems respectively exercises. A project ins preparation for the exam is possible.

Mode of examination


Additional information

lectures en bloc, in November / December  / January, Friday 9:00-13:00

Tentative start:  Fri November 25, 2022

The course language is English.

ECTS breakdown: 3 ECTS = 75 Hours

  • Lecture 24h
  • Additional reading and preparation for exam 50h
  • Oral exam 1h



Course dates

Fri09:00 - 13:0018.11.2022 - 20.01.2023Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Processing of Declarative Knowledge - Single appointments
Fri18.11.202209:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri25.11.202209:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri02.12.202209:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri09.12.202209:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri16.12.202209:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri13.01.202309:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri20.01.202309:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Course is held blocked

Examination modalities

Knowledge about the material presented, small exercises to be solved on the fly. In case of an agreed project, presentation and discussion of the project.

Course registration

Begin End Deregistration end
03.10.2022 12:00 17.11.2022 23:59 17.11.2022 23:59

Registration modalities

Registration in TISS is mandatory!



Previous knowledge

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

Accompanying courses

Continuative courses