< Terug naar vorige pagina

Organisatie

Theoretische Informatica (TINF)

Research Group

Hoofdorganisatie:Onderzoeksraad
Tijdsduur:1 jan 1970  →  Heden
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 in specifieke velden