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.

2023W, 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 17.11., 2023

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:0017.11.2023 - 19.01.2024Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Processing of Declarative Knowledge - Single appointments
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
Fri01.12.202309:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri15.12.202309:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri12.01.202409:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Lecture
Fri19.01.202409: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
02.10.2023 12:00 16.11.2023 23:59 16.11.2023 23:59

Registration modalities

Registration in TISS is mandatory!


Study CodeObligationSemesterPrecon.Info
066 011 Double degree programme "Computational Logic (Erasmus-Mundus)" Not specified
066 645 Data Science Not specified
066 926 Business Informatics Mandatory elective
066 931 Logic and Computation Mandatory elective
066 933 Information & Knowledge Management Mandatory elective


Previous knowledge

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

Accompanying courses

Continuative courses