A Proof System for Unsolvable Planning Tasks
暂无分享,去创建一个
[1] Randal E. Bryant,et al. Symbolic Manipulation of Boolean Functions Using a Graphical Representation , 1985, 22nd ACM/IEEE Design Automation Conference.
[2] S. Edelkamp. Planning with Pattern Databases , 2014 .
[3] Jörg Hoffmann,et al. State space search nogood learning: Online refinement of critical-path dead-end detectors in planning , 2017, Artif. Intell..
[4] Jörg Hoffmann,et al. Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends , 2016, AAAI.
[5] Malte Helmert,et al. The Fast Downward Planning System , 2006, J. Artif. Intell. Res..
[6] Patrik Haslum,et al. Merge-and-Shrink Abstraction , 2014, J. ACM.
[7] Malte Helmert,et al. Unsolvability Certificates for Classical Planning , 2017, ICAPS.
[8] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[9] Alon Itai,et al. Finding All Solutions if You can Find One , 1992 .
[10] Malte Helmert,et al. Sound and Complete Landmarks for And/Or Graphs , 2010, ECAI.
[11] Jendrik Seipp,et al. Fast Downward Aidos , 2016 .
[12] Sofia Cassel,et al. Graph-Based Algorithms for Boolean Function Manipulation , 2012 .
[13] Carmel Domshlak,et al. Landmarks, Critical Paths and Abstractions: What's the Difference Anyway? , 2009, ICAPS.
[14] Pierre Marquis,et al. A Knowledge Compilation Map , 2002, J. Artif. Intell. Res..
[15] Bernhard Nebel,et al. The FF Planning System: Fast Plan Generation Through Heuristic Search , 2011, J. Artif. Intell. Res..
[16] Jussi Rintanen,et al. Regression for Classical and Nondeterministic Planning , 2008, ECAI.
[17] Álvaro Torralba,et al. A Reminder about the Importance of Computing and Exploiting Invariants in Planning , 2015, ICAPS.
[18] Patrik Haslum,et al. New Admissible Heuristics for Domain-Independent Planning , 2005, AAAI.
[19] Patrik Haslum,et al. Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions , 2014, J. Artif. Intell. Res..
[20] Patrik Haslum,et al. Admissible Heuristics for Optimal Planning , 2000, AIPS.
[21] Blai Bonet,et al. Planning as heuristic search , 2001, Artif. Intell..