A history based approximate epistemic action theory for efficient postdictive reasoning

Bäckström, 1995, Complexity results for SAS+ planning, Comput. Intell., 11, 625, 10.1111/j.1467-8640.1995.tb00052.x Baral, 2003 Baral, 2000, Computational complexity of planning and approximate planning in the presence of incompleteness, Artif. Intell., 122, 241, 10.1016/S0004-3702(00)00043-6 Bertoli, 2001, MBP: a Model Based Planner Bhatt, 2013, Geospatial narratives and their spatio-temporal dynamics: commonsense reasoning for high-level analyses in geographic information systems Bonet, 2011, Planning under partial observability by classical replanning: theory and experiments Brachman, 2004 Carnap, 1956 Cimatti, 2003, Weak, strong, and strong cyclic planning via symbolic model checking, Artif. Intell., 147, 35, 10.1016/S0004-3702(02)00374-0 Davis, 1990, Representations of Common Sense Knowledge Demolombe, 2000, A simple and tractable extension of situation calculus to epistemic logic van Ditmarsch, 2007 Eppe, 2013, Narrative based postdictive reasoning for cognitive robotics Eppe, 2015, Approximate postdictive reasoning with answer set programming, J. Appl. Log., 13, 676, 10.1016/j.jal.2015.08.002 Eppe, 2013, Approximate epistemic planning with postdiction as answer-set programming Fagin, 1995 Fikes, 1971, STRIPS: a new approach to the application of theorem proving to problem solving, Artif. Intell., 2, 189, 10.1016/0004-3702(71)90010-5 de Giacomo, 1998, An incremental interpreter for high-level programs with sensing Hanks, 1987, Nonmonotonic logic and temporal projection, Artif. Intell., 33, 379, 10.1016/0004-3702(87)90043-9 van Harmelen, 2007 Hintikka, 1962 Hoffmann, 2005, Contingent planning via heuristic forward search with implicit belief states Hölldobler, 1990, A new deductive approach to planning, New Gener. Comput., 8, 225, 10.1007/BF03037518 Kahramanogullari, 2003, A formal assessment result for fluent calculus using the action description language Ak Kowalski, 1986, A logic-based calculus of events, New Gener. Comput., 4, 67, 10.1007/BF03037383 Kripke, 1963, Semantical considerations on modal logic, Acta Philos. Fenn., 16, 83 Lakemeyer, 1998, AOL: a logic of acting, sensing, knowing, and only knowing Levesque, 1990, All I know: a study in autoepistemic logic, Artif. Intell., 43, 263, 10.1016/0004-3702(90)90056-6 Liu, 2005, Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions Lobo, 2001, Knowledge and the action description language A, Theory Pract. Log. Program., 1, 129 Ma, 2013, An epistemic event calculus for ASP-based reasoning about knowledge of the past, present and future McCarthy, 1963 McCarthy, 1998, Elaboration tolerance McDermott, 1998 Miller, 2013, Reasoning about knowledge and action in an epistemic event calculus Moore, 1985, A formal theory of knowledge and action Mueller, 2005 Muise, 2014, Computing contingent plans via fully observable non-deterministic planning Muise, 2012, Improved non-deterministic planning by exploiting state relevance, 172 Patkos, 2009, Reasoning with knowledge, action and time in dynamic and uncertain domains Patkos, 2012, Epistemic and causal commonsense reasoning in partially observable dynamic domains – from sensors to concepts Petrick, 2004, Extending the knowledge-based approach to planning with incomplete information and sensing Petrick, 2002, Knowledge equivalence in combined action theories Rintanen, 2004, Complexity of planning with partial observability Sardina, 2006, On the limits of planning over belief states under strict uncertainty Sardina, 2004, On the semantics of deliberation in IndiGolog – from theory to implementation, Ann. Math. Artif. Intell., 41, 259, 10.1023/B:AMAI.0000031197.13122.aa Scherl, 2003, Knowledge, action, and the frame problem, Artif. Intell., 144, 1, 10.1016/S0004-3702(02)00365-X Son, 2001, Formalizing sensing actions – a transition function based approach, Artif. Intell., 125, 19, 10.1016/S0004-3702(00)00080-1 Thielscher, 1998, Introduction to the fluent calculus, Linköp. Electron. Artic. Comput. Inf. Sci., 3 Thielscher, 2000, Representing the knowledge of a robot, 109 Thielscher, 2001, The concurrent, continuous fluent calculus, Stud. Log., 67, 315, 10.1023/A:1010558931274 Thielscher, 2005, FLUX: a logic programming method for reasoning agents, Theory Pract. Log. Program., 5, 10.1017/S1471068405002358 To, 2011, On the impact of belief state representation in planning under uncertainty To, 2012, A new approach to contingent planning using a disjunctive representation in AND/OR forward search with novel pruning techniques, J. Artif. Intell. Res. Tu, 2007, Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming, Theory Pract. Log. Program., 7, 377, 10.1017/S1471068406002948 Vlaeminck, 2012, A general representation and approximate inference algorithm for sensing actions