| EPSRC Reference: |
GR/M46631/02 |
| Title: |
MECHANISING FIRST - ORDER TEMPORAL LOGIC |
| Principal Investigator: |
Fisher, Professor M |
| Other Investigators: |
|
| 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: |
|
| 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 |