Table of Contents
|
Participants |
1 |
|
Call for Participation |
2 |
|
Planning by Rewriting as Domain-Independent Local Search José Luis Ambite |
3 |
|
C-SATPLAN: a SATPlan-based Tool for Planning with Constraints Marco Baioletti, Stefano Marcugini, and Alfredo Milani |
4 |
|
Probabilistic Planning in the Graphplan Framework Avrim L. Blum and John C. Langford |
8 |
|
Abstract Local Search James M. Crawford, Mukesh Dalal, and Joachim P. Walser |
13 |
|
Evaluating Constraint Processing Algorithms Rina Dechter and Daniel Frost |
18 |
|
A Type-theoretic Semantics for Propositional Linear Planning Maria Fox and Derek Long |
26 |
|
Classical, Probabilistic, and Contingent Planning: Three Models, One Algorithm Héctor Geffner |
31 |
|
Inferring State Constraints as Control Knowledge for Domain-Independent Planning Alfonso Gerevini |
36 |
|
Operations Research in Scheduling: Opportunities for Integration with AI |
38 |
|
Carla P. Gomes |
|
|
Modeling-Based Integration of Optimization and Constraint Satisfaction Methods J. N. Hooker |
43 |
|
Structural Analysis of POP Domains Adele Howe and Eric Dahlman |
45 |
|
Towards Conflict Resolution Planning: A Set-Theoretic Model Blaga N. Iordanova |
46 |
|
STRIPS Planning and Temporal CSPs Ari K. Jónsson and David E. Smith |
53 |
|
Making Graphplan Goal-Directed Subbarao Kambhampati and Eric Parker |
54 |
|
BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving Henry Kautz and Bart Selman |
58 |
|
The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework Henry Kautz and Bart Selman |
61 |
|
Solving Real-World Problems with AI Planning Technology Craig A. Knoblock |
70 |
|
The IPP Planner: Exploring the Possibilities of Planning Graphs Jana Koehler |
71 |
|
Real-Time Heuristic Search: Research Issues Sven Koenig |
75 |
|
Applying the Graphplan Approach to HTN Planning Amnon Lotem, Dana S. Nau, and Jim Hendler |
80 |
|
Probabilistic Planning with MAXPLAN Stephen M. Majercik and Michael L. Littman |
85 |
|
Frugal Propositional Encodings for Planning Amol D. Mali and Subbarao Kambhampati |
89 |
|
Refinement-based Planning As Satisfiability Amol D. Mali and Subbrao Kambhampati |
95 |
|
Planning: An Overview of the Area A. Meystel |
101 |
|
Partial Plans Completion with GRAPHPLAN Alfredo Milani, Stefano Marcugini, and Marco Baioletti |
106 |
|
Integer Programming Models in AI Planning: Preliminary Experimental Results Thomas Vossen, Michael Ball, Amnon Lotem and Dana Nau |
111 |
|
Real-Time Optimization: Bin Packing Using a Parallel Distributed Architecture Joseph P. Wetstein and Allon Guez |
114 |