Knowledge Representation Group

Academic Staff

Prof. Trevor Bench-Capon		Practical reasoning, value based reasoning, legal reasoning, argumentation and narrative
Prof. Paul Dunne		Algorithms and complexity in abstract argumentation formalisms, analysis of argumentation frameworks and semantics via combinatorial paradigms
Prof. Boris Konev		Head of Group 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. Wiebe van der Hoek		Knowledge Representation, Logic, Logics for Knowledge and Belief, Logics for games
Prof. Frank Wolter		Knowledge Representation and Reasoning and Logic in Computer Science