Theoretische Informatica Vrije Universiteit Brussel
" Onderzoeksthema: Toepassingen van logica in de informatica. Computer wetenschap kan worden beschouwd als `` toegepaste logica''; uit het niveau van de hardware (circuits) tot geavanceerde kennis vertegenwoordiging (e.g. nonmonotonic redenering). Gebieden van belang zijn: 1. Modelling argumentatie; 2. Nonmonotonic redenering formalisms; 3. Formele specificatie en verificatie van complexe software systemen; 4. Logic programmering ...