Edit Raoul Koudijs Position PhD candidate Affiliation Department of Informatics E-mail raoul.koudijs@uib.no Visitor address Allégaten 415007 Bergen Postal address P.O. Box 7803 NO-5020 Bergen Norway Raoul Koudijs Position PhD candidate Affiliation Department of Informatics Publications Academic article Ten Cate, Balder; Koudijs, Raoul (2024). Characterising Modal Formulas with Examples. (external link) Blum, Sophie; Koudijs, Raoul; Ozaki, Ana et al. (2023). Learning Horn envelopes via queries from language models. (external link) See a complete overview of publications in Cristin.
