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
- (9 September 2025) - The upcoming volume "Theory and Applications of Craig Interpolation", editored by Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter, has now a website on which drafts of various chapters can be accessed: https://cibd.bitbucket.io/taci. There you can for instance already access the draft version of the first chapter on Interpolation in Classical Propositional Logic authored by Patrick Koopmann, Christoph Wernhard and Frank Wolter. More chapters will follow in the coming weeks.
(continue reading)
- (15 May 2025) - Jieying’s joint proposal with the Department of Political Science at VU, “PoliBias: Cross-National Analysis of Political Bias in Language Models”, has been selected for funding under the Network Institute Academy Assistant Projects 2025–26. Students interested in joining as research assistants or writing their thesis on this topic are warmly encouraged to get in touch.
- (15 May 2025) - Jieying’s proposal Enhancing Fairness in HR Management through Bias Detection and Mitigation in Large Language Models using Knowledge Bases has been awarded funding by the VU–UT Alliance 2025. Students who would like to contribute as research assistants or explore this topic for their thesis are welcome to reach out.
- (15 May 2025) - Jieying, together with colleagues from Oxford, has had the paper “Parallel Reasoning in Sequoia” accepted to the Research Track of ISWC 2025. Congrats to all the authors!
- (27 January 2025) - We are excited to announce a new PhD position in Advancing Explainable AI for Knowledge Extraction. The application deadline is 10 March. Don't miss this opportunity to join our team! For more information and application details, please follow the link.
(Link to the page)
- (21 January 2025) - Both Jieying and Romana have papers accepted by the Web4Good track at The Web Conference (WWW).
Co-authors are Milena and Floris (VU) with Jieying, and Daniil Dobryi and Axel Polleres (Vienna University of Business and Economics) with Romana. Congrats!
- (12 December 2024) - Two papers from Ilaria were accepted for AAAI25. Also congrats to Majid and Annette (from our sibling group at the VU)
(continue reading)
- (11 November 2024) - Patrick paper: 'Explaining Reasoning Results for OWL Ontologies with EVEE' was accepted at the Knowledge Representation Conference. The paper was also accompained by a video.
(continue reading)
- (17 September 2024) - Various papers from Atefeh were accepted and presented during the autumn! Congrats to all the authors.
(continue reading)
- (16 September 2024) - Loan's paper: 'A General Dialogue Framework for Logic-based Argumentation' was accepted at the 2nd International Workshop on Argumentation for eXplainable AI 2024 at the Comma 2024 conference. Congrats to the authors!
Nieuwe Universiteitsgebouw, 10th floor
De Boelelaan 1111
1081 HV Amsterdam
T(central): 020 59 89898