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
- (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)
- (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!
- (8 July 2024) - Benno's paper: 'Constrained LLM-based Query Generation for Question Answering on Official Statistics' was accepted at PAIS@ECAI. Congrats to all the authors!
- (4 July 2024) - Patrick's paper: 'Planning with OWL-DL Ontologies' was accepted at ECAI. Congrats to all the authors!
- (4 July 2024) - Jieying's paper: 'Ontology Text Alignment: Aligning Textual Content with Terminological Axioms' was accepted at ECAI. Congrats to all the authors!
- (27 June 2024) - Mark's paper: 'Advancing Robotic Perception with Perceived-Entity Linking' was accepted at ISWC. Congrats to all the authors!
- (21 May 2024) - Kai's paper: 'Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge' was accepted at ITP. Congrats to all the authors!
- (9 May 2024) - Patrick's paper 'The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with 𝜔-Admissible Concrete Domains' was accepted at the Description Logic Workshop. Congrats to Patrick and the authors!
- (22 April 2024) - Atefeh's paper 'Investigating the Usefulness of Product Reviews through Bipolar Argumentation Frameworks' was accepted to ICWE. Congrats to Atefeh and her colleagues from CWI!
- (16 April 2024) - Our paper: 'Supporting Companion Planting with the CoPla ontology' was accepted at the KG4S 2024 workshop. It was shared effort from most members of the group, congratulations everyone!
Contact
Nieuwe Universiteitsgebouw, 10th floor
De Boelelaan 1111
1081 HV Amsterdam
T(central): 020 59 89898