< 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