| EPSRC Reference: |
GR/M46624/01 |
| Title: |
MECHANISING FIRST - ORDER TEMPORAL LOGICS |
| Principal Investigator: |
Smaill, Dr A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Informatics |
| Organisation: |
University of Edinburgh |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
05 July 1999 |
Ends: |
04 July 2002 |
Value (£): |
52,432
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
This project involves the investigation of efficient theorum proving procedures for first order temporal logic. The motivation for the project is ckearly described and a viable research programme for achieving a first step towards a much more ambitious target is presented. The principal investigations are world class in this area.I like this proposal because of the potential energy 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 an 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.ed.ac.uk |