Your search returned the following 17 documents:

17. Adapting an AI Planning Heuristic for Directed Model Checking
    Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, and Gerd Behrmann
    In: Model checking software : 13th International SPIN Workshop, Vienna, Austria, 2006, 35-52
    
16. Conformant planning via heuristic forward search: A new approach
    Jörg Hoffmann and Ronen I. Brafman
    Artificial Intelligence 170: 507-541, 2006
    
15. Fast Probabilistic Planning Through Weighted Model Counting
    Carmel Domshlak and Jörg Hoffmann
    In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), The English Lake District, 2006, 243-252
    
14. Friends or Foes? An AI Planning Perspective on Abstraction and Search
    Jörg Hoffmann, Ashish Sabharwal, and Carmel Domshlak
    In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), The English Lake District, 2006, 294-303
    
13. Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
    Jörg Hoffmann, Carla Gomes, and Bart Selman
    In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), The English Lake District, 2006, 284-293
    
12. A Covering Problem for Hypercubes
    Jörg Hoffmann
    In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, Edinburgh, UK, 2005, 579-580
    
11. Contingent Planning via Heuristic Forward Search with Implicit Belief States
    Jörg Hoffmann and Ronen Brafman
    In: 15th International Conference on Automated Planning and Scheduling, Monterey, USA, 2005, 71-80
    
10. In Defense of PDDL Axioms
    Jörg Hoffmann
    Artificial Intelligence 168 (1-2): 38-69, 2005
    
9. The Deterministic Part of IPC-4: An Overview
   Jörg Hoffmann
   Journal of Artificial Intelligence Research 24: 519 - 579, 2005
   
8. Where Ignoring Delete Lists Works: Local Search Topology in Planning Benchmarks
   Jörg Hoffmann
   Journal of Artificial Intelligence Research 24: 685-758, 2005
   
7. Applying Automatic Planning Systems to Airport Ground Traffic Control -- A Feasibility Study
   Sebastian Trueg, Jörg Hoffmann, and Bernhard Nebel
   In: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, Ulm, Germany, 2004, 183-197
   
6. Conformant Planning via Heuristic Forward Search: A New Approach
   Ronen Brafman and Jörg Hoffmann
   In: Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), Whistler, Canada, 2004, 355-364
   
5. Ordered Landmarks in Planning
   Jörg Hoffmann, Julie Porteous, and Laura Sebastia
   Journal of Artificial Intelligence Research 22: 215-278, 2004
   
4. Branching Matters: Alternative Branching in Graphplan
   Jörg Hoffmann and Hector Geffner
   In: 13th International Conference on Automated Planning and Scheduling (ICAPS-13), Trento, Italy, 2003, 22-31
   
3. In Defense of PDDL Axioms
   Sylvie Thiebaux, Jörg Hoffmann, and Bernhard Nebel
   In: 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico, 2003, 961-966
   
2. The Metric-FF Planning System: Translating ``Ignoring Delete Lists'' To Numeric State Variables
   Jörg Hoffmann
   Journal of Artificial Intelligence Research 20 (1): 51 p., 2003
   
1. Utilizing Problem Structure in Planning: A Local Search Approach
   Jörg Hoffmann
   , Springer, Berlin, 2003, 264 p.