| EPSRC Reference: |
GR/T28669/01 |
| Title: |
Proof Procedures Based on Graphs |
| Principal Investigator: |
Gabbay, Professor D |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Kings College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 August 2004 |
Ends: |
31 January 2006 |
Value (£): |
26,374
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The two investigators started their collaboration on graph based proof procedures several years ago and the purpose of this project is to finalise this long-standing collaboration by solving some of the still open problems and by writing a text book and an academic monograph on these subjects. Machine oriented proof procedures play an important role in artificial intelligence, deduction systems for formal software development and in mathematical assistant systems.Graphs that encode potential inference steps into the basic representation of formulae are an interesting technique to enhance the performance of the,, deduction systems.
|
|
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: |
|