{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T01:16:27Z","timestamp":1777425387525,"version":"3.51.4"},"reference-count":87,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2022,9,2]],"date-time":"2022-09-02T00:00:00Z","timestamp":1662076800000},"content-version":"vor","delay-in-days":1462,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1016\/j.artint.2018.06.003","type":"journal-article","created":{"date-parts":[[2018,6,26]],"date-time":"2018-06-26T22:30:15Z","timestamp":1530052215000},"page":"189-221","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":14,"special_numbering":"C","title":["Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems"],"prefix":"10.1016","volume":"262","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5573-8465","authenticated-orcid":false,"given":"Vaishak","family":"Belle","sequence":"first","affiliation":[]},{"given":"Hector J.","family":"Levesque","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.artint.2018.06.003_br0010","series-title":"Machine Intelligence","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","author":"McCarthy","year":"1969"},{"issue":"1","key":"10.1016\/j.artint.2018.06.003_br0020","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","article-title":"Markov logic networks","volume":"62","author":"Richardson","year":"2006","journal-title":"Mach. Learn."},{"key":"10.1016\/j.artint.2018.06.003_br0030","series-title":"Representing and Reasoning with Probabilistic Knowledge","author":"Bacchus","year":"1990"},{"issue":"3","key":"10.1016\/j.artint.2018.06.003_br0040","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","article-title":"An analysis of first-order logics of probability","volume":"46","author":"Halpern","year":"1990","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"10.1016\/j.artint.2018.06.003_br0050","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0004-3702(99)00031-4","article-title":"Reasoning about noisy sensors and effectors in the situation calculus","volume":"111","author":"Bacchus","year":"1999","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2018.06.003_br0060","series-title":"Planning and Control","author":"Dean","year":"1991"},{"key":"10.1016\/j.artint.2018.06.003_br0070","series-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"Pearl","year":"1988"},{"key":"10.1016\/j.artint.2018.06.003_br0080","first-page":"83","article-title":"Semantical considerations on modal logic","volume":"16","author":"Kripke","year":"1963","journal-title":"Acta Philos. Fenn."},{"key":"10.1016\/j.artint.2018.06.003_br0090","series-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"Hintikka","year":"1962"},{"key":"10.1016\/j.artint.2018.06.003_br0100","series-title":"Reasoning About Knowledge","author":"Fagin","year":"1995"},{"key":"10.1016\/j.artint.2018.06.003_br0110","series-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter","year":"2001"},{"issue":"1\u20132","key":"10.1016\/j.artint.2018.06.003_br0120","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","article-title":"Knowledge, action, and the frame problem","volume":"144","author":"Scherl","year":"2003","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2018.06.003_br0130","series-title":"Probabilistic Robotics","author":"Thrun","year":"2005"},{"key":"10.1016\/j.artint.2018.06.003_br0140","series-title":"NIPS","first-page":"1403","article-title":"Symbolic dynamic programming for continuous state and observation POMDPs","author":"Zamani","year":"2012"},{"key":"10.1016\/j.artint.2018.06.003_br0150","series-title":"Machine Learning: A Probabilistic Perspective","author":"Murphy","year":"2012"},{"key":"10.1016\/j.artint.2018.06.003_br0160","series-title":"Proc. IJCAI","article-title":"Reasoning about continuous uncertainty in the situation calculus","author":"Belle","year":"2013"},{"key":"10.1016\/j.artint.2018.06.003_br0170","series-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"1972"},{"key":"10.1016\/j.artint.2018.06.003_br0180","series-title":"First-Order Logic","author":"Smullyan","year":"1995"},{"key":"10.1016\/j.artint.2018.06.003_br0190","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"},{"issue":"7","key":"10.1016\/j.artint.2018.06.003_br0200","first-page":"753","article-title":"Model theory and exponentiation","volume":"43","author":"Marker","year":"1996","journal-title":"Not. Am. Math. Soc."},{"key":"10.1016\/j.artint.2018.06.003_br0210","series-title":"Introduction to Real Analysis","author":"Trench","year":"2003"},{"key":"10.1016\/j.artint.2018.06.003_br0220","series-title":"Introduction to Gauge Integrals","author":"Swartz","year":"2001"},{"key":"10.1016\/j.artint.2018.06.003_br0230","series-title":"Elementary Calculus: An Infinitesimal Approach","author":"Keisler","year":"2012"},{"key":"10.1016\/j.artint.2018.06.003_br0240","series-title":"Formal Theories of the Commonsense World","first-page":"319","article-title":"A formal theory of knowledge and action","author":"Moore","year":"1985"},{"issue":"1","key":"10.1016\/j.artint.2018.06.003_br0250","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/j.artint.2010.04.003","article-title":"Iterated belief change in the situation calculus","volume":"175","author":"Shapiro","year":"2011","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2018.06.003_br0260","series-title":"IJCAI","article-title":"Allegro: belief-based programming in stochastic dynamical domains","author":"Belle","year":"2015"},{"key":"10.1016\/j.artint.2018.06.003_br0270","doi-asserted-by":"crossref","first-page":"297","DOI":"10.2307\/2184045","article-title":"Probabilities of conditionals and conditional probabilities","author":"Lewis","year":"1976","journal-title":"Philos. Rev."},{"key":"10.1016\/j.artint.2018.06.003_br0280","series-title":"Probabilistic Graphical Models \u2013 Principles and Techniques","author":"Koller","year":"2009"},{"issue":"4","key":"10.1016\/j.artint.2018.06.003_br0290","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/j.jal.2015.02.004","article-title":"Robot location estimation in the situation calculus","volume":"13","author":"Belle","year":"2015","journal-title":"J. Appl. Log."},{"issue":"2","key":"10.1016\/j.artint.2018.06.003_br0300","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1145\/174652.174658","article-title":"Reasoning about knowledge and probability","volume":"41","author":"Fagin","year":"1994","journal-title":"J. ACM"},{"key":"10.1016\/j.artint.2018.06.003_br0310","series-title":"Probability and Measure","author":"Billingsley","year":"1995"},{"key":"10.1016\/j.artint.2018.06.003_br0320","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-29021-4","article-title":"An Introduction to Infinite-Dimensional Analysis","author":"Da Prato","year":"2006"},{"key":"10.1016\/j.artint.2018.06.003_br0330","series-title":"UAI","first-page":"368","article-title":"Markov logic in infinite domains","author":"Singla","year":"2007"},{"key":"10.1016\/j.artint.2018.06.003_br0340","first-page":"159","article-title":"Foundations for the situation calculus","volume":"2","author":"Levesque","year":"1998","journal-title":"Electron. Trans. Artif. Intell."},{"key":"10.1016\/j.artint.2018.06.003_br0350","series-title":"Proc. UAI","article-title":"Reasoning about probabilities in dynamic systems using goal regression","author":"Belle","year":"2013"},{"key":"10.1016\/j.artint.2018.06.003_br0360","series-title":"Symposium on Logical Formalizations of Commonsense Reasoning","article-title":"Robot location estimation in the situation calculus","author":"Belle","year":"2013"},{"key":"10.1016\/j.artint.2018.06.003_br0370","series-title":"Proc. KR","article-title":"Belief revision with sensing and fallible actions","author":"Delgrande","year":"2012"},{"issue":"3","key":"10.1016\/j.artint.2018.06.003_br0380","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/MPRV.2003.1228524","article-title":"Bayesian filtering for location estimation","volume":"2","author":"Fox","year":"2003","journal-title":"IEEE Pervasive Comput."},{"issue":"2","key":"10.1016\/j.artint.2018.06.003_br0390","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0004-3702(00)00029-1","article-title":"Credal networks","volume":"120","author":"Cozman","year":"2000","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2018.06.003_br0400","series-title":"Proc. UAI","first-page":"136","article-title":"Action networks: a framework for reasoning about actions and change under uncertainty","author":"Darwiche","year":"1994"},{"key":"10.1016\/j.artint.2018.06.003_br0410","series-title":"Proc. KR","article-title":"Reasoning about deterministic actions with probabilistic prior and application to stochastic filtering","author":"Hajishirzi","year":"2010"},{"issue":"1","key":"10.1016\/j.artint.2018.06.003_br0420","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","article-title":"Probabilistic logic","volume":"28","author":"Nilsson","year":"1986","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2018.06.003_br0430","series-title":"Logical Foundations of Probability","author":"Carnap","year":"1951"},{"issue":"1","key":"10.1016\/j.artint.2018.06.003_br0440","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02759729","article-title":"Concerning measures in first order calculi","volume":"2","author":"Gaifman","year":"1964","journal-title":"Isr. J. Math."},{"key":"10.1016\/j.artint.2018.06.003_br0450","series-title":"Reasoning About Uncertainty","author":"Halpern","year":"2003"},{"issue":"1\u20132","key":"10.1016\/j.artint.2018.06.003_br0460","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/S0304-3975(98)00341-7","article-title":"Some first-order probability logics","volume":"247","author":"Ognjanovic","year":"2000","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"10.1016\/j.artint.2018.06.003_br0470","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1016\/0899-8256(89)90017-1","article-title":"Approximating common knowledge with common beliefs","volume":"1","author":"Monderer","year":"1989","journal-title":"Games Econ. Behav."},{"issue":"1\u20132","key":"10.1016\/j.artint.2018.06.003_br0480","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1006\/game.1999.0788","article-title":"Probability logic for type spaces","volume":"35","author":"Heifetz","year":"2001","journal-title":"Games Econ. Behav."},{"key":"10.1016\/j.artint.2018.06.003_br0490","series-title":"Proc. AAAI","article-title":"A first-order logic of probability and only knowing in unbounded domains","author":"Belle","year":"2016"},{"key":"10.1016\/j.artint.2018.06.003_br0500","series-title":"AAAI\/IAAI","first-page":"580","article-title":"Probabilistic frame-based systems","author":"Koller","year":"1998"},{"key":"10.1016\/j.artint.2018.06.003_br0510","series-title":"ICML","first-page":"170","article-title":"Learning probabilistic models of relational structure","author":"Getoor","year":"2001"},{"issue":"7","key":"10.1016\/j.artint.2018.06.003_br0520","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1145\/2699411","article-title":"Unifying logic and probability","volume":"58","author":"Russell","year":"2015","journal-title":"Commun. ACM"},{"key":"10.1016\/j.artint.2018.06.003_br0530","series-title":"Proc. IJCAI","first-page":"985","article-title":"First-order probabilistic inference","author":"Poole","year":"2003"},{"key":"10.1016\/j.artint.2018.06.003_br0540","series-title":"Proc. AAAI","article-title":"A tractable first-order probabilistic logic","author":"Domingos","year":"2012"},{"key":"10.1016\/j.artint.2018.06.003_br0550","series-title":"Proc. IJCAI","first-page":"2462","article-title":"ProbLog: a probabilistic Prolog and its application in link discovery","author":"De Raedt","year":"2007"},{"issue":"2","key":"10.1016\/j.artint.2018.06.003_br0560","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-031-01879-4","article-title":"Probabilistic databases","volume":"3","author":"Suciu","year":"2011","journal-title":"Synth. Lect. Data Manag."},{"key":"10.1016\/j.artint.2018.06.003_br0570","series-title":"Proc. IJCAI","first-page":"1352","article-title":"BLOG: probabilistic models with unknown objects","author":"Milch","year":"2005"},{"key":"10.1016\/j.artint.2018.06.003_br0580","series-title":"Proc. IJCAI","first-page":"2092","article-title":"Lifted relational Kalman filtering","author":"Choi","year":"2011"},{"key":"10.1016\/j.artint.2018.06.003_br0590","series-title":"IROS","first-page":"2764","article-title":"A particle filter for hybrid relational domains","author":"Nitti","year":"2013"},{"key":"10.1016\/j.artint.2018.06.003_br0600","series-title":"Proc. SIGKDD","first-page":"143","article-title":"Relational Markov models and their application to adaptive web navigation","author":"Anderson","year":"2002"},{"key":"10.1016\/j.artint.2018.06.003_br0610","series-title":"IJCAI","article-title":"Probabilistic inference in hybrid domains by weighted model integration","author":"Belle","year":"2015"},{"key":"10.1016\/j.artint.2018.06.003_br0620","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","article-title":"A logic-based calculus of events","volume":"4","author":"Kowalski","year":"1986","journal-title":"New Gener. Comput."},{"key":"10.1016\/j.artint.2018.06.003_br0630","series-title":"Dynamic Epistemic Logic","author":"van Ditmarsch","year":"2007"},{"issue":"2","key":"10.1016\/j.artint.2018.06.003_br0640","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1093\/logcom\/exq024","article-title":"From situation calculus to dynamic epistemic logic","volume":"21","author":"van Ditmarsch","year":"2011","journal-title":"J. Log. Comput."},{"key":"10.1016\/j.artint.2018.06.003_br0650","article-title":"Reasoning Robots: The Art and Science of Programming Robotic Agents","author":"Thielscher","year":"2005"},{"issue":"2\u20134","key":"10.1016\/j.artint.2018.06.003_br0660","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. Log. Program."},{"key":"10.1016\/j.artint.2018.06.003_br0670","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic of theory change: partial meet contraction and revision functions","volume":"50","author":"Alchourr\u00f2n","year":"1985","journal-title":"J. Symb. Log."},{"issue":"4","key":"10.1016\/j.artint.2018.06.003_br0680","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1023\/A:1025050800836","article-title":"Probabilistic dynamic epistemic logic","volume":"12","author":"Kooi","year":"2003","journal-title":"J. Log. Lang. Inf."},{"issue":"1","key":"10.1016\/j.artint.2018.06.003_br0690","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1017\/S1471068408003645","article-title":"Probabilistic reasoning with answer sets","volume":"9","author":"Baral","year":"2009","journal-title":"Theory Pract. Log. Program."},{"key":"10.1016\/j.artint.2018.06.003_br0700","series-title":"Proc. Australian Joint Conference on Artificial Intelligence","first-page":"27","article-title":"Planning with noisy actions (preliminary report)","author":"Thielscher","year":"2001"},{"key":"10.1016\/j.artint.2018.06.003_br0710","series-title":"International Conference on Agents and Artificial Intelligence","article-title":"Integrating reasoning about actions and Bayesian networks","author":"Martin","year":"2009"},{"issue":"1\u20134","key":"10.1016\/j.artint.2018.06.003_br0720","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1023\/A:1016738205696","article-title":"Probabilistic situation calculus","volume":"32","author":"Mateus","year":"2001","journal-title":"Ann. Math. Artif. Intell."},{"key":"10.1016\/j.artint.2018.06.003_br0730","series-title":"Proc. ICAPS","first-page":"346","article-title":"Computing robust plans in continuous domains","author":"Fritz","year":"2009"},{"key":"10.1016\/j.artint.2018.06.003_br0740","series-title":"Proc. AAAI","first-page":"355","article-title":"Decision-theoretic, high-level agent programming in the situation calculus","author":"Boutilier","year":"2000"},{"key":"10.1016\/j.artint.2018.06.003_br0750","series-title":"Proc. IJCAI","first-page":"690","article-title":"Symbolic dynamic programming for first-order MDPs","author":"Boutilier","year":"2001"},{"issue":"1","key":"10.1016\/j.artint.2018.06.003_br0760","first-page":"94","article-title":"Decision-theoretic planning: structural assumptions and computational leverage","volume":"11","author":"Boutilier","year":"1999","journal-title":"J. Artif. Intell. Res."},{"key":"10.1016\/j.artint.2018.06.003_br0770","series-title":"Proc. AAAI","first-page":"1140","article-title":"Symbolic dynamic programming for first-order POMDPs","author":"Sanner","year":"2010"},{"issue":"2","key":"10.1016\/j.artint.2018.06.003_br0780","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1093\/jigpal\/11.2.179","article-title":"cc-Golog \u2013 a logical language dealing with continuous change","volume":"11","author":"Grosskreutz","year":"2003","journal-title":"Log. J. IGPL"},{"key":"10.1016\/j.artint.2018.06.003_br0790","series-title":"AAAI\/IAAI","first-page":"639","article-title":"Reasoning about continuous processes","volume":"vol. 1","author":"Herrmann","year":"1996"},{"key":"10.1016\/j.artint.2018.06.003_br0800","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1613\/jair.2044","article-title":"Modelling mixed discrete-continuous domains for planning","volume":"27","author":"Fox","year":"2006","journal-title":"J. Artif. Intell. Res."},{"issue":"1","key":"10.1016\/j.artint.2018.06.003_br0810","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0004-3702(94)00087-H","article-title":"An algorithm for probabilistic planning","volume":"76","author":"Kushmerick","year":"1995","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2018.06.003_br0820","series-title":"PPDDL 1. 0: an Extension to PDDL for Expressing Planning Domains with Probabilistic Effects","author":"Younes","year":"2004"},{"key":"10.1016\/j.artint.2018.06.003_br0830","series-title":"Relational Dynamic Influence Diagram Language (RDDL): Language Description","author":"Sanner","year":"2011"},{"key":"10.1016\/j.artint.2018.06.003_br0840","series-title":"Proc. KR","article-title":"How to progress beliefs in continuous domains","author":"Belle","year":"2014"},{"key":"10.1016\/j.artint.2018.06.003_br0850","series-title":"Proc. AAAI","article-title":"PREGO: an action language for belief-based cognitive robotics in continuous domains","author":"Belle","year":"2014"},{"issue":"4","key":"10.1016\/j.artint.2018.06.003_br0860","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1145\/383779.383780","article-title":"On knowledge-based programming with sensing in the situation calculus","volume":"2","author":"Reiter","year":"2001","journal-title":"ACM Trans. Comput. Log."},{"key":"10.1016\/j.artint.2018.06.003_br0870","series-title":"Handbook of Knowledge Representation","first-page":"869","article-title":"Cognitive robotics","author":"Lakemeyer","year":"2007"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S000437021830314X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S000437021830314X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,8,10]],"date-time":"2024-08-10T03:50:01Z","timestamp":1723261801000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S000437021830314X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":87,"alternative-id":["S000437021830314X"],"URL":"https:\/\/doi.org\/10.1016\/j.artint.2018.06.003","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2018,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems","name":"articletitle","label":"Article Title"},{"value":"Artificial Intelligence","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.artint.2018.06.003","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Crown Copyright \u00a9 2018 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}