Research



Research interests

Broadly my research is situated in computational logic and automated reasoning. My main research involves the development and theoretical analysis of reasoning methodologies and automated reasoning tools as well as applying these in areas such as artificial intelligence, knowledge representation, agent-based systems and mathematics. Specific topics of interest are:

Publications


Software

I have been actively involved in the development of a range of reasoning tools. These include:

More resources on the web


Research projects

May 2010 to Mar 2014
Automated Prover Generation, funded by the EPSRC.
Principal investigator.
Oct 2007 to Sep 2010
Consequence Relations in Logics of AI, collaborative research project with Manchester Metropolitan University funded by the EPSRC.
Principal investigator.
Jan 2007 to Dec 2009
Practical Reasoning Approaches for Web Ontologies and Multi-Agent Systems, collaborative research project with the University of Liverpool funded by the EPSRC.
Principal investigator.
Jan 2001 to Jan 2004
Proof Methods for Multi-Agent Systems, collaborative research project with the University of Liverpool funded by the EPSRC.
Principal investigator.
2001 to 2005
Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274.
Consulted expert and active participant.
Aug 1999 to Aug 2002
Path-Based Reasoning for Guarded Formulae, PhD Project funded by the EPSRC.
Principal investigator.
1998 to 1999
Verification and Animation of Agent Theories, UK-Dutch Joint Scientific Resesearch Project with Wiebe van der Hoek, Department of Computer Science, Utrecht University, funded by a British Council/NWO research grant.
Principal investigator.
1995 to 1997
Transformation of Logical Systems (TRALOS) funded by the Deutsche Forschungsgesellschaft.
Investigator.
1993 to 1995
Construction of Non-Classical Logics funded by the German-French PROCOPE Programme, Deutscher Akademischer Austauschdienst. Partners: Univ. Paul Sabatier and Inst. de Recherche CNRS.
Investigator.
1991 to 199?
Techniques for Inference in Communicating Systems (TICS), Project D2 of the SFB 314, funded by the Deutsche Forschungsgesellschaft. In cooperation with the Project Processing Arguments Between Controversially Minded Actors (Department of Computer Science, Saarbrücken).
Investigator.

Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 14 Apr 17
Copyright © 1998-2016 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk