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