- E-postRaoul.Koudijs@uib.no
- BesøksadresseHIB - Thormøhlens gate 555006 Bergen
- PostadressePostboks 78035020 Bergen
Vitenskapelig artikkel
- (2024). Characterising Modal Formulas with Examples. ACM Transactions on Computational Logic.
- (2023). Learning Horn envelopes via queries from language models. International Journal of Approximate Reasoning. 20 sider.