Name:	Dr RA Schmidt
Organisation:	University of Manchester, The
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/H043748/1 Automated Prover Generation (P) EP/F068530/1 Overseas Visit in Automated Model Building (P) EP/F014570/1 Consequence Relations in Logics of AI (P) EP/D056152/1 Practical Reasoning Approaches for Web Ontologies and Multi-Agent Systems (P) EP/D079926/1 PhD Training Programme at RelMiCS/AKA 2006 (P) GR/T08210/01 Visiting Fellowship in Computational Logic (P) GR/R57843/01 Optimizations of Multi-Agent Systems (P) GR/R92035/01 Decision Procedure for Description and Modal Logics (P) GR/M88761/01 PROOF METHODS FOR MULTI-AGENT SYSTEMS (P) GR/M36700/02 PATH-BASED REASONING ABOUT GUARDED FORMULAE (P) GR/M36700/01 PATH-BASED REASONING ABOUT GUARDED FORMULAE (P)

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