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