People – Argumentation and representation of knowledge (ARK)
More information about our group’s activities can be found on the official website.
Academic Staff
![]() |
Professor email EEE, 607 Research Groups: ARK Research Interests: AI and Law computational models of argument dialogue games |
![]() |
Professor email Research Groups: ARK Research Interests: Practical reasoning value based reasoning legal reasoning, argumentation and narrative |
![]() |
Professor email Ashton 3.11 Research Groups: ARK Research Interests: Machine learning and big data analytics in the context of unusual data sets Data mining over encrypted data and applications of machine learning in the fields of personalised health, infectious diseases and AI and Law |
![]() |
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 |
![]() |
Lecturer email Ashton G.16 Research Groups: ARK Research Interests: Argument and Computation Computational Rhetoric User Modelling |
![]() |
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 |
![]() |
Lecturer email Ashton 2.13 Research Interests: Modal logics, especially dynamic epistemic logic |
![]() |
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 |
![]() |
Professor email Ashton 1.14 Research Groups: ARK Verification Research Interests: Knowledge Representation Reasoning and Logic in Computer Science |