{"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":1761620773381},"reference-count":37,"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)00125-2","type":"journal-article","created":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T01:37:28Z","timestamp":1051753048000},"page":"245-298","source":"Crossref","is-referenced-by-count":70,"title":["Representing actions in logic programs and default theories a situation calculus approach"],"prefix":"10.1016","volume":"31","author":[{"given":"Hudson","family":"Turner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0743-1066(96)00125-2_bib1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","article-title":"Nonmonotonic Reasoning in the Framework of Situation Calculus","volume":"49","author":"Baker","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(96)00125-2_bib2","series-title":"Proceedings of IJCAI-95","first-page":"2017","article-title":"Reasoning about Actions: Non-Deterministic Effects, Constraints, and Qualifications","author":"Baral","year":"1995"},{"key":"10.1016\/S0743-1066(96)00125-2_bib3","series-title":"Proceedings of IJCAI-93","first-page":"866","article-title":"Representing Concurrent Actions in Extended Logic Programming","author":"Baral","year":"1993"},{"issue":"5","key":"10.1016\/S0743-1066(96)00125-2_bib4","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1093\/logcom\/3.5.517","article-title":"How to Do Things with Worlds: On Formalizing Actions and Plans","volume":"3","author":"Brewka","year":"1993","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S0743-1066(96)00125-2_bib5","series-title":"Logic Programming: Proceedings of the 1993 International Symposium","first-page":"147","article-title":"Representing Incomplete Knowledge in Abductive Logic Programming","author":"Denecker","year":"1993"},{"key":"10.1016\/S0743-1066(96)00125-2_bib6","series-title":"Logic Programming: Proceedings of the 10th International Conference","first-page":"7","article-title":"Representing Actions in Logic Programming and Its Applications in Database Updates","author":"Dung","year":"1993"},{"key":"10.1016\/S0743-1066(96)00125-2_bib7","series-title":"Proceedings of the 1992 Canadian Conference on Artificial Intelligence","article-title":"Reasoning about Action in First-Order Logic","author":"Elkan","year":"1992"},{"key":"10.1016\/S0743-1066(96)00125-2_bib8","series-title":"Proceedings of AAAI-90","first-page":"524","article-title":"Causal Theories of Nonmonotonic Reasoning","author":"Geffner","year":"1990"},{"key":"10.1016\/S0743-1066(96)00125-2_bib9","series-title":"Working Notes of the AAAI Spring Symposium on Extending Theories of Action","first-page":"80","article-title":"Actions with Indirect Effects (Extended Abstract)","author":"Giunchiglia","year":"1995"},{"key":"10.1016\/S0743-1066(96)00125-2_bib10","series-title":"Logic Programming: Proceedings of the Fifth International Conference and Symposium","first-page":"1070","article-title":"The Stable Model Semantics for Logic Programming","author":"Gelfond","year":"1988"},{"key":"10.1016\/S0743-1066(96)00125-2_bib11","series-title":"Logic Programming: Proceedings of the 7th International Conference","first-page":"579","article-title":"Logic Programs with Classical Negation","author":"Gelfond","year":"1990"},{"key":"10.1016\/S0743-1066(96)00125-2_bib12","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","article-title":"Classical Negation in Logic Programs and Disjunctive Databases","volume":"9","author":"Gelfond","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/S0743-1066(96)00125-2_bib13","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","article-title":"Representing Action and Change by Logic Programs","volume":"17","author":"Gelfond","year":"1993","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(96)00125-2_bib14","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 2nd International Conference","first-page":"230","article-title":"Disjunctive Defaults","author":"Gelfond","year":"1991"},{"key":"10.1016\/S0743-1066(96)00125-2_bib15","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(88)90020-3","article-title":"Reasoning about Actions II: The Qualification Problem","volume":"35","author":"Ginsberg","year":"1988","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S0743-1066(96)00125-2_bib16","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","article-title":"Nonmonotonic Logic and Temporal Projection","volume":"33","author":"Hanks","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(96)00125-2_bib17","series-title":"Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning","first-page":"341","article-title":"Actions with Indirect Effects (Preliminary Report)","author":"Kartha","year":"1994"},{"key":"10.1016\/S0743-1066(96)00125-2_bib18","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/0004-3702(90)90021-Q","article-title":"Frames in the Space of Situations","volume":"46","author":"Lifschitz","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(96)00125-2_bib19","series-title":"Proceedings AAAI-93","first-page":"432","article-title":"Restricted Monotonicity","author":"Lifschitz","year":"1993"},{"key":"10.1016\/S0743-1066(96)00125-2_bib20","series-title":"Proceedings of IJCAI-95","first-page":"1985","article-title":"Embracing Causality in Specifying the Indirect Effects of Actions","author":"Lin","year":"1995"},{"issue":"5","key":"10.1016\/S0743-1066(96)00125-2_bib21","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"},{"key":"10.1016\/S0743-1066(96)00125-2_bib22","series-title":"Proceedings Eleventh International Conference on Logic Programming","first-page":"23","article-title":"Splitting a Logic Program","author":"Lifschitz","year":"1994"},{"key":"10.1016\/S0743-1066(96)00125-2_bib23","series-title":"Non-Monotonic Extensions of Logic Programming","first-page":"23","article-title":"From Disjunctive Programs to Abduction","volume":"927","author":"Lifschitz","year":"1995"},{"issue":"3","key":"10.1016\/S0743-1066(96)00125-2_bib24","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1016\/0004-3702(88)90022-7","article-title":"The Anomalous Extension Problem in Default Reasoning","volume":"35","author":"Morris","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(96)00125-2_bib25","series-title":"Revision Programming","author":"Marek","year":"1993"},{"key":"10.1016\/S0743-1066(96)00125-2_bib26","series-title":"Logics in AL Proceedings of JELIA '94","article-title":"Revision Specifications by Means of Programs","author":"Marek","year":"1994"},{"key":"10.1016\/S0743-1066(96)00125-2_bib27","series-title":"Proceedings of the 5th International Conference on Database Theory","first-page":"368","article-title":"Revision Programming, Database Updates and Integrity Constraints","author":"Marek","year":"1995"},{"key":"10.1016\/S0743-1066(96)00125-2_bib28","series-title":"Proceedings of IJCAI-95","first-page":"1978","article-title":"A Causal Theory of Ramifications and Qualifications","author":"McCain","year":"1995"},{"key":"10.1016\/S0743-1066(96)00125-2_bib29","series-title":"Proceedings of the 3rd International Conference on Logic Programming and Non-monotonic Reasoning","first-page":"156","article-title":"Update by Means of Inference Rules","author":"Przymusinski","year":"1995"},{"issue":"1\/2","key":"10.1016\/S0743-1066(96)00125-2_bib30","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A Logic for Default Reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(96)00125-2_bib31","series-title":"Features and Fluents","author":"Sandewall","year":"1994"},{"key":"10.1016\/S0743-1066(96)00125-2_bib32","series-title":"Logic Programming: Proceedings of the 11th International Conference","first-page":"207","article-title":"Representing Actions in Equational Logic Programming","author":"Thielscher","year":"1994"},{"key":"10.1016\/S0743-1066(96)00125-2_bib33","series-title":"Proceedings of IJCAI-95","first-page":"1994","article-title":"Computing Ramifications by Postprocessing","author":"Thielscher","year":"1995"},{"key":"10.1016\/S0743-1066(96)00125-2_bib34","series-title":"Logic Programming: Proceedings of the 1994 International Symposium","first-page":"61","article-title":"Signed Logic Programs","author":"Turner","year":"1994"},{"key":"10.1016\/S0743-1066(96)00125-2_bib35","series-title":"Working Papers of the Third Symposium on Logic Formalizations of Commonsense Reasoning","article-title":"Representing Actions in Default Logic: A Situation Calculus Approach","author":"Turner","year":"1996"},{"key":"10.1016\/S0743-1066(96)00125-2_bib36","unstructured":"Turner, H., Splitting a Default Theory, in: Proceedings of AAAI-96, to appear."},{"key":"10.1016\/S0743-1066(96)00125-2_bib37","series-title":"Proceedings of AAAI-88","first-page":"89","article-title":"Reasoning about Action Using a Possible Models Approach","author":"Winslett","year":"1988"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106696001252?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106696001252?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T14:22:18Z","timestamp":1555424538000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0743106696001252"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":37,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["S0743106696001252"],"URL":"https:\/\/doi.org\/10.1016\/s0743-1066(96)00125-2","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}