Recent advances in AI planning

DS Weld - AI magazine, 1999 - ojs.aaai.org
The past five years have seen dramatic advances in planning algorithms, with an emphasis
on propositional methods such as GRAPHPLAN and compilers that convert planning …

The FF planning system: Fast plan generation through heuristic search

J Hoffmann, B Nebel - Journal of Artificial Intelligence Research, 2001 - jair.org
We describe and evaluate the algorithmic techniques that are used in the FF planning
system. Like the HSP system, FF relies on forward state space search, using a heuristic that …

SHOP: Simple hierarchical ordered planner

D Nau, Y Cao, A Lotem, H Munoz-Avila - Proceedings of the 16th …, 1999 - dl.acm.org
SHOP (Simple Hierarchical Ordered Planner) is a domain-independent HTN planning
system with the following characteristics.• SHOP plans for tasks in the same order that they …

Using temporal logics to express search control knowledge for planning

F Bacchus, F Kabanza - Artificial intelligence, 2000 - Elsevier
Over the years increasingly sophisticated planning algorithms have been developed. These
have made for more efficient planners, but unfortunately these planners still suffer from …

Ordered landmarks in planning

J Hoffmann, J Porteous, L Sebastia - Journal of Artificial Intelligence …, 2004 - jair.org
Introduction Page 1 Journal of Artificial Intelligence Research 22 (2004) 215-278 Submitted
05/04; published 11/04 Ordered Landmarks in Planning Jiorg Hoffmann г б вв бд Йз Кбд К …

[PDF][PDF] Unifying SAT-based and graph-based planning

H Kautz, B Selman - IJCAI, 1999 - lia.disi.unibo.it
The Blackbox planning system unifies the planning as satisfiability framework (Kautz and
Selman 1992, 1996) with the plan graph approach to STRIPS planning (Blum and Furst …

[BUKU][B] Heuristic search: theory and applications

S Edelkamp, S Schrödl - 2011 - books.google.com
Search has been vital to artificial intelligence from the very beginning as a core technique in
problem solving. The authors present a thorough overview of heuristic search with a balance …

Planning through stochastic local search and temporal action graphs in LPG

A Gerevini, A Saetti, I Serina - Journal of Artificial Intelligence Research, 2003 - jair.org
We present some techniques for planning in domains specified with the recent standard
language PDDL2. 1, supporting'durative actions' and numerical quantities. These …

Planning Graph as a (dynamic) CSP: Exploiting EBL, DDB and other CSP search techniques in Graphplan

S Kambhampati - Journal of Artificial Intelligence Research, 2000 - jair.org
This paper reviews the connections between Graphplan's planning-graph and the dynamic
constraint satisfaction problem and motivates the need for adapting CSP search techniques …

Hierarchical GUI test case generation using automated planning

AM Memon, ME Pollack… - IEEE transactions on …, 2001 - ieeexplore.ieee.org
The widespread use of GUIs for interacting with software is leading to the construction of
more and more complex GUIs. With the growing complexity come challenges in testing the …