| Learning Horn envelopes via queries from language models S Blum, R Koudijs, A Ozaki, S Touileb International Journal of Approximate Reasoning 171, 109026, 2024 | 4 | 2024 |
| Characterising modal formulas with examples B ten Cate, R Koudijs ACM Transactions on Computational Logic 25 (2), 1-27, 2024 | 3 | 2024 |
| Learning modal formulas via dualities R Koudijs MSc Thesis To appear, ILLC, University of Amsterdam, 2022 | 2 | 2022 |
| On the power and limitations of examples for description logic concepts B ten Cate, R Koudijs, A Ozaki Proc. of IJCAI, 739-745, 2024 | 1 | 2024 |
| Learning Horn Envelopes via Queries from Large Language Models S Blum, R Koudijs, A Ozaki, S Touileb arXiv preprint arXiv:2305.12143, 2023 | 1 | 2023 |
| Finite model property and bisimulation for lfd R Koudijs arXiv preprint arXiv:2107.06042, 2021 | 1 | 2021 |
| On the power and limitations of examples for description logic concepts B Cate, R Koudijs, A Ozaki arXiv preprint arXiv:2412.17345, 2024 | | 2024 |
| Knowledge base embeddings: Semantics and theoretical properties C Bourgaux, R Guimarães, R Koudijs, V Lacerda, A Ozaki arXiv preprint arXiv:2408.04913, 2024 | | 2024 |
| Finite Characterisations of Modal Formulas B ten Cate, R Koudijs, I Amsterdam VO| Ume Of, 2022 | | 2022 |
| Local Dependence and Guarding J van Benthem, B Cate, R Koudijs arXiv preprint arXiv:2206.06046, 2022 | | 2022 |
