- Penetration Testing == POMDP Solving? Carlos Sarraute
- Improving Local Search for Resource-Constrained Planning Hootan Nakhost
- Distrib Parallel Databases DOI 10.1007/s10619-010-7060-9
- Conformant Planning via Heuristic Forward Search: A New Approach Ronen I. Brafman
- Planning with Goal Agendas Jana Koehler Jorg Hoffmann
- Extending FF to Numerical State Variables J org Hoffmann 1
- Contingent Planning via Heuristic Forward Search with Implicit Belief States J org Hoffmann
- Adapting an AI Planning Heuristic for Directed Model Sebastian Kupferschmid 1 , Jorg Hoffmann 2 , Henning Dierks 3 , and
- Covering Problem for Hypercubes MaxPlanckInstitut Informatik
- Towards Scalable Web Service Composition With Partial Matches Adina Sirbu, Jorg Hoffmann
- Journal of Arti cial Intelligence Research 12 (2000) 339{386 Submitted 12/99; published 6/00 On Reasonable and Forced Goal Orderings and their Use in
- A New Method to Index and Query Sets Jorg Hoffmann and Jana Koehler
- On the Extraction, Ordering, and Usage of Landmarks in Planning
- FF: The FastForward Planning System Jorg Hoffmann
- All that Glitters is not Gold: Using Landmarks for Reward Shaping in FPG
- Journal of Artificial Intelligence Research 41 (2011) 155-229 Submitted 01/11; published 06/11 Analyzing Search Topology Without Running Any Search
- Extending Planning Graphs to an ADL Subset Jana Koehler, Bernhard Nebel, Jorg Hoffmann, and Yannis Dimopoulos
- Quo Vadis, IPC4? ---Proposals for the Classical Part of the 4th International Planning Competition
- Journal of Artificial Intelligence Research 14 (2001) 253302 Submitted 2/01; published 5/01 The FF Planning System: Fast Plan Generation Through
- Fast Directed Model Checking via Russian Doll Abstraction
- Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code
- Towards Efficient Belief Update for Planning-Based Web Service Composition
- Applying Automatic Planning Systems to Airport Ground-Tra c Control A Feasibility Study
- SAP Speaks PDDL Jorg Hoffmann
- On the Instantiation of ADL Operators Involving Arbitrary FirstOrder Formulas
- Functional description of geoprocessing services as conjunctive datalog queries
- Logical Methods in Computer Science Vol. 3 (1:6) 2007, pp. 141
- Enhancing the Context-Enhanced Additive Heuristic with Precedence Constraints Jilin University
- Journal of Artificial Intelligence Research 24 (2005) 685758 Submitted 03/05; published 11/05 Where ``Ignoring Delete Lists'' Works
- FF: The Fast-Forward Planning System Jorg Ho mann
- What Makes The Difference Between HSP and FF? J org Hoffmann \Lambda and Bernhard Nebel
- Local Search Topology in Planning Benchmarks: A Theoretical Analysis J org Hoffmann
- Improving Local Search for Resource-Constrained Planning Hootan Nakhost
- Journal Artificial Intelligence Research (2005) 519579 Submitted 12/04; published 10/05 The Deterministic Part of IPC4: Overview
- Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF
- Sampling and Soundness: Can We Have Both? Carla Gomes1
- Conformant Planning via Heuristic Forward Search Ronen I. Brafman
- In Defense PDDL Axioms Sylvie Thi ebaux
- A Heuristic for Domain Independent Planning and its Use in an Enforced Hillclimbing Algorithm
- Journal of Artificial Intelligence Research 20 (2003) 11 Submitted 10/02; published 12/03 The MetricFF Planning System: Translating ``Ignoring
- Artificial Intelligence 170 (2006) 507541 www.elsevier.com/locate/artint
- RIFO Revisited: Detecting Relaxed Irrelevance Jorg Hoffmann and Bernhard Nebel
- Ontology-based Integration of Sensor Web Services in Disaster Management
- Journal of Artificial Intelligence Research 30 (2007) 565-620 Submitted 3/07; published 12/07 Probabilistic Planning via Heuristic Forward Search
- Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty
- SAT Encodings of State-Space Reachability Problems in Numeric Domains Jorg Hoffmann
- Composing Services for Third-party Service Delivery Ingo Weber1
- UPPAAL/DMC Abstraction-Based Heuristics for Directed Model Checking
- In Defense of PDDL Axioms # Sylvie Thi ebaux
- March 25, 2011 22:12 WSPC/INSTRUCTION FILE IJSC-main International Journal of Semantic Computing
- Journal of Artificial Intelligence Research 36 (2009) 415-469 Submitted 03/09; published 12/09 Friends or Foes? On Planning as Satisfiability
- Journal of Artificial Intelligence Research 35 (2009) 49-117 Submitted 10/08; published 05/09 Message-Based Web Service Composition, Integrity Constraints, and
- Journal of Arti cial Intelligence Research 14 (2001) 253-302 Submitted 2/01; published 5/01 The FF Planning System: Fast Plan Generation Through
- Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning
- Brothers in Arms? On AI Planning and Cellular Automata
- Beyond Soundness: On the Semantic Consistency of Executable Process Models Ingo Weber, Jorg Hoffmann
- Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services
- Explicit-State Abstraction: A New Method for Generating Heuristic Functions Malte Helmert
- Semantic Annotation and Composition of Business Processes with Maestro
- SWING: An Integrated Environment for Geospatial Semantic Web Services
- A Caching Mechanism for Semantic Web Service Discovery
- Flexible Abstraction Heuristics for Optimal Sequential Planning Malte Helmert
- Short XORs for Model Counting: From Theory to Practice
- Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
- Ontology Design for Information Integration in Disaster Grigori Babitski
- Relaxation Refinement: A New Method to Generate Heuristic Functions
- Planning@SAP: An Application in Business Process Management Jorg Hoffmann
- A "Tough Nuts" Track for the IPC Jorg Hoffmann
- Towards a Methodology for Semantic Business Process Modeling and Configuration
- Journal of Artificial Intelligence Research 26 (2006) 453541 Submitted 12/05; published 08/06 Engineering Benchmarks for Planning: the Domains Used in the
- Journal of Artificial Intelligence Research 30 (2007) 565620 Submitted 3/07; published 12/07 Probabilistic Planning via Heuristic Forward Search
- Branching Matters: Alternative Branching in Graphplan J org Hoffmann
- Artificial Intelligence (2005) 38--69 www.elsevier.com/locate/artint defense of PDDL axioms
- An overview of recent algorithms for AI planning Jussi Rintanen and J org Hoffmann
- Journal of Arti cial Intelligence Research 22 (2004) 215-278 Submitted 05/04; published 11/04 Ordered Landmarks in Planning
- Inf Syst Front DOI 10.1007/s10796-009-9179-7
- Local Search Topology in Planning Benchmarks: An Empirical Analysis J org Hoffmann
- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL
- Supporting Execution-Level Business Process Modeling with Semantic Technologies
- Towards Thorough Empirical Methods for AI Planning J org Hoffmann \Lambda and Bernhard Nebel
- Where Ignoring Delete Lists Works, Part II: Causal Graphs Jorg Hoffmann
- The TorchLight Tool: Analyzing Search Topology Without Running Any Search Jorg Hoffmann
- Everything You Always Wanted to Know About (But Were Afraid to Ask)
- The TorchLight Tool: Analyzing Search Topology Without Running Any Search
- Semantic Web Services Fundamentals Stijn Heymans, Jorg Hoffmann, Annapaola Marconi, Joshua Phillips, and Ingo
- How to Relax a Bisimulation? Michael Katz and Jorg Hoffmann
- Semi-Relaxed Plan Heuristics Emil Keyder
