Situation Calculus - 
Modularization, reification and distribution

PRAXIS XXI Project 2/2.1/MAT/262/94: Oct96-Sep98.

A project of the Logic and Computation Group

The action was aimed at establishing the Situation Calculus (SC) as an alternative to Temporal Logic for specifying concurrent, reactive systems.

Main tasks

Some relevant papers

Last update: January 26, 1999.