{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:06:45Z","timestamp":1751983605888},"reference-count":22,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1998,9,1]],"date-time":"1998-09-01T00:00:00Z","timestamp":904608000000},"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":5441,"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":[[1998,9]]},"DOI":"10.1016\/s0004-3702(98)00084-8","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T10:51:33Z","timestamp":1027594293000},"page":"339-355","source":"Crossref","is-referenced-by-count":14,"title":["Reasoning about actions: steady versus stabilizing state constraints"],"prefix":"10.1016","volume":"104","author":[{"given":"Michael","family":"Thielscher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"1\u20133","key":"10.1016\/S0004-3702(98)00084-8_BIB1","first-page":"19","article-title":"Explicit and implicit indeterminism: reasoning about uncertain and contradictory specifications of dynamic systems","volume":"31","author":"Bornscheuer","year":"1997","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB2","series-title":"Proceedings Conference of the Canadian Society for Computational Studies of Intelligence (CSCSI)","first-page":"221","article-title":"Reasoning about action in first-order logic","author":"Elkan","year":"1992"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB3","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","article-title":"TRIPS: a new approach to the application of theorem proving to problem solving","volume":"2","author":"Fikes","year":"1971","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB4","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","article-title":"Reasoning about action I: a possible worlds approach","volume":"35","author":"Ginsberg","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB5","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(88)90020-3","article-title":"Reasoning about action II: the qualification problem","volume":"35","author":"Ginsberg","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB6","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1016\/S0004-3702(97)00037-4","article-title":"Representing action: indeterminacy and ramifications","volume":"95","author":"Giunchiglia","year":"1997","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB7","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF03037518","article-title":"A new deductive approach to planning","volume":"8","author":"H\u00f6lldobler","year":"1990","journal-title":"New Generation Computing"},{"issue":"3","key":"10.1016\/S0004-3702(98)00084-8_BIB8","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0743-1066(84)90010-4","article-title":"A theory of complete logic programs with equality","volume":"1","author":"Jaffar","year":"1984","journal-title":"J. Logic Programming"},{"issue":"4","key":"10.1016\/S0004-3702(98)00084-8_BIB9","first-page":"39","article-title":"R. Miller Reasoning about actions, narratives, and ramifications","volume":"1","author":"Kakas","year":"1997","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB10","first-page":"229","article-title":"Higher order logic","volume":"Vol. 2","author":"Leivant","year":"1994"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB11","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":"Lifsehitz","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB12","series-title":"Proceedings International Joint Conference on Artificial Intelligence (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\/S0004-3702(98)00084-8_BIB13","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1093\/logcom\/4.5.655","article-title":"R. Retter State constraints revisited","volume":"4","author":"Lin","year":"1994","journal-title":"J. Logic and Computation"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB14","series-title":"Proceedings International Joint Conference on Artificial Intelligence (IJCAI-95)","first-page":"1978","article-title":"A causal theory of ramifications and qualifications","author":"Mccain","year":"1995"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB15","series-title":"Proceedings 14th National Conference on Artificial Intelligence (AAAI-97)","first-page":"460","article-title":"Causal theories of action and change","author":"Mccain","year":"1997"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB16","series-title":"Machine Intelligence 4","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","author":"Mccarthy","year":"1969"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB17","series-title":"Proceedings Workshop on Reasoning about Actions and Plans","first-page":"47","article-title":"Formulating multi-agent, dynamic world problems in the classical planning framework","author":"Pednault","year":"1986"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB18","series-title":"Artificial Intelligence and Mathematical Theory of Computation","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(98)00084-8_BIB19","series-title":"Proceedings International Conference on Principles of Knowledge Representation and Reasoning (KR-96)","first-page":"99","article-title":"Assessments of ramification methods that use static domain constraints","author":"Sandewall","year":"1996"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB20","series-title":"Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia","author":"Shanahan","year":"1997"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(98)00084-8_BIB21","first-page":"17","article-title":"Ramification and causality","volume":"89","author":"Thielscher","year":"1997","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00084-8_BIB22","series-title":"European Workshop on Logics in AI (JELIA)","article-title":"Towards state update axioms: reifying successor state axioms","author":"Thielscher","year":"1998"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000848?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000848?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T18:00:40Z","timestamp":1556388040000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370298000848"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,9]]},"references-count":22,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,9]]}},"alternative-id":["S0004370298000848"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(98)00084-8","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1998,9]]}}}