Argumentation and Representation of Knowledge Group
Academic Staff
Prof. Katie Atkinson ![]() ![]() ![]() | AI and Law, computational models of argument, dialogue games | |
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 | |
Andrew Roxburgh ![]() ![]() ![]() ![]() | Mobile and web technologies as digital interventions | |
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 |
Research Staff
Jack Mumford ![]() ![]() ![]() | intersection of neural networks (subsymbolic) and argumentation semantics (symbolic) |
Maintained by webmaster@csc.liv.ac.uk