Courses by the KRR Group

From International Center for Computational Logic

Courses by the KRR Group

Course with SWS 4/2/0 (lecture/exercise/practical) in WS 2020



  • 4/2/0


Examination method

  • Oral exam
  • Seminar presentation

Various Courses KRR Group

For details on courses from knowledge representation and reasoning group, we refer to OPAL. Find the courses at:

Denken als Berechnung

Human Reasoning and the Weak Completion Semantics

Logic and Science of Computational Logic Repetition

Knowledge Representation and Reasoning Seminar