Raoul Koudijs

14 papers A* 2B 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Characterising Modal Formulas with Examples.
ACM Trans. Comput. Log.
Balder ten Cate, Raoul Koudijs
2024 A* conf
Knowledge Base Embeddings: Semantics and Theoretical Properties.
KR
Camille Bourgaux, Ricardo Guimarães, Raoul Koudijs, Victor Lacerda, Ana Ozaki
2024 J jnl
Knowledge Base Embeddings: Semantics and Theoretical Properties.
CoRR
Camille Bourgaux, Ricardo Guimarães, Raoul Koudijs, Victor Lacerda, Ana Ozaki
2024 J jnl
Learning Horn envelopes via queries from language models.
Int. J. Approx. Reason.
Sophie Blum, Raoul Koudijs, Ana Ozaki, Samia Touileb
2024 — conf
On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract).
Description Logics
Balder ten Cate, Raoul Koudijs, Ana Ozaki
2024 A* conf
On the Power and Limitations of Examples for Description Logic Concepts.
IJCAI
Balder ten Cate, Raoul Koudijs, Ana Ozaki
2024 J jnl
On the Power and Limitations of Examples for Description Logic Concepts.
CoRR
Balder ten Cate, Raoul Koudijs, Ana Ozaki
2023 J jnl
Characterising Modal Formulas with Examples.
CoRR
Balder ten Cate, Raoul Koudijs
2023 J jnl
Learning Horn Envelopes via Queries from Large Language Models.
CoRR
Sophie Blum, Raoul Koudijs, Ana Ozaki, Samia Touileb
2022 J jnl
Characterising Modal Formulas with Examples.
CoRR
Balder ten Cate, Raoul Koudijs
2022 B conf
Local Dependence and Guarding.
AiML
Balder ten Cate, Raoul Koudijs, Johan van Benthem
2022 J jnl
Local Dependence and Guarding.
CoRR
Johan van Benthem, Balder ten Cate, Raoul Koudijs
2021 J jnl
Finite Model Property and Bisimulation for LFD.
CoRR
Raoul Koudijs
2021 — conf
Finite Model Property and Bisimulation for LFD.
GandALF
Raoul Koudijs