Details of Grant 

EPSRC Reference:	GR/K54946/01
Title:	RELATION ALGEBRAS OF ACTION AND INDETERMINACY
Principal Investigator:	Hodkinson, Professor I
Other Investigators:	Reynolds, Dr M
Researcher Co-Investigators:
Project Partners:
Department:	Computing
Organisation:	Imperial College London
Scheme:	Standard Research (Pre-FEC)
Starts:	01 August 1995	Ends:	31 January 1998	Value (£):	228,242
EPSRC Research Topic Classifications:	Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:
Summary on Grant Application Form
Relations need to be handles in almost every branch of computer science. In many cases this is a straight-forward matter, but often, especially with higher-order relations, reasoning about relations is computationally intractable, leading to combinatorial explosion. To mitigate this problem, restrictions can be placed on the relations used, but this can lead to decreased expressivity. In this proposal, we try to optimise the trade-off between expressive power and tractability, in the framework of algebraic logic. We will apply algebraic logic to new applications, and at the same time broaden and deepen our understanding of the theory. We will refine the techniques in actual applications of branching time, multi-intervals, algebras of action, probabilistic relation algebras, planning with environment, bisimulation and observational equivalence of reactive XXXX and generally the handling of non-determinism.
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.imperial.ac.uk