Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering

By Hannaneh Hajishirzi, Eyal Amir. 2010

11 citations recorded by the source corpus.

Citations in the corpus

• Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds (2017, background): “…has proven helpful in providing formal under-pinnings to automated planning formalisms [Lin and Reiter, 1997; McIlraith and Son, 2002], updates in closed-and open-world databases [ Hariri et al. , 2013 ] , and dynamic Bayesian networks over complex actions [Hajishirzi and Amir, 2010], among others.”
• A logical theory of robot localization (2014, background): “Moreover, apart from a few cases such as [11] and [18] that are propositional, they do not reason about rich actions explicitly.”
• A Logical Theory of Localization (2015, background): “Moreover, apart from a few cases such as [16] and [25] that are propositional, they do not reason about rich actions explicitly.”
• How to Progress Beliefs in Continuous Domains (2014, background): “The form of progression considered here follows Lin and Reiter and di ff ers from weaker forms including the one proposed by Liu and Levesque (2005), and the notion of logical filtering (Shirazi and Amir 2005; Hajishirzi and Amir 2010), which is a form of (approximate) progression.”