Determining Ramifications in the Situation Calculus

the middle ground between STRIPS and the situation calculus. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. As a trivial consequence of Theorem 4 and Theorem 5 we have the following Corollary. Corollary 1 In the hypotheses of Theorem 5, a value proposition C after A is a consequence of D ii the class of intended models of D entails do(A; S 0) 6 = ? C do(A;S0) .tan Kartha and Norm McCain for useful discussions on subjects related to this paper. Thanks to Vladimir Lifschitz and Hudson Turner for very useful comments on a early version of this paper. Research Council (CNR), under the projects \Sis-temi Autonomi Ragionanti e Intelligenti (SARI)" and \Analisi Sperimentale delle propriett a computazionali delle logiche per la rappresentazione della conoscenza".