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