| EPSRC Reference: |
EP/F068530/1 |
| Title: |
Overseas Visit in Automated Model Building |
| Principal Investigator: |
Schmidt, Dr RA |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Manchester, The |
| Scheme: |
Overseas Travel Grants (OTGS) |
| Starts: |
04 June 2008 |
Ends: |
03 September 2008 |
Value (£): |
23,852
|
| 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 projects requests funding for a short overseas visit of the PI to NICTA (Canberra), Australia's ICT Research Centre of Excellence, in order to work together with Prof Peter Baumgartner and Dr Rajeev Gore on the topic of automated model building. Prof Baumgartner is a leading expert in the area of automated reasoning with special expertise relating to model building and first-order theorem proving. He has extensive expertise in instantiation methods, first-order Davis-Putnam, model generation and the development and implementation of theorem provers. Dr Gore is a well-known expert in proof theory and non-classical logic, including tableaux methods, regular grammar modal logics and description logics.The project has two main objectives: (i) Investigating the paradigm of bottom-up model generation methods and work on the development of stronger, more efficient and more general model generation methods. (ii) Exploiting the developed techniques for devising and implementing novel model generation and automated reasoning methodologies for description logics and modal-type logics.Model building is hugely important for testing, validation and verification purposes, for instance, software testing, testing of multi-agent systems, validation of ontologies, verification of ontology reasoners. They can be used for fault analysis, verification of systems, and they can be used for validation of data models.
|
|
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.man.ac.uk |