Raoul Koudijs

According to our database, Raoul Koudijs authored at least 8 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Characterising Modal Formulas with Examples.

Balder ten Cate, Raoul Koudijs

ACM Trans. Comput. Log., April, 2024

Learning Horn envelopes via queries from language models.

Sophie Blum, Raoul Koudijs, Ana Ozaki, Samia Touileb

Int. J. Approx. Reason., 2024

Knowledge Base Embeddings: Semantics and Theoretical Properties.

Camille Bourgaux, Ricardo Guimarães, Raoul Koudijs, Victor Lacerda, Ana Ozaki

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

On the Power and Limitations of Examples for Description Logic Concepts.

Balder ten Cate, Raoul Koudijs, Ana Ozaki

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract).

Balder ten Cate, Raoul Koudijs, Ana Ozaki

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023

Learning Horn Envelopes via Queries from Large Language Models.

Sophie Blum, Raoul Koudijs, Ana Ozaki, Samia Touileb

CoRR, 2023

2022

Local Dependence and Guarding.

Balder ten Cate, Raoul Koudijs, Johan van Benthem

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Finite Model Property and Bisimulation for LFD.

Raoul Koudijs

Proceedings of the Proceedings 12th International Symposium on Games, 2021