Knowledge Representation Group

Academic Staff

Prof. Trevor Bench-Capon
Local publication listGoogle ScholarDBLP
Practical reasoning, value based reasoning, legal reasoning, argumentation and narrative
Prof. Paul Dunne
Local publication listGoogle ScholarDBLP
Algorithms and complexity in abstract argumentation formalisms, analysis of argumentation frameworks and semantics via combinatorial paradigms
Dr Andre Hernich
Local publication listGoogle ScholarDBLP
Databases; Information integration; Data streaming; Logic and its applications to computer science (in particular, Finite model theory); Complexity theory
Prof. Boris Konev
Local publication listGoogle ScholarDBLP
Head of Group
Description logic, ontologies, automated reasoning, temporal logic, specification and verification formalisms, proof complexity, deduction systems, and practical applications of formal techniques
Dr. Valentina Tamma
Local publication listGoogle ScholarDBLP
Ontology engineering and its application to Open environments, Meaning negotiation, Ontology Evaluation
Prof. Wiebe van der Hoek
Local publication listGoogle ScholarDBLP
Epistemic Logic, Dynamic Epistemic Logic, Extended Modal Logic
Prof. Frank Wolter
Local publication listGoogle ScholarDBLP
Knowledge Representation and Reasoning, Logic in Computer Science, Modal, Temporal, Description, and Spatial Logics

Research Fellows and Assistants

Dr. Zoe Christoff
Local publication listGoogle ScholarDBLP
dynamic logic and social epistemology, modal logics, graph theory, social choice theory, formal learning theory, self-reference problems, foundations of mathematics and limitative results in logic.
Louwe Kuijer
Local publication listGoogle ScholarDBLP
modal logic, dynamic epistemic logic, circularity, model checking, satisfiability checking
Dr. Fabio Papacchini
Local publication listGoogle ScholarDBLP
Knowledge Representation, OBDA, Query Answering, Rewriting, Automated Reasoning, Tableaux Methods, Modal Logics, Description Logics and Model Generation

PhD Students