Argumentation and Representation of Knowledge Group

Academic Staff

Prof. Katie Atkinson
Local publication listGoogle ScholarDBLP
AI and Law, computational models of argument, dialogue games
Prof. Trevor Bench-Capon
Local publication listGoogle ScholarDBLPOrcID
Practical reasoning, value based reasoning, legal reasoning, argumentation and narrative
Prof. Frans Coenen
Local publication listGoogle ScholarDBLPOrcID
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.
Prof. Paul Dunne
Local publication listGoogle ScholarDBLPOrcID
Algorithms and complexity in abstract argumentation formalisms, analysis of argumentation frameworks and semantics via combinatorial paradigms
Dr. Floriana Grasso
Local publication listGoogle ScholarDBLPOrcID
Argument and Computation, Computational Rhetoric, User Modelling
Prof. Boris Konev
Local publication listGoogle ScholarDBLP
Description logics, ontologies, automated reasoning, temporal logic, specification and verification formalisms, proof complexity, deduction systems, and practical applications of formal methods
Dr. Louwe Kuijer
Local publication listGoogle ScholarDBLPOrcID
Modal logics, especially dynamic epistemic logic
Dr. Fabio Papacchini
Local publication listGoogle ScholarDBLP
Knowledge Representation, OBDA, Query Answering, Rewriting, Automated Reasoning, Tableaux Methods, Modal Logics, Description Logics and Model Generation
Dr. Valentina Tamma
Local publication listGoogle ScholarDBLPOrcID
Ontologies in open and distributed environments. AI methods in dynamic knowledge evolution & adaptation. Ontology design, ontology management, semantic integration, ontology evolution, and knowledge acquisition
Prof. Frank Wolter
Local publication listGoogle ScholarDBLP
Head of Group
Knowledge Representation and Reasoning and Logic in Computer Science

Research Fellows and Assistants

Marie Fortin
Logic in computer science, formal verification of concurrent systems, ontologies and description logics, automata theory
Jack Mumford
Google Scholar
intersection of neural networks (subsymbolic) and argumentation semantics (symbolic)

PhD Students

David Bareham
Andrew Roxburgh
Local publication listGoogle Scholar
Mobile and web technologies as digital interventions