Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 13:24, 23 October 2019

Search the publication database

  . Return

Your search returned the following 17 documents:

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