Finite Model Property and Bisimulation for LFD. - Raoul Koudijs (GandALF, 2021)

Local Dependence and Guarding. - Balder ten Cate; Raoul Koudijs; Johan van Benthem (AiML, 2022)

Learning Horn Envelopes via Queries from Large Language Models. - Sophie Blum; Raoul Koudijs; Ana Ozaki; Samia Touileb (CoRR, 2023)

On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract). - Balder ten Cate; Raoul Koudijs; Ana Ozaki (Description Logics, 2024)

On the Power and Limitations of Examples for Description Logic Concepts. - Balder ten Cate; Raoul Koudijs; Ana Ozaki (IJCAI, 2024)

Knowledge Base Embeddings: Semantics and Theoretical Properties. - Camille Bourgaux; Ricardo Guimarães 001; Raoul Koudijs; Victor Lacerda; Ana Ozaki (KR, 2024)

Learning Horn envelopes via queries from language models. - Sophie Blum; Raoul Koudijs; Ana Ozaki; Samia Touileb (Int. J. Approx. Reason., 2024)

Characterising Modal Formulas with Examples. - Balder ten Cate; Raoul Koudijs (ACM Trans. Comput. Log., 2024)