< Terug naar vorige pagina
Organisatie
Theoretische Informatica
Research Group
Tijdsduur:1 jan 1970 → 31 aug 2011
Organisatieprofiel:
" 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 semantiek."
Trefwoorden:Dialogical Reasoning, Formal Aspects Of Software Engineering, Applications In Artifical Intelligence, Theoretical Informatics, Defeasible And Nonmonotonic Reasoning
Disciplines:Toegepaste wiskunde