Knowledge Based Systems Group

Our research focuses on foundations and formal aspects of knowledge-based systems and Artificial Intelligence.