Argumentation and Representation of Knowledge Group

Academic Staff

Prof. Katie Atkinson		AI and Law, computational models of argument, dialogue games
Dr. Jacopo de Berardinis
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