Zum Inhalt
Fakultät für Informatik

Knowledge-Based Systems

The group „Knowledge-Based Systems“ is concerned with the foundations of knowledge representation and reasoning, in particular with the following topics: 

  • Description Logics
  • Logic and Learning
  • Modal, temporal and probabilistic logics
  • Logic in Computer Science