Raoul Koudijs

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 10

Top Topics

Medical Terminology

Logical Implication

Top Venues

Description Logics

Int. J. Approx. Reason.

ACM Trans. Comput. Log.

Publications

Balder ten Cate, Raoul Koudijs, Ana Ozaki
On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract). Description Logics (2024)
Balder ten Cate, Raoul Koudijs
Characterising Modal Formulas with Examples. ACM Trans. Comput. Log. 25 (2) (2024)
Sophie Blum, Raoul Koudijs, Ana Ozaki, Samia Touileb
Learning Horn envelopes via queries from language models. Int. J. Approx. Reason. 171 (2024)
Balder ten Cate, Raoul Koudijs
Characterising Modal Formulas with Examples. CoRR (2023)
Sophie Blum, Raoul Koudijs, Ana Ozaki, Samia Touileb
Learning Horn Envelopes via Queries from Large Language Models. CoRR (2023)
Balder ten Cate, Raoul Koudijs
Characterising Modal Formulas with Examples. CoRR (2022)
Johan van Benthem, Balder ten Cate, Raoul Koudijs
Local Dependence and Guarding. CoRR (2022)
Balder ten Cate, Raoul Koudijs, Johan van Benthem
Local Dependence and Guarding. AiML (2022)
Raoul Koudijs
Finite Model Property and Bisimulation for LFD. CoRR (2021)
Raoul Koudijs
Finite Model Property and Bisimulation for LFD. GandALF (2021)