{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:59Z","timestamp":1761611099890,"version":"3.40.5"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2001,8,1]],"date-time":"2001-08-01T00:00:00Z","timestamp":996624000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,8,1]],"date-time":"2001-08-01T00:00:00Z","timestamp":996624000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[2001,8]]},"DOI":"10.1023\/a:1016738205696","type":"journal-article","created":{"date-parts":[[2002,12,30]],"date-time":"2002-12-30T14:36:44Z","timestamp":1041259004000},"page":"393-431","source":"Crossref","is-referenced-by-count":17,"title":["Probabilistic Situation Calculus"],"prefix":"10.1007","volume":"32","author":[{"given":"Paulo","family":"Mateus","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nio","family":"Pacheco","sequence":"additional","affiliation":[]},{"given":"Javier","family":"Pinto","sequence":"additional","affiliation":[]},{"given":"Am\u00edlcar","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"353726_CR1","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0004-3702(99)00031-4","volume":"111","author":"F. Bacchus","year":"1999","unstructured":"F. Bacchus, J. Halpern and H. Levesque, Reasoning about noisy sensors and effectors in the Situation Calculus, Artificial Intelligence 111(1-2) (1999) 171-208.","journal-title":"Artificial Intelligence"},{"key":"353726_CR2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"16","author":"F. Bacchus","year":"2000","unstructured":"F. Bacchus and F. Kabanza, Using temporal logics to express search control knowledge for planning, Artificial Intelligence 16 (2000) 123-191.","journal-title":"Artificial Intelligence"},{"key":"353726_CR3","unstructured":"C. Boutilier, R. Reiter, M. Soutchanski and S. Thrun, Decision-theoretic, high-level agent programming in the Situation Calculus, in: Proceedings of AAAI\u2019 2000 (2000) to appear."},{"key":"353726_CR4","unstructured":"C. Boutilier, T. Dean and S. Hanks, Planning under uncertainty: structural assumptions and computational leverage, in: Proceedings of 2nd the European Workshop on Planning (1995)."},{"key":"353726_CR5","doi-asserted-by":"crossref","unstructured":"C. Boutilier, T. Dean and S. Hanks, Decision-theoretic planning: Structural assumptions and computational leverage, Journal of AI Research 11(1) 1999.","DOI":"10.1613\/jair.575"},{"key":"353726_CR6","volume-title":"An Introduction to Probability Theory and its Applications, Vol. I","author":"W. Feller","year":"1968","unstructured":"W. Feller, An Introduction to Probability Theory and its Applications, Vol. I (Wiley, New York, 1968)."},{"key":"353726_CR7","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"R.E. Fikes and N.J. Nilsson, STRIPS: a new approach to theorem proving in problem solving, Artifi-cial Intelligence 2 (1971) 189-208.","journal-title":"Artifi-cial Intelligence"},{"issue":"1-2","key":"353726_CR8","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/S0004-3702(98)00023-X","volume":"101","author":"L.P. Kaelbling","year":"1998","unstructured":"L.P. Kaelbling, M.L. Littman and A.R. Cassandra, Planning and acting in partially observable stochastic domains, Artificial Intelligence 101(1-2) (1998) 99-134.","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"353726_CR9","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0004-3702(94)00087-H","volume":"76","author":"N. Kushmerick","year":"1995","unstructured":"N. Kushmerick, S. Hanks and D.Weld, An algorithm for probabilistic planning, Artificial Intelligence 76(1-2) (1995) 239-286.","journal-title":"Artificial Intelligence"},{"key":"353726_CR10","unstructured":"M.L. Littman, Probabilistic propositional planning: Representations and complexity, in: Proceedings of the 14th National Conference on Artificial Intelligence (1997) pp. 748-754."},{"key":"353726_CR11","unstructured":"J. McCarthy, Review of computer chess comes of age by monty newborn, Science (June 6 1997)."},{"key":"353726_CR12","first-page":"463","volume-title":"Machine Intelligence Vol. 4","author":"J. McCarthy","year":"1969","unstructured":"J. McCarthy and P. Hayes, Some philosophical problems from the standpoint of Artificial Intelligence, in: Machine Intelligence Vol. 4, eds. B. Meltzer and D. Michie (Edinburgh University Press, Edinburgh, Scotland, 1969) pp. 463-502."},{"issue":"3","key":"353726_CR13","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1111\/0824-7935.00094","volume":"15","author":"J. Pinto","year":"1999","unstructured":"J. Pinto, Compiling ramification constraints into effect axioms, Computational Intelligence 15(3) (1999) 280-307.","journal-title":"Computational Intelligence"},{"key":"353726_CR14","doi-asserted-by":"crossref","unstructured":"J. Pinto, A. Sernadas, C. Sernadas and P. Mateus, Non-determinism and uncertainty in the Situation Calculus, International Journal of Uncertainty, Fuzziness and Knowledge Based Systems 8(2) (2000).","DOI":"10.1142\/S0218488500000101"},{"key":"353726_CR15","doi-asserted-by":"crossref","unstructured":"F. Pirri and R. Reiter, Some contributions to the metatheory of the Situation Calculus, Journal of the ACM (1999) to appear.","DOI":"10.1145\/316542.316545"},{"key":"353726_CR16","unstructured":"D. Poole, Decision theory, the Situation Calculus, and conditional plans, Link\u00f6ping Electronic Articles in Computer and Information Science 3(8) (1998), available at http:\/\/www.ep.liu.se\/ ea\/cis\/1998\/008\/."},{"key":"353726_CR17","volume-title":"Theoretical Probability for Applications","author":"S. Port","year":"1994","unstructured":"S. Port, Theoretical Probability for Applications (Wiley, New York, 1994)."},{"key":"353726_CR18","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"R. Reiter, The frame problem in the Situation Calculus: a simple solution (sometimes) and a completeness result for goal regression, in: Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy (Academic Press, San Diego, CA, 1991) pp. 359-380."},{"key":"353726_CR19","doi-asserted-by":"crossref","unstructured":"R. Reiter, Knowledge in action: Logical foundations for describing and implementing dynamical systems, book draft (2000), available at http:\/\/www.cs.utoronto.ca\/~cogrobo.","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"353726_CR20","first-page":"689","volume-title":"Proceedings of AAAI\u2019 93","author":"R. Scherl","year":"1993","unstructured":"R. Scherl and H. Levesque, The frame problem and knowledge producing actions, in: Proceedings of AAAI\u2019 93 (AAAI, Washington, DC, July 1993) pp. 689-695."},{"key":"353726_CR21","unstructured":"S. Wolfram, The Mathematica Book, 3rd ed. (Wolfram Media, 1996)."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016738205696.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1016738205696\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016738205696.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:33:24Z","timestamp":1747546404000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1016738205696"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,8]]},"references-count":21,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2001,8]]}},"alternative-id":["353726"],"URL":"https:\/\/doi.org\/10.1023\/a:1016738205696","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2001,8]]}}}