About us
The Knowledge in Artificial Intelligence (KAI) group studies the role of symbolic (formal/declarative) knowledge in Artificial Intelligence/AI-based systems.
The mission of the KAI group is to contribute to a better understanding of the representation, acquisition, extraction and management of explicitly modelled knowledge and to facilitate and promote the usage of such knowledge in artificial intelligent agents.
We do this by combining research from the fields of Knowledge Engineering and Knowledge Representation, with focus on how this contributes to Hybrid Intelligence (i.e. how knowledge helps to develop a collaborative, adaptive, explainable and responsible collaboration between artificial and human intelligence).
We combine foundational theory and applied methods such as computational logic, emergent semantics, narrative representation, abstract argumentation, knowledge engineering (at scale), knowledge graph management, semantic techniques, data integration as well as machine learning. Our research addresses a variety of types of knowledge, which can be heterogeneous, contextualised, dynamic, common-sense, process-dependent, personal, tribal, conflicting or biased, and often large-scale.
News
- (22 June 2026) - The volume “Theory and Applications of Craig Interpolation”, edited by Balder ten Cate, Jean Cristoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter, will be published this year as Open Access by Ubiquity Press. (continue reading)
- (5 June 2026) - We are excited to announce a new PhD position in collaboration with the UCDS group in Privacy-Preserving AI and Knowledge Graphs for Energy Digital Twins. The application deadline is July the 7th. Don't miss this opportunity to join our team! For more information and application details, please follow the link. (Link to the page)
- (21 May 2026) - The paper 'GenZ: A Generic Sequent Calculus Prover using the Zipper' by Xiaoshuang Yang, Malvin Gattinger, Marianna Girlando, and Patrick Koopmann got accepted at the 10th workshop on Practical Aspects of Automated Reasoning, as part of the Federated Logic Conference (FLoC) 2026
- (8 May 2026) - The paper 'Practical Methods for Concept Interpolation in Realistic Ontologies' by Xiaoshuang Yang, got accepted at the Doctoral Consortium of the 23rd International Conference on Principles of Knowledge Representation and Reasoning
- (21 April 2026) - The paper 'ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics' by Anselm Haak, Patrick Koopmann, Yasir Mahmood and Anni-Yasmin Turhan got accepted at the 23rd International Conference on Principles of Knowledge Representation and Reasoning.
- (20 April 2026) - Ameneh and Ritten at ICTOpen 2026 (continue reading)
- (15 April 2026) - KAI welcomes Chiara Natali: our new Post-Doc working on Hybrid intelligence and Frictional AI. (continue reading)
- (16 March 2026) - Our group welcomes Laura Capella, who is visiting us from University of Milan for her master's thesis. (continue reading)
- (13 March 2026) - The KAI outing has ended (continue reading)
- (16 February 2026) - Welcome to Nicola Scarano, a new guest researcher from Politecnico di Torino. (continue reading)
Contact
Nieuwe Universiteitsgebouw, 10th floor
De Boelelaan 1111
1081 HV Amsterdam
T(central): 020 59 89898
