184.208 Logic for 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.

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


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture
  • Format: Distance Learning

Learning outcomes

After successful completion of the course, students are able to

  • to name and explain different logics and logic-based formalisms for knowledge representation,
  • to select suitable methods and techniques for a given problem, and
  • to critically assess relevant solutions and formalisms.

Subject of course

Knowledge representation is a part of AI dealing with suitable methods to make knowledge about a certain domain accessible to computers. The area of knowledge representation comprises techniques from different disciplines, in particular from logic and ontology.

In this course we deal with different logics for knowledge representation.


  1. Introduction
    • Overview
    • Logic
  2. Knowledge Representation using Classical Logic
    • Elements of Propositional Logic
    • Propositional Logic for Modelling Natural-Language Arguments
    • Elements of Predicate Logic
    • Predicate Logic and Natural Language
    • Ontological Aspects
  3. Nonmonotonic Reasoning
    • Problems of Classical Logic
    • Methods of Nonmonotonic Reasoning
    • Circumscription
    • Default Logic
  4. Parakonsistent Reasoning
  5. Modallogic
    • Introduction
    • Syntax and Semantics
    • Basic Modallogics

Teaching methods

Communication of the course contents through a traditional frontal lecture.

Mode of examination


Additional information


  • Details on the organisation of the course and the associated exercises, cf. the German description of this site.

ECTS breakdown: 3 ECTS = 75 hours

  • Lecture 24h
  • Lecture introduction 0.5h
  • Preparation for exam 50h
  • Oral exam 0.5h



Examination modalities

Oral exam.


DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Mon13:00 - 15:0006.02.2023 Online via Big Blue Buttonoral24.01.2023 22:00 - 05.02.2023 23:55TISSHaupttermin

Course registration

Begin End Deregistration end
29.09.2020 10:00 18.12.2020 23:00 18.12.2020 23:00


Study CodeSemesterPrecon.Info
033 533 Medical Informatics STEOP
Course requires the completion of the introductory and orientation phase
033 534 Software & Information Engineering STEOP
Course requires the completion of the introductory and orientation phase
066 933 Information & Knowledge Management STEOP
Course requires the completion of the introductory and orientation phase


Slides will be made available for download.

Accompanying courses

Continuative courses