Photo of Dr Ullrich Hustadt

Dr Ullrich Hustadt Dr

Reader Computer Science

    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 (EPSRC)

    July 2002 - December 2002

    Knowledge representation and reasoning about distances.

    ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

    January 2004 - January 2007

    Practical reasoning approaches for web ontologies and multi-agent systems.

    ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

    December 2006 - November 2009

    Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving

    ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

    September 2007 - November 2007

    Research Collaborations

    Baumgartner P

    External: National ICT Australia (NICTA)

    Collaboration on SBVR and Non-Monotonic Logic

    Schmidt RA

    External: University of Manchester, UK

    Collaboration on modal reasoning, reasoning in description logics, decidable fragments of first-order logic.