Approximate Epistemic Planning with Postdiction as Answer-Set Programming
暂无分享,去创建一个
[1] R. Brafman,et al. Contingent Planning via Heuristic Forward Search witn Implicit Belief States , 2005, ICAPS.
[2] Marco Pistore,et al. Weak, strong, and strong cyclic planning via symbolic model checking , 2003, Artif. Intell..
[3] Vladik Kreinovich,et al. Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness , 1999, IJCAI.
[4] Martin Gebser,et al. Challenges in Answer Set Solving , 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.
[5] Jorge Lobo,et al. Knowledge and the Action Description Language A , 2001, Theory Pract. Log. Program..
[6] Joohyung Lee,et al. Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming , 2014, J. Artif. Intell. Res..
[7] J. McCarthy. ELABORATION TOLERANCE , 1997 .
[8] Thomas Röfer,et al. Mobility Assistance in the Bremen Ambient Assisted Living Lab , 2010 .
[9] Son Thanh To. On the Impact of Belief State Representation in Planning under Uncertainty , 2011, IJCAI.
[10] Michael Gelfond,et al. Representing Action and Change by Logic Programs , 1993, J. Log. Program..
[11] Tran Cao Son,et al. Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming , 2006, Theory and Practice of Logic Programming.
[12] Fahiem Bacchus,et al. Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing , 2004, ICAPS.
[13] Joost Vennekens,et al. A General Representation and Approximate Inference Algorithm for Sensing Actions , 2012, Australasian Conference on Artificial Intelligence.
[14] Michael Thielscher,et al. Representing the Knowledge of a Robot , 2000, KR.
[15] Theodore Patkos,et al. Reasoning About Knowledge and Action in an Epistemic Event Calculus , 2013 .
[16] Hector J. Levesque,et al. Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions , 2005, IJCAI.
[17] Robert C. Moore. A Formal Theory of Knowledge and Action , 1984 .
[18] Maria del Pilar Pozos Parra,et al. A Simple and Tractable Extension of Situation Calculus to Epistemic Logic , 2000, ISMIS.
[19] Bernhard Nebel,et al. COMPLEXITY RESULTS FOR SAS+ PLANNING , 1995, Comput. Intell..
[20] Martin Gebser,et al. Answer Set Solving in Practice , 2012, Answer Set Solving in Practice.
[21] Mehul Bhatt,et al. h-approximation: History-Based Approximation of Possible World Semantics as ASP , 2013, ArXiv.
[22] Hector J. Levesque,et al. Knowledge, action, and the frame problem , 2003, Artif. Intell..
[23] Mehul Bhatt,et al. Narrative based Postdictive Reasoning for Cognitive Robotics , 2013, ArXiv.
[24] Tran Cao Son,et al. Formalizing sensing actions A transition function based approach , 2001, Artif. Intell..
[25] Ola Pettersson,et al. Execution monitoring in robotics: A survey , 2005, Robotics Auton. Syst..