{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T01:42:13Z","timestamp":1648518133945},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2018,6,14]],"date-time":"2018-06-14T00:00:00Z","timestamp":1528934400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1007\/s11225-018-9808-6","type":"journal-article","created":{"date-parts":[[2018,6,14]],"date-time":"2018-06-14T08:04:45Z","timestamp":1528963485000},"page":"859-886","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events"],"prefix":"10.1007","volume":"107","author":[{"given":"James P.","family":"Delgrande","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hector J.","family":"Levesque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,14]]},"reference":[{"issue":"2","key":"9808_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., P. G\u00e4rdenfors, and D. Makinson, On the logic of theory change: Partial meet contraction and revision functions, Journal of Symbolic Logic 50(2): 510\u2013530, 1985.","journal-title":"Journal of Symbolic Logic"},{"issue":"1\u20132","key":"9808_CR2","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0004-3702(99)00031-4","volume":"111","author":"F Bacchus","year":"1999","unstructured":"Bacchus, F., J.Y. Halpern, and H.J. Levesque, Reasoning about noisy sensors and effectors in the situation calculus, Artificial Intelligence 111(1\u20132): 171\u2013208, 1999.","journal-title":"Artificial Intelligence"},{"key":"9808_CR3","unstructured":"Baral, C., Reasoning about actions: Non-deterministic effects, constraints, and qualification, in Proceedings of the International Joint Conference on Artificial Intelligence, Montr\u00e9al, Canada, 1995, pp. 2017\u20132026."},{"key":"9808_CR4","unstructured":"Boutilier, C., R. Reiter, M. Soutchanski, and S. Thrun, Decision-theoretic, high-level agent programming in the situation calculus, in Proceedings of the (AAAI) Conference on Artificial Intelligence, Austin, TX, 2000, pp. 355\u2013362."},{"issue":"1\u20132","key":"9808_CR5","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0004-3702(02)00374-0","volume":"147","author":"A Cimatti","year":"2003","unstructured":"Cimatti, A., M. Pistore, M. Roveri, and P. Traverso, Weak, strong, and strong cyclic planning via symbolic model checking, Artificial Intelligence 147(1\u20132): 35\u201384, 2003.","journal-title":"Artificial Intelligence"},{"key":"9808_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A Darwiche","year":"1997","unstructured":"Darwiche, A., and J. Pearl, On the logic of iterated belief revision, Artificial Intelligence 89: 1\u201329, 1997.","journal-title":"Artificial Intelligence"},{"key":"9808_CR7","unstructured":"Delgrande, J.P., and H.J. Levesque, Belief revision with sensing and fallible actions, in Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, Rome, Italy, 2012."},{"key":"9808_CR8","unstructured":"Delgrande, J.P., and H.J. Levesque, A formal account of nondeterministic and failed actions, in Proceedings of the International Joint Conference on Artificial Intelligence, Beijing, China, 2012."},{"key":"9808_CR9","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"RF Fikes","year":"1971","unstructured":"Fikes, R.F., and N.J. Nilsson, Strips: A new approach to the application of theorem proving to problem solving, Artificial Intelligence 2: 189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"key":"9808_CR10","volume-title":"Knowledge in Flux: Modelling the Dynamics of Epistemic States","author":"P G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P., Knowledge in Flux: Modelling the Dynamics of Epistemic States, The MIT Press, Cambridge, MA, 1988."},{"key":"9808_CR11","unstructured":"Gelfond, M., and V. Lifschitz, Action languages, Electronic Transactions on AI, 3, 1998."},{"issue":"3","key":"9808_CR12","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(88)90020-3","volume":"35","author":"ML Ginsberg","year":"1988","unstructured":"Ginsberg, M.L., and D.E. Smith, Reasoning about action ii: The qualification problem, Artificial Intelligence 35(3): 311\u2013342, 1988.","journal-title":"Artificial Intelligence"},{"key":"9808_CR13","unstructured":"Jensen, R.M., M.M. Veloso, and R.E. Bryant, Fault tolerant planning: Toward probabilistic uncertainty models in symbolic non-deterministic planning, in S. Zilberstein, J. Koehler, and S. Koenig, (eds.), Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), AAAI Press, 2004, pp. 335\u2013344."},{"issue":"3","key":"9808_CR14","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H Katsuno","year":"1991","unstructured":"Katsuno, H., and A. Mendelzon, Propositional knowledge base revision and minimal change, Artificial Intelligence 52(3): 263\u2013294, 1991.","journal-title":"Artificial Intelligence"},{"key":"9808_CR15","unstructured":"Laplace, P., Essai philosophique sur les probabilit\u00e9s, first edn., (English trans: Dover, 1952), Paris, 1814."},{"key":"9808_CR16","first-page":"18","volume":"3","author":"HJ Levesque","year":"1998","unstructured":"Levesque, H.J., F.\u00a0Pirri, and R.\u00a0Reiter, Foundations for the situation calculus, Link\u00f6ping Electronic Articles in Computer and Information Science 3: 18, 1998.","journal-title":"Link\u00f6ping Electronic Articles in Computer and Information Science"},{"key":"9808_CR17","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"HJ Levesque","year":"1997","unstructured":"Levesque, H.J., R. Reiter, F. Lin, and R.B. Scherl, Golog: A logic programming language for dynamic domains, Journal of Logic Programming 31: 59\u201383, 1997.","journal-title":"Journal of Logic Programming"},{"key":"9808_CR18","unstructured":"McCarthy, J., Epistemological problems in artificial intelligence, in Proceedings of the International Joint Conference on Artificial Intelligence, Cambridge, MA, 1977, pp. 1038\u20131044."},{"key":"9808_CR19","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"RC Moore","year":"1985","unstructured":"Moore, R.C., Semantical considerations on nonmonotonic logic, Artificial Intelligence 25: 75\u201394, 1985.","journal-title":"Artificial Intelligence"},{"key":"9808_CR20","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S1574-6526(07)03008-8","volume-title":"Handbook of Knowledge Representation","author":"P Peppas","year":"2008","unstructured":"Peppas, P., Belief revision, in F.\u00a0van Harmelen, V.\u00a0Lifschitz, and B.\u00a0Porter, (eds.), Handbook of Knowledge Representation, Elsevier Science, San Diego, USA, 2008, pp. 317\u2013359."},{"key":"9808_CR21","doi-asserted-by":"crossref","unstructured":"Pratt, V., Semantical considerations on Floyd-Hoare logic, in 17th IEEE Symposium on Foundations of Computer Science, 1976, pp. 109\u2013121.","DOI":"10.1109\/SFCS.1976.27"},{"key":"9808_CR22","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R Reiter","year":"2001","unstructured":"Reiter, R., Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, The MIT Press, Cambridge, MA, 2001."},{"issue":"1\u20132","key":"9808_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"RB Scherl","year":"2003","unstructured":"Scherl, R.B., and H.J. Levesque, Knowledge, action, and the frame problem, Artificial Intelligence 144(1\u20132): 1\u201339, 2003.","journal-title":"Artificial Intelligence"},{"key":"9808_CR24","unstructured":"Shanahan, M., Solving the frame problem - a mathematical investigation of the common sense law of inertia, MIT Press, 1997."},{"issue":"1","key":"9808_CR25","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.artint.2010.04.003","volume":"175","author":"S Shapiro","year":"2011","unstructured":"Shapiro, S., M. Pagnucco, Y. Lesp\u00e9rance, and H.J. Levesque, Iterated belief change in the situation calculus, Artificial Intelligence 175(1): 165\u2013192, 2011.","journal-title":"Artificial Intelligence"},{"key":"9808_CR26","doi-asserted-by":"crossref","unstructured":"Spohn, W., Ordinal conditional functions: A dynamic theory of epistemic states, in W.L. Harper, and B.\u00a0Skyrms, (eds.), Causation in Decision, Belief Change, and Statistics, vol.\u00a0II, Kluwer Academic Publishers, 1988, pp. 105\u2013134.","DOI":"10.1007\/978-94-009-2865-7_6"},{"issue":"1\u20132","key":"9808_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(01)00131-X","volume":"131","author":"M Thielscher","year":"2001","unstructured":"Thielscher, M., The qualification problem: A solution to the problem of anomalous models, Artificial Intelligence 131(1\u20132): 1\u201337, 2001.","journal-title":"Artificial Intelligence"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9808-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-018-9808-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9808-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T00:49:02Z","timestamp":1570236542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-018-9808-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,14]]},"references-count":27,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["9808"],"URL":"https:\/\/doi.org\/10.1007\/s11225-018-9808-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6,14]]},"assertion":[{"value":"7 May 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 June 2018","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}