Name:	Dr U Hustadt
Organisation:	University of Liverpool
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/F014058/1 Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving (C) EP/D060451/1 Practical Reasoning Approaches for Web Ontologies and Multi-Agent Systems (P) GR/T08210/01 Visiting Fellowship in Computational Logic (C) GR/S61966/01 Knowledge Representation & Reasoning about Distances (C) GR/R96514/01 9th International Symposium on Temporal Representation and Reasoning (TIME-2002) (C) GR/R45376/01 Analysis and Mechanisation of Decidable First-Order Temporal Logics (C) GR/M88761/01 PROOF METHODS FOR MULTI-AGENT SYSTEMS (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator