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
	Trevor Bench-Capon     Professor email Ashton 3.16         Research Groups:  ARK Research Interests:  Practical reasoning  value based reasoning  legal reasoning, argumentation and narrative
	Frans Coenen     Professor email Ashton 2.02         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
	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 Ashton 2.13         Research Groups:  ACTO  ARK Research Interests:  Modal logics, especially dynamic epistemic logic
	Fabio Papacchini     University Teacher email Ashton 1.09       Research Groups:  ARK Research Interests:  Knowledge Representation  OBDA  Query Answering, Rewriting  Automated Reasoning  Tableaux Methods  Modal Logics  Description Logics and Model Generation
	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