{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:22:32Z","timestamp":1760170952883},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,8,22]],"date-time":"2015-08-22T00:00:00Z","timestamp":1440201600000},"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":[[2016,8]]},"DOI":"10.1007\/s11225-015-9625-0","type":"journal-article","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T11:29:55Z","timestamp":1440156595000},"page":"741-772","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Logical Theory of Localization"],"prefix":"10.1007","volume":"104","author":[{"given":"Vaishak","family":"Belle","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":[[2015,8,22]]},"reference":[{"key":"9625_CR1","volume-title":"Representing and Reasoning with Probabilistic Knowledge","author":"F. Bacchus","year":"1990","unstructured":"Bacchus F.: Representing and Reasoning with Probabilistic Knowledge. MIT Press, Cambridge, MA (1990)"},{"issue":"1\u20132","key":"9625_CR2","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0004-3702(99)00031-4","volume":"111","author":"F. Bacchus","year":"1999","unstructured":"Bacchus F., Halpern J. Y., Levesque H. J.: Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence 111(1\u20132), 171\u2013208 (1999)","journal-title":"Artificial Intelligence"},{"key":"9625_CR3","unstructured":"Baltag, A., L. S. Moss, and S. Solecki, The logic of public announcements, common knowledge, and private suspicions, in Proceedings of TARK, 1998, pp. 43\u201356."},{"key":"9625_CR4","doi-asserted-by":"crossref","unstructured":"Belle, V., and G. Lakemeyer, A semantical account of progression in the presence of uncertainty, in Proceedings of AAAI, 2011, pp. 165\u2013170.","DOI":"10.1609\/aaai.v25i1.7858"},{"key":"9625_CR5","unstructured":"Belle, V., and H. J. Levesque, Reasoning about continuous uncertainty in the situation calculus, in Proceedings of IJCAI, 2013."},{"key":"9625_CR6","unstructured":"Belle, V., and H. J. Levesque, Reasoning about probabilities in dynamic systems using goal regression, in Proceedings of UAI, 2013."},{"key":"9625_CR7","unstructured":"Belle, V., and H. J. Levesque, Robot location estimation in the situation calculus, in Symposium on Logical Formalizations of Commonsense Reasoning, 2013."},{"key":"9625_CR8","unstructured":"Belle, V., and H. J. Levesque, How to progress beliefs in continuous domains, in Proceedings of KR, 2014."},{"key":"9625_CR9","doi-asserted-by":"crossref","unstructured":"Belle, V., and H. J. Levesque, PREGO: An action language for belief-based cognitive robotics in continuous domains, in Proceedings of AAAI, 2014.","DOI":"10.1609\/aaai.v28i1.8865"},{"key":"9625_CR10","unstructured":"Billingsley, P., Probability and Measure, 3rd edn., Wiley-Interscience, New York, 1995."},{"key":"9625_CR11","unstructured":"Boutilier, C., R. Reiter, M. Soutchanski, and S. Thrun, Decision-theoretic, high-level agent programming in the situation calculus, in Proceedings of AAAI, 2000, pp. 355\u2013362."},{"issue":"1\u20132","key":"9625_CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0004-3702(99)00070-3","volume":"114","author":"W. Burgard","year":"1999","unstructured":"Burgard W., Cremers A. B., Fox D., H\u00e4hnel D., Lakemeyer G., Schulz D., Steiner W., Thrun S.: Experiences with an interactive museum tour-guide robot. Artificial Intelligence 114(1\u20132), 3\u201355 (1999)","journal-title":"Artificial Intelligence"},{"key":"9625_CR13","unstructured":"Choi, J., A. Guzman-Rivera, and E. Amir, Lifted relational Kalman filtering, in Proceedings of IJCAI, 2011, pp. 2092\u20132099."},{"issue":"2","key":"9625_CR14","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1109\/70.75902","volume":"7","author":"I. J. Cox","year":"1991","unstructured":"Cox I. J.: Blanche\u2014An experiment in guidance and navigation of an autonomous robot vehicle. IEEE Transactions on Robotics and Automation 7(2), 193\u2013204 (1991)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"9625_CR15","doi-asserted-by":"crossref","unstructured":"Da Prato, G., An Introduction to Infinite-Dimensional Analysis, Universitext, Springer, 2006.","DOI":"10.1007\/3-540-29021-4"},{"key":"9625_CR16","doi-asserted-by":"crossref","unstructured":"Darwiche, A., and M. Goldszmidt, Action networks: A framework for reasoning about actions and change under uncertainty, in Proceedings of UAI, 1994, pp. 136\u2013144.","DOI":"10.1016\/B978-1-55860-332-5.50023-7"},{"key":"9625_CR17","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., and H. J. Levesque, Two approaches to efficient open-world reasoning, in Logic-Based Artificial Intelligence, Kluwer Academic Publishers, Norwell, MA, 2000, pp. 59\u201378.","DOI":"10.1007\/978-1-4615-1567-8_3"},{"key":"9625_CR18","unstructured":"Delgrande, J. P., and H. J. Levesque, A formal account of nondeterministic and failed actions, in IJCAI, 2013."},{"key":"9625_CR19","doi-asserted-by":"crossref","unstructured":"Dellaert, F., D. Fox, W. Burgard, and S.Thrun, Monte carlo localization for mobile robots, in Proceedings Robotics and Automation, vol. 2, IEEE, 1999, pp. 1322\u20131328.","DOI":"10.1109\/ROBOT.1999.772544"},{"issue":"2","key":"9625_CR20","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R. Fagin","year":"1994","unstructured":"Fagin R., Halpern J. Y.: Reasoning about knowledge and probability. Journal of the ACM 41(2), 340\u2013367 (1994)","journal-title":"Journal of the ACM"},{"issue":"3","key":"9625_CR21","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1023\/A:1008937911390","volume":"8","author":"D. Fox","year":"2000","unstructured":"Fox D., Burgard W., Kruppa H., Thrun S.: A probabilistic approach to collaborative multi-robot localization. Autonomous Robots 8(3), 325\u2013344 (2000)","journal-title":"Autonomous Robots"},{"key":"9625_CR22","unstructured":"Gabaldon, A., and G. Lakemeyer, ESP: A logic of only-knowing, noisy sensing and acting, in Proceedings of AAAI, 2007, pp. 974\u2013979."},{"key":"9625_CR23","unstructured":"Ge, X., and J. Renz, Representation and reasoning about general solid rectangles, in IJCAI, 2013."},{"key":"9625_CR24","unstructured":"De Giacomo, G., L. Iocchi, D. Nardi, and R. Rosati, Moving a robot: The kr & r approach at work, in Proceedings of KR, 1996, pp. 198\u2013209."},{"key":"9625_CR25","unstructured":"Hajishirzi, H., and E. Amir, Reasoning about deterministic actions with probabilistic prior and application to stochastic filtering, in Proceedings of KR, 2010."},{"key":"9625_CR26","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1145\/153724.153770","volume":"40","author":"J. Y. Halpern","year":"1993","unstructured":"Halpern J. Y., Tuttle M. R.: Knowledge, probability, and adversaries. Journal of the ACM 40, 917\u2013960 (1993)","journal-title":"Journal of the ACM"},{"issue":"3","key":"9625_CR27","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"J. Y. Halpern","year":"1990","unstructured":"Halpern J. Y.: An analysis of first-order logics of probability. Artificial Intelligence 46(3), 311\u2013350 (1990)","journal-title":"Artificial Intelligence"},{"key":"9625_CR28","unstructured":"Hintikka, J., Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca, 1962."},{"issue":"6","key":"9625_CR29","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1016\/S0967-0661(99)00028-3","volume":"7","author":"L. Jetto","year":"1999","unstructured":"Jetto L., Longhi S., Vitali D.: Localization of a wheeled mobile robot by sensor data fusion based on a fuzzy logic adapted Kalman filter. Control Engineering Practice 7(6), 763\u2013771 (1999)","journal-title":"Control Engineering Practice"},{"key":"9625_CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2014.12.005","volume":"221","author":"R. F. Kelly","year":"2015","unstructured":"Kelly R. F., Pearce A. R.: Asynchronous knowledge with hidden actions in the situation calculus. Artificial Intelligence 221, 1\u201335 (2015)","journal-title":"Artificial Intelligence"},{"key":"9625_CR31","first-page":"83","volume":"16","author":"S. Kripke","year":"1963","unstructured":"Kripke S.: Semantical considerations on modal logic. Acta Philosophica Fennica 16, 83\u201394 (1963)","journal-title":"Acta Philosophica Fennica"},{"key":"9625_CR32","doi-asserted-by":"crossref","unstructured":"Kushmerick, N., S. Hanks, and D. S. Weld, An algorithm for probabilistic planning, Artificial Intelligence 76(1):239\u2013286, 1995.","DOI":"10.1016\/0004-3702(94)00087-H"},{"key":"9625_CR33","unstructured":"Lakemeyer, G., and H. J. Levesque, Cognitive robotics, in Handbook of Knowledge Representation, Elsevier, Amsterdam, 2007, pp. 869\u2013886."},{"key":"9625_CR34","unstructured":"Lee, J. H., J. Renz, and D. Wolter, Starvars\u2014Effective reasoning about relative directions, in Francesca Rossi, (ed.), IJCAI, IJCAI\/AAAI, 2013."},{"key":"9625_CR35","unstructured":"Levesque, H. J., and R. Reiter, High-level robotic control: Beyond planning, Position paper at AAAI Spring Symposium on Integrating Robotics Research, 1998."},{"key":"9625_CR36","doi-asserted-by":"crossref","unstructured":"Levesque, H. J., R. Reiter, Y. Lesp\u00e9rance, F. Lin, and R. Scherl, Golog: A logic programming language for dynamic domains, Journal of Logic Programming 31:59\u201384, 1997.","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"9625_CR37","first-page":"159","volume":"2","author":"H. J. Levesque","year":"1998","unstructured":"Levesque H. J., Pirri F., Reiter R.: Foundations for the situation calculus. Electronic Transactions in Artificial Intelligence 2, 159\u2013178 (1998)","journal-title":"Electronic Transactions in Artificial Intelligence"},{"issue":"1\u20132","key":"9625_CR38","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/S0004-3702(96)00044-6","volume":"92","author":"F. Lin","year":"1997","unstructured":"Lin F., Reiter R.: How to progress a database. Artificial Intelligence 92(1\u20132), 131\u2013167 (1997)","journal-title":"Artificial Intelligence"},{"issue":"1\u20134","key":"9625_CR39","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1023\/A:1016738205696","volume":"32","author":"P. Mateus","year":"2001","unstructured":"Mateus P., Pacheco A., Pinto J., Sernadas A., Sernadas C.: Probabilistic situation calculus. Annals of Mathematics and Artificial Intelligence 32(1\u20134), 393\u2013431 (2001)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9625_CR40","unstructured":"McCarthy, J., and P. J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in Machine Intelligence, 1969, pp. 463\u2013502."},{"key":"9625_CR41","doi-asserted-by":"crossref","unstructured":"McIlraith, S., G. Biswas, D. Clancy, and V. Gupta, Hybrid systems diagnosis, in Proceedings of Workshop on Hybrid Systems: Computation and Control, LNCS, 2000, pp. 282\u2013295.","DOI":"10.1007\/3-540-46430-1_25"},{"key":"9625_CR42","unstructured":"Moore, R. C., A formal theory of knowledge and action, in Formal Theories of the Commonsense World, Ablex, Norwood, NJ, 1985, pp. 319\u2013358."},{"issue":"2","key":"9625_CR43","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R. Ng","year":"1992","unstructured":"Ng R., Subrahmanian V.S.: Probabilistic logic programming. Information and Computation 101(2), 150\u2013201 (1992)","journal-title":"Information and Computation"},{"key":"9625_CR44","doi-asserted-by":"crossref","unstructured":"Pearl, J., Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann, San Mateo, CA, 1988.","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"key":"9625_CR45","first-page":"105","volume":"2","author":"D. Poole","year":"1998","unstructured":"Poole D.: Decision theory, the situation calculus and conditional plans. Electronic Transactions in Artificial Intelligence 2, 105\u2013158 (1998)","journal-title":"Electronic Transactions in Artificial Intelligence"},{"key":"9625_CR46","doi-asserted-by":"crossref","unstructured":"Reiter, R., Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, MIT Press, Cambridge, MA, 2001.","DOI":"10.7551\/mitpress\/4074.001.0001"},{"issue":"1","key":"9625_CR47","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M. Richardson","year":"2006","unstructured":"Richardson M., Domingos P.: Markov logic networks. Machine learning 62(1), 107\u2013136 (2006)","journal-title":"Machine learning"},{"key":"9625_CR48","unstructured":"Sanner, S., Relational dynamic influence diagram language (rddl): Language description, Technical Report, Australian National University, 2011."},{"issue":"1\u20132","key":"9625_CR49","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"R. B. Scherl","year":"2003","unstructured":"Scherl R. B., Levesque H. J.: Knowledge, action, and the frame problem. Artificial Intelligence 144(1\u20132), 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"key":"9625_CR50","unstructured":"Shapiro, S., Belief change with noisy sensing and introspection, in NRAC Workshop, 2005, pp. 84\u201389."},{"key":"9625_CR51","doi-asserted-by":"crossref","unstructured":"Shapiro, S., Y. Lesp\u00e9rance, and H. J. Levesque, The cognitive agents specification language and verification environment for multiagent systems, in Proceedings of AAMAS, 2002, pp. 19\u201326.","DOI":"10.1145\/544741.544746"},{"key":"9625_CR52","unstructured":"Shapiro, S., Y. Lesp\u00e9rance, and H. J. Levesque, Goal change, in Proceedings IJCAI, 2005, pp. 582\u2013588."},{"key":"9625_CR53","doi-asserted-by":"crossref","unstructured":"Thielscher, M., Planning with noisy actions (preliminary report), in Proceedings of the Australian Joint Conference on Artificial Intelligence, 2001, pp. 27\u201345.","DOI":"10.1007\/3-540-45656-2_43"},{"issue":"4\u20135","key":"9625_CR54","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1017\/S1471068405002358","volume":"5","author":"M. Thielscher","year":"2005","unstructured":"Thielscher M.: Flux: A logic programming method for reasoning agents. Theory and Practice of Logic Programming 5(4\u20135), 533\u2013565 (2005)","journal-title":"Theory and Practice of Logic Programming"},{"key":"9625_CR55","unstructured":"Thrun, S., W. Burgard, and D. Fox, Probabilistic Robotics, MIT Press, Cambridge, MA, 2005."},{"issue":"1","key":"9625_CR56","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s11225-009-9209-y","volume":"93","author":"J. Van Benthem","year":"2009","unstructured":"Van Benthem J., Gerbrandy J., Kooi B.: Dynamic update with probabilities. Studia Logica 93(1), 67\u201396 (2009)","journal-title":"Studia Logica"},{"key":"9625_CR57","unstructured":"Younes, H., and M. Littman, PPDDL 1.0: An extension to pddl for expressing planning domains with probabilistic effects, Technical Report, Carnegie Mellon University, 2004."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-015-9625-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-015-9625-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-015-9625-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,13]],"date-time":"2023-08-13T09:26:26Z","timestamp":1691918786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-015-9625-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,22]]},"references-count":57,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["9625"],"URL":"https:\/\/doi.org\/10.1007\/s11225-015-9625-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8,22]]}}}