{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:06:13Z","timestamp":1761620773201},"reference-count":31,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":5953,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1016\/s0743-1066(96)00122-7","type":"journal-article","created":{"date-parts":[[2003,4,30]],"date-time":"2003-04-30T21:37:28Z","timestamp":1051738648000},"page":"299-330","source":"Crossref","is-referenced-by-count":10,"title":["Rules as actions: A situation calculus semantics for logic programs"],"prefix":"10.1016","volume":"31","author":[{"given":"Fangzhen","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ray","family":"Reiter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0743-1066(96)00122-7_bib1","series-title":"Logic and Databases","first-page":"293","article-title":"Negation as Failure","author":"Clark","year":"1978"},{"issue":"4","key":"10.1016\/S0743-1066(96)00122-7_bib2","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","article-title":"A Kripke-Kleene Semantics for Logic Programs","volume":"2","author":"Fitting","year":"1985","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(96)00122-7_bib3","series-title":"Proceedings Fifth International Conference and Symposium on Logic Programming","first-page":"1070","article-title":"The Stable Model Semantics for Logic Programming","author":"Gelfond","year":"1988"},{"key":"10.1016\/S0743-1066(96)00122-7_bib4","series-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 69)","first-page":"219","article-title":"Application of Theorem Proving to Problem Solving","author":"Green","year":"1969"},{"key":"10.1016\/S0743-1066(96)00122-7_bib5","series-title":"The Frame Problem in Artificial Intelligence","first-page":"343","article-title":"The Case for Domain-Specific Frame Axioms","author":"Haas","year":"1987"},{"issue":"4","key":"10.1016\/S0743-1066(96)00122-7_bib6","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","article-title":"Negation in Logic Programming","volume":"4","author":"Kunen","year":"1987","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(96)00122-7_bib7","doi-asserted-by":"crossref","unstructured":"Levesque, H. J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., and Scherl, R., GOLOG: A Logic Programming Language for Dynamic Domains, Journal of Logic Programming 31(1\u20133): 59\u201383.","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"10.1016\/S0743-1066(96)00122-7_bib8","series-title":"Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI 86)","first-page":"406","article-title":"Pointwise Circumscription","author":"Lifschitz","year":"1986"},{"key":"10.1016\/S0743-1066(96)00122-7_bib9","series-title":"Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87)","first-page":"966","article-title":"Formal Theories of Action","author":"Lifschitz","year":"1987"},{"key":"10.1016\/S0743-1066(96)00122-7_bib10","series-title":"A Situation Calculus Semantics for the Prolog Cut Operator","author":"Lin","year":"1995"},{"issue":"5","key":"10.1016\/S0743-1066(96)00122-7_bib11","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1093\/logcom\/4.5.655","article-title":"State Constraints Revisited","volume":"4","author":"Lin","year":"1994","journal-title":"Journal of Logic and Computation, Special Issue on Actions and Processes"},{"key":"10.1016\/S0743-1066(96)00122-7_bib12","series-title":"Working Notes of AAAI Fall Symposium on Relevance, American Association for Artificial Intelligence","first-page":"154","article-title":"Forget It!","author":"Lin","year":"1994"},{"issue":"2","key":"10.1016\/S0743-1066(96)00122-7_bib13","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/201019.201021","article-title":"Provably Correct Theories of Action","volume":"42","author":"Lin","year":"1995","journal-title":"Journal of the ACM"},{"key":"10.1016\/S0743-1066(96)00122-7_bib14","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/S0743-1066(96)00122-7_bib15","series-title":"Semantic Information Processing","first-page":"410","article-title":"Situations, Actions and Causal Laws","author":"McCarthy","year":"1968"},{"key":"10.1016\/S0743-1066(96)00122-7_bib16","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","article-title":"Applications of Circumscription to Formalizing Commonsense Knowledge","volume":"28","author":"McCarthy","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(96)00122-7_bib17","first-page":"463","article-title":"Some Philosophical Problems from the Standpoint of Artificial Intelligence","volume":"4","author":"McCarthy","year":"1969"},{"key":"10.1016\/S0743-1066(96)00122-7_bib18","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1111\/j.1467-8640.1988.tb00285.x","article-title":"Synthesizing Plans that Contain Actions with Context-Dependent Effects","volume":"4","author":"Pednault","year":"1988","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0743-1066(96)00122-7_bib19","series-title":"Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR'89)","first-page":"324","article-title":"ADL: Exploring the Middle Ground between STRIPS and the Situation Calculus","author":"Pednault","year":"1989"},{"key":"10.1016\/S0743-1066(96)00122-7_bib20","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"193","article-title":"On the Declarative Semantics of Deductive Databases and Logic Programs","author":"Przymusinski","year":"1988"},{"key":"10.1016\/S0743-1066(96)00122-7_bib21","series-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","first-page":"359","article-title":"The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression","author":"Reiter","year":"1991"},{"key":"10.1016\/S0743-1066(96)00122-7_bib22","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0004-3702(93)90109-O","article-title":"Proving Properties of States in the Situation Calculus","volume":"64","author":"Reiter","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(96)00122-7_bib23","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"659","article-title":"Optimizing Datalog Programs","author":"Sagiv","year":"1988"},{"key":"10.1016\/S0743-1066(96)00122-7_bib24","series-title":"Knowledge Representation and Defeasible Reasoning","first-page":"23","article-title":"Monotonic Solution to the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions","author":"Schubert","year":"1990"},{"key":"10.1016\/S0743-1066(96)00122-7_bib25","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0743-1066(93)90021-8","article-title":"Unfold\/Fold Transformation of General Logic Programs for the Well-Founded Semantics","volume":"15","author":"Seki","year":"1993","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(96)00122-7_bib26","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0004-3702(88)90085-9","article-title":"Chronological Ignorance: Experiments in Nonmonotonic Temporal Reasoning","volume":"36","author":"Shoham","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(96)00122-7_bib27","series-title":"Proceedings of the 2nd International Conference on Logic Programming","first-page":"127","article-title":"Unfold\/Fold Transformation of Logic Programs","author":"Tamaki","year":"1984"},{"issue":"2","key":"10.1016\/S0743-1066(96)00122-7_bib28","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0743-1066(89)90032-0","article-title":"Negation as Failure Using Tight Derivations for General Logic Programs","volume":"6","author":"Van Gelder","year":"1989","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(96)00122-7_bib29","series-title":"Proceedings Seventh ACM Symposium on Principles of Database Systems","first-page":"221","article-title":"Unfounded Sets and Well-Founded Semantics for General Logic Programs","author":"Van Gelder","year":"1988"},{"key":"10.1016\/S0743-1066(96)00122-7_bib30","first-page":"94","article-title":"Achieving Several Goals Simultaneously","author":"Waldinger","year":"1977"},{"key":"10.1016\/S0743-1066(96)00122-7_bib31","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0743-1066(93)90041-E","article-title":"Tight, Consistent, and Computable Completions for Unrestricted Logic Programs","volume":"15","author":"Wallace","year":"1993","journal-title":"Journal of Logic Programming"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106696001227?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106696001227?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T10:22:17Z","timestamp":1555410137000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0743106696001227"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":31,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["S0743106696001227"],"URL":"https:\/\/doi.org\/10.1016\/s0743-1066(96)00122-7","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}