Online belief tracking using regression for contingent planning

Albore, 2009, A translation-based approach to contingent planning, 1623 Amir, 2003, Logical filtering, 75 Bertoli, 2001, MBP: a model based planner Bonet, 2011, Planning under partial observability by classical replanning: theory and experiments, 1936 Bonet, 2012, Width and complexity of belief tracking in non-deterministic conformant and contingent planning Bonet, 2014, Belief tracking for planning with sensing: width, complexity and approximation, J. Artif. Intell. Res., 50, 923, 10.1613/jair.4475 Brafman, 2012, A multi-path compilation approach to contingent planning Brafman, 2012, Replanning in domains with partial information and sensing actions, J. Artif. Intell. Res., 45, 565, 10.1613/jair.3711 Darwiche, 2002, A knowledge compilation map, J. Artif. Intell. Res., 17, 229, 10.1613/jair.989 Dijkstra, 1976 Eén, 2003, An extensible SAT-solver, 502 Ferraris, 2000, Planning as satisfiability in nondeterministic domains, 748 Herzig, 2003, Action representation and partially observable planning in epistemic logic, 1067 Hoare, 1969, An axiomatic basis for computer programming, Commun. ACM, 12, 576, 10.1145/363235.363259 Hoffmann, 2006, Conformant planning via heuristic forward search: a new approach, Artif. Intell., 170, 507, 10.1016/j.artint.2006.01.003 Levesque, 1998, Foundations for the situation calculus, Linköp. Electron. Artic. Comput. Inf. Sci., 3 Lin, 1997, Computational advantages of relevance reasoning in Bayesian belief networks, 342 McIlraith, 2000, What sensing tells us: towards a formal theory of testing for dynamical systems Palacios, 2009, Compiling uncertainty away in conformant planning problems with bounded width, J. Artif. Intell. Res., 35, 623, 10.1613/jair.2708 Reiter, 1991, The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression Reiter, 2001 Rintanen, 2008, Regression for classical and nondeterministic planning, 568 Scherl, 1993, The frame problem and knowledge producing actions, 689 Scherl, 2009, State-based regression with sensing and knowledge, Int. J. Softw. Inform., 3, 3 Shahaf, 2007, Logical circuit filtering, 2611 Shani, 2011, Replanning in domains with partial information and sensing actions, 2021 To, 2011, On the effectiveness of CNF and DNF representations in contingent planning, 2033 Waldinger, 1977, Achieving several goals simultaneously, 94