Rediger Raoul Koudijs Stilling Ph.d.-kandidat Tilhørighet Det matematisk-naturvitenskapelige fakultet Institutt for informatikk E-post raoul.koudijs@uib.no Besøksadresse Allégaten 415007 Bergen Postadresse Postboks 78035020 Bergen Raoul Koudijs Stilling Ph.d.-kandidat Tilhørighet Det matematisk-naturvitenskapelige fakultet Institutt for informatikk Publikasjoner Vitenskapelig artikkel Ten Cate, Balder; Koudijs, Raoul (2024). Characterising Modal Formulas with Examples. (ekstern lenke) Blum, Sophie; Koudijs, Raoul; Ozaki, Ana et al. (2023). Learning Horn envelopes via queries from language models. (ekstern lenke) Se en full oversikt over publikasjoner i Cristin
