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 Lawcomputational models of argumentdialogue games

Trevor Bench-Capon

Professor email    

Research Groups:  ARK

Research Interests:  Practical reasoningvalue based reasoninglegal reasoning, argumentation and narrative

Frans Coenen

Professor email Ashton 3.11    

Research Groups:  ARK

Research Interests:  Machine learning and big data analytics in the context of unusual data setsData mining over encrypted data and applications of machine learning in the fields of personalised health, infectious diseases and AI and Law

Paul Dunne

Professor email Ashton 2.04    

Research Groups:  ARK

Research Interests:  Algorithms and complexity in abstract argumentation formalismsanalysis of argumentation frameworks and semantics via combinatorial paradigms

Floriana Grasso

Lecturer email Ashton G.16    

Research Groups:  ARK

Research Interests:  Argument and ComputationComputational RhetoricUser Modelling

Boris Konev

Professor email Ashton 1.15    

Research Groups:  ARKVerification

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 Ashton 2.13    

Research Groups:  ACTOARK

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 environmentsAI methods in dynamic knowledge evolution & adaptationOntology design, ontology management, semantic integrationontology evolutionknowledge acquisition

Frank Wolter

Professor email Ashton 1.14    

Research Groups:  ARKVerification

Research Interests:  Knowledge RepresentationReasoning and Logic in Computer Science