< Back to previous page
Organisation
Theoretical Computer Science
Research Group
Lifecycle:1 Jan 1970 → 31 Aug 2011
Organisation profile:
Research theme: Applications of logic in computer science. Computer science can be regarded as ``applied logic''; from the level of hardware (circuits) up to sophisticated knowledge representation (e.g. nonmonotonic reasoning). Areas of interest include: 1. Modelling argumentation; 2. Nonmonotonic reasoning formalisms; 3. Formal specification and verification of complex software systems; 4. Logic programming semantics.
Keywords:Dialogical Reasoning, Formal Aspects Of Software Engineering, Applications In Artifical Intelligence, Theoretical Informatics, Defeasible And Nonmonotonic Reasoning
Disciplines:Applied mathematics in specific fields