SitCalc: 
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.