Research
Design and analysis, both theoretical and empirical, of modal and temporal theorem provers
Proof methods for temporal logics of knowledge and belief, and more recently general frameworks for the combination of temporal and modal logics
Development of decision procedures for web ontology languages
Research grants
9th International Symposium on Temporal Representation and Reasoning (TIME-2002).
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
July 2002 - December 2002
Knowledge representation and reasoning about distances.
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
January 2004 - January 2007
Practical reasoning approaches for web ontologies and multi-agent systems.
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
December 2006 - November 2009
Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
September 2007 - November 2007
Research collaborations
Baumgartner P
National ICT Australia (NICTA)
Collaboration on SBVR and Non-Monotonic Logic
Schmidt RA
University of Manchester, UK
Collaboration on modal reasoning, reasoning in description logics, decidable fragments of first-order logic.