{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:12:30Z","timestamp":1767237150740},"reference-count":32,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":5806,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1997,9]]},"DOI":"10.1016\/s0004-3702(97)00037-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T07:20:41Z","timestamp":1027581641000},"page":"409-438","source":"Crossref","is-referenced-by-count":38,"title":["Representing action: indeterminacy and ramifications"],"prefix":"10.1016","volume":"95","author":[{"given":"Enrico","family":"Giunchiglia","sequence":"first","affiliation":[]},{"given":"G.Neelakantan","family":"Kartha","sequence":"additional","affiliation":[]},{"given":"Vladimir","family":"Lifschitz","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(97)00037-4_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\/S0004-3702(97)00037-4_BIB2","series-title":"Proceedings IJCAI-93","first-page":"866","article-title":"Representing concurrent actions in extended logic programming","author":"Baral","year":"1993"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB3","doi-asserted-by":"crossref","DOI":"10.1023\/A:1005722130532","article-title":"Computing circumscription revisited: A reduction algorithm","author":"Doherty","year":"1997","journal-title":"J. Automated Reasoning"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB4","series-title":"Proceedings 10th International Conference on Logic Programming","first-page":"222","article-title":"Representing actions in logic programming and its applications in database updates","author":"Dung","year":"1993"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB5","series-title":"Proceedings 1992 Canadian Conference on Artificial Intelligence","article-title":"Reasoning about action in first-order logic","author":"Elkan","year":"1992"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB6","series-title":"Proceedings 3rd International Conference on Principles of Knowledge Representation and Reasoning","first-page":"425","article-title":"Quantifier elimination in second-order predicate logic","author":"Gabbay","year":"1992"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB7","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":"J. Logic Programming"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB8","series-title":"Working Notes of the Symposium on Extending Theories of Actions","article-title":"Actions with indirect effects (extended abstract)","author":"Giunchiglia","year":"1995"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB9","series-title":"Proceedings IJCAI-95","first-page":"1964","article-title":"Dependent fluents","author":"Giunchiglia","year":"1995"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB10","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\/S0004-3702(97)00037-4_BIB11","series-title":"Proceedings IJCAI-93","first-page":"724","article-title":"Soundness and completeness theorems for three formalizations of action","author":"Kartha","year":"1993"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB12","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(94)90089-2","article-title":"Two counterexamples related to Baker's approach to the frame problem","volume":"69","author":"Kartha","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB13_1","series-title":"Ph.D. Thesis","article-title":"A mathematical investigation of reasoning about actions","author":"Kartha","year":"1995"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB14","series-title":"Proceedings 4th 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\/S0004-3702(97)00037-4_BIB15","series-title":"Proceedings IJCAI-95","first-page":"1970","article-title":"A simple formalization of actions using circumscription","author":"Kartha","year":"1995"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB16","series-title":"Proceedings AAAI-93","first-page":"432","article-title":"Restricted monotonicity","author":"Lifschitz","year":"1993"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB17","first-page":"298","article-title":"Circumscription","volume":"Vol. 3","author":"Lifschitz","year":"1994"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB18","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1016\/0004-3702(95)98594-E","article-title":"Nested abnormality theories","volume":"74","author":"Lifschitz","year":"1995","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB19","doi-asserted-by":"crossref","DOI":"10.1023\/A:1018973620715","article-title":"Two components of an action language","author":"Lifschitz","year":"1997","journal-title":"Ann. Math. Artif. Intell."},{"key":"10.1016\/S0004-3702(97)00037-4_BIB20","series-title":"Proceedings AAAI-91","first-page":"349","article-title":"Provably correct theories of action (preliminary report)","author":"Lin","year":"1991"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB21","series-title":"Proceedings IJCAI-95","first-page":"1978","article-title":"A causal theory of ramifications and qualifications","author":"McCain","year":"1995"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB22_1","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","article-title":"Applications of circumscription to formalizing common sense knowledge","volume":"26","author":"McCarthy","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB22_2","series-title":"Formalizing Common Sense: Papers by John McCarthy","author":"McCarthy","year":"1990"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB23","series-title":"Formalizing Common Sense: Papers by John McCarthy","author":"McCarthy","year":"1990"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB24","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"Vol. 4","author":"McCarthy","year":"1969"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB25","series-title":"Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning","first-page":"324","article-title":"ADL: exploring the middle ground between STRIPS and the situation calculus","author":"Pednault","year":"1989"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB26","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\/S0004-3702(97)00037-4_BIB27","volume":"Vol. 1","author":"Sandewall","year":"1995"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB28","first-page":"439","article-title":"Non-monotonic temporal reasoning","volume":"Vol. 4","author":"Sandewall","year":"1995"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB29","series-title":"Knowledge Representation and Defeasible Reasoning","first-page":"23","article-title":"Monotonic solution of the frame problem in the situation calculus: an efficient method for worlds with fully specified actions","author":"Schubert","year":"1990"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB30","doi-asserted-by":"crossref","DOI":"10.1016\/S0743-1066(96)00125-2","article-title":"Representing actions in logic programs and default theories: a situation calculus approach","author":"Turner","year":"1997","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0004-3702(97)00037-4_BIB31","series-title":"Proceedings AAAI-88","first-page":"89","article-title":"Reasoning about action using a possible models approach","author":"Winslett","year":"1988"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000374?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000374?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:59:09Z","timestamp":1556740749000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370297000374"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,9]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,9]]}},"alternative-id":["S0004370297000374"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(97)00037-4","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1997,9]]}}}