Logical Theories and Decision Procedures
for Reasoning about Physical Systems

An EPSRC funded computer science project (GR/K65041)

The project was based at the School of Computer Studies of the University of Leeds

It ran from August 1995 until December 1998.

Personnel

  • Principal Investigator - Professor Anthony Cohn
  • Research Officer - Brandon Bennett
  • Research Assistant - Dr Amar Isli

    A summary of the final report detailing the achievements of this project is available here .

    * Further information about the project

    * Software Development

    Related Groups and Projects

  • The Leeds Qualitative Spatial Reasoning Group (QSR)
  • European Qualitative Spatial Reasoning Network (Spacenet)
  • Leeds Centre for Theoretical Computer Science (QSR)
  • Affiliates and Beneficiaries of the Project (A&B)

    * Other Relevant Internet Sites

    B. Bennett (brandon@comp.leeds.ac.uk)
    A.G. Cohn (agc@comp.leeds.ac.uk)