EPSRC logo

Details of Grant 

EPSRC Reference: GR/M46631/02
Title: MECHANISING FIRST - ORDER TEMPORAL LOGIC
Principal Investigator: Fisher, Professor M
Other Investigators:
Degtyarev, Dr A Quigley, Mr P
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: University of Liverpool
Scheme: Standard Research (Pre-FEC)
Starts: 19 February 2001 Ends: 18 March 2003 Value (£): 90,670
EPSRC Research Topic Classifications:
Artificial Intelligence
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
This project involoves the investigation of efficient theorem proving procedures for first order temporal logic. The motivation for the project is clearly described and a viable research programme for achieving a first step towards a much more ambitious target is presented. The principal investigators are world class in this area.I like this proposal because of the potential synergy between two groups that have been working on rather different topics over recent years. The Manchester Metropolitan Group brings world class expertise on temporal logics, while the Edinburgh group brings world class expertise on proof planning and induction schemas. I believe there is every chance of this collaboration producing something particularly interesting.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.liv.ac.uk