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:  KR

Research Interests:  AI and Law  Computational Models Of Argument  Dialogue Games  Artificial Intelligence  Reasoning  Explainable AI

Floriana Grasso    

Senior Lecturer email Ashton G.16        

Research Groups:  KR

Research Interests:  Argument and Computation  Computational Rhetoric  User Modelling  Argumentation  Computational Linguistics  Discourse Modelling  Rhetoric  Persuasive Communication

Boris Konev    

Professor email Ashton 1.15      

Research Groups:  KR  Verification

Research Interests:  Ontologies  Temporal Logic  Verification Formalisms  Deduction Systems  Specification

Louwe Kuijer      

Lecturer email Holt 215a        

Research Groups:  KR

Research Interests:  Modal Logics  Dynamic Epistemic Logic  Reasoning  Knowledge Representation

Valentina Tamma    

Senior Lecturer email Ashton 2.12        

Research Groups:  KR

Research Interests:  Ontologies  Dynamic Knowledge Evolution  Knowledge Acquisition  Semantic Web  Agents

Frank Wolter    

Professor email Ashton 1.14      

Research Groups:  KR  Verification

Research Interests:  Knowledge Representation  Reasoning  Logic  Ontologies