Courses by the KRR Group

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Courses by the KRR Group

Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in WS 2020


Umfang (SWS)

  • 4/2/0



  • Mündliche Prüfung
  • Referat

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