Computing perfect heuristics in polynomial time: On bisimulation and merge-and-shrink abstraction in optimal planning

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2011, Pages 1983-1990

  Nissim, Raz ^a   Hoffmann, Jörg ^b   Helmert, Malte ^c  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

^b INRIA   (France)

^c UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARK DOMAINS; BISIMULATIONS; GENERAL APPROACH; HEURISTIC DESIGNS; INFORMATION LOSS; OPTIMAL PLANNING; POLYNOMIAL-TIME; STATE OF THE ART;

ABSTRACTING; ALGORITHMS; ARTIFICIAL INTELLIGENCE; PLANNING; POLYNOMIAL APPROXIMATION;

FAULT TOLERANCE;

EID: 84863985223     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5591/978-1-57735-516-8/IJCAI11-331     Document Type: Conference Paper

References (9)

1. Klaus Dräger, Bernd Finkbeiner, and Andreas Podelski. Directed model checking with distance-preserving abstractions. In Proc. SPIN 2006, pages 19-34, 2006.
2. Stefan Edelkamp. Planning with pattern databases. In Proc. ECP 2001, pages 13-24, 2001.
3. Malte Helmert and Carmel Domshlak. Landmarks, critical paths and abstractions: What's the difference anyway? In Proc. ICAPS 2009, pages 162-169, 2009.
4. Malte Helmert and Robert Mattmüller. Accuracy of admissible heuristic functions in selected planning domains. In Proc. AAAI 2008, pages 938-943, 2008.
5. Malte Helmert, Patrik Haslum, and Jörg Hoffmann. Flexible abstraction heuristics for optimal sequential planning. In Proc. ICAPS 2007, pages 176-183, 2007.
6. Malte Helmert. Solving Planning Tasks in Theory and Practice. PhD thesis, University of Freiburg, 2006.
7. Michael Katz and Carmel Domshlak. Structural-pattern databases. In Proc. ICAPS 2009, pages 186-193, 2009.
8. Robin Milner. Operational and algebraic semantics of concurrent processes. In Handbook of TCS, pages 1201-1242. 1990.
9. Silvia Richter and Malte Helmert. Preferred operators and deferred evaluation in satisficing planning. In Proc. ICAPS 2009, pages 273-280, 2009.