Research Directions
Our research focuses on foundations and formal aspects of knowledge-based systems and Artificial Intelligence.
- Knowledge Representation and Reasoning
Modelling and processing information - Knowledge-Enriched Data Management
Reliable answers from unreliable data - Neuro-Symbolic Reasoning
Thinking Fast, Thinking Slow - Computational Logic and Complexity
Computer Science is the continuation of logic with other means - Declarative Problem Solving
Solving problems by describing them