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    

Senior 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    

Senior 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