| EPSRC Reference: |
GR/N08117/01 |
| Title: |
VISITING FELLOWSHIP FOR PROFESSOR REGIMANTAS PLIUSKEVICIUS |
| Principal Investigator: |
Fisher, Professor M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing and Mathematics |
| Organisation: |
Manchester Metropolitan University |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
23 May 2000 |
Ends: |
31 December 2000 |
Value (£): |
10,674
|
| EPSRC Research Topic Classifications: |
| Artificial Intelligence |
Fundamentals of Computing |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
This proposal for visiting fellowship for Professor Regimantas Pliuskevicius of the Dept of Mathematical Logic, Institute of Mathematics and Informatics, Vilnius, Lithuania to support a 2 month visit to the Centre for Agent Research and Development at the Manchester Metropolitan University at any time within the period May 2000 to April 2001. Professor Pliuskevicius is well known for his important contributions to logic and computer science, particularly in developing proof methods for first order temporal logics, and this fellowship is primarily concerned with fostering collaboration regarding this topic between Professor Pliuskevicius and those working (at both Manchester Metropolitan University and the University of Edinburgh) on the Mechanising First-Order Temporal Logics project. However, Professor Pliuskeviciuss work on fixpoint temporal logic also likely to have a beneficial impact upon our Developing Clausal Resolution for the Temporal - Calculus project, which is entering its middle phase.
|
|
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.mmu.ac.uk |