Sciweavers

87
Voted
LOGCOM
1998
80views more  LOGCOM 1998»
14 years 11 months ago
Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus
The Situation Calculus is a logic of time and change in which there is a distinguished initial situation ¡£¢ and all other situations arise from the different sequences of acti...
Javier Pinto