|
|
Research projects
- 2010-now,
Automated Prover Generation
(funded by EPSRC).
- 2007-2009,
Practical Reasoning Approaches for Web Ontologies and Multi-Agent Systems
(funded by EPSRC).
- 2004-2007,
Knowledge Representation and Reasoning about Distances
(funded by EPSRC).
- 2001-2004,
Proof Methods for Multi-Agent Systems
(funded by EPSRC).
- 2000-2001, Non-Classical Logics
(funded by the Russian Fund for the Humanities),
PI: Prof. L. Maksimova.
- 1997-1998, Non-Classical Logics
(funded by the Russian Fund for the Humanities),
PI: Prof. L. Maksimova.
- 1995-1997, Non-Traditional
Logical Systems and Logical and Algebraic Aspects of Computer Science
(funded by the Russian Federation State Committee for Higher Education),
PI: Prof. L. Maksimova.
Selected publications
Colleagues
|
Research interests
- Modal and temporal logics
- Knowledge representation and reasoning
- Description logics
- Multi-agent systems
- Automated theorem proving
- Intuitionistic and intermediate logics
- Algebraisation of logics
|
|
|
|