People – Argumentation and representation of knowledge (ARK)

More information about our group’s activities can be found on the official website.

reset filter

Academic Staff

	Katie Atkinson       Professor email EEE, 607       Research Groups:  ARK Research Interests:  AI and Law  computational models of argument  dialogue games
	Paul Dunne     Professor email Ashton 2.04         Research Groups:  ARK Research Interests:  Algorithms and complexity in abstract argumentation formalisms  analysis of argumentation frameworks and semantics via combinatorial paradigms
	Floriana Grasso     Lecturer email Ashton G.16         Research Groups:  ARK Research Interests:  Argument and Computation  Computational Rhetoric  User Modelling
	Boris Konev     Professor email Ashton 1.15       Research Groups:  ARK  Verification Research Interests:  Description logics, ontologies, automated reasoning, temporal logic, specification and verification formalisms, proof complexity, deduction systems, and practical applications of formal methods
	Louwe Kuijer       Lecturer email Holt 215a         Research Groups:  ARK Research Interests:  Modal logics, especially dynamic epistemic logic
	Valentina Tamma     Lecturer email Ashton 2.12         Research Groups:  ARK Research Interests:  Ontologies in open and distributed environments  AI methods in dynamic knowledge evolution & adaptation  Ontology design, ontology management, semantic integration  ontology evolution  knowledge acquisition
	Frank Wolter     Professor email Ashton 1.14       Research Groups:  ARK  Verification Research Interests:  Knowledge Representation  Reasoning and Logic in Computer Science