Difference between revisions of "1991 TheFrameProbleminSituationtheCa"

From GM-RKB
Jump to: navigation, search
m (Text replacement - "sign in Or Create</a> a Free Web Account</a> " to " ")
m (Text replacement - " Yoav Shoham" to " Yoav Shoham")
 
Line 184: Line 184:
 
* 166. Marc Denecker, The Well-Founded Semantics Is the Principle of Inductive Definition, Proceedings of the European Workshop on Logics in Artificial Intelligence, p.1-16, October 12-15, 1998
 
* 166. Marc Denecker, The Well-Founded Semantics Is the Principle of Inductive Definition, Proceedings of the European Workshop on Logics in Artificial Intelligence, p.1-16, October 12-15, 1998
 
* 167. Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo, Encoding Solutions of the Frame Problem in Dynamic Logic, Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, p.240-253, September 17-19, 2001
 
* 167. Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo, Encoding Solutions of the Frame Problem in Dynamic Logic, Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, p.240-253, September 17-19, 2001
* 168. Fangzhen Lin, Yoav Shoham, Provably Correct Theories of Action, Journal of the ACM (JACM), v.42 n.2, p.293-320, March 1995
+
* 168. Fangzhen Lin, [[Yoav Shoham]], Provably Correct Theories of Action, Journal of the ACM (JACM), v.42 n.2, p.293-320, March 1995
 
* 169. Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Bounded Situation Calculus Action Theories and Decidable Verification, Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, June 10-14, 2012, Rome, Italy
 
* 169. Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Bounded Situation Calculus Action Theories and Decidable Verification, Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, June 10-14, 2012, Rome, Italy
 
* 170. Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, On the Semantics of Deliberation in Indigolog — from Theory to Implementation, Annals of Mathematics and Artificial Intelligence, v.41 n.2-4, p.259-299, August 2004
 
* 170. Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, On the Semantics of Deliberation in Indigolog — from Theory to Implementation, Annals of Mathematics and Artificial Intelligence, v.41 n.2-4, p.259-299, August 2004

Latest revision as of 14:40, 13 August 2019

AuthorRaymond Reiter +
titleThe Frame Problem in Situation the Calculus: A Simple Solution (sometimes) and a Completeness Result for Goal Regression +
year1991 +