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