ISBN: 3-540-67866-2
TITLE: Recent Advances in AI Planning
AUTHOR: Biundo, Susanne; Fox, Maria (Eds.)
TOC:

Planning as Model Checking 1
Fausto Giunchiglia and Paolo Traverso
Conformant Planning via Model Checking 21
Alessandro Cimatti and Marco Roveri
Strong Cyclic Planning Revisited 35
Marco Daniele, Paolo Traverso, and Moshe Y. Vardi
Scaleability in Planning 49
Vassilis Liatsos and Barry Richards
Exploiting Competitive Planner Performance 62
Adele E. Howe, Eric Dahlman, Christopher Hansen, Michael Scheetz, and Anneliese von Mayrhauser
A Parallel Algorithm for POMDP Solution 73
Larry D. Pyeatt and Adele E. Howe
Plan Merging & Plan Reuse as Satisfiability 84
Amol D. Mali
SAT-Based Procedures for Temporal Reasoning 97
Alessandro Armando, Claudio Castellini, and Enrico Giunchiglia
Numeric State Variables in Constraint-Based Planning 109
Jussi Rintanen and Hartmut Jungholt
Hierarchical Task Network Planning as Satisfiability 122
Amol D. Mali
Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length 135
Stefan Edelkamp and Malte Helmert
Action Constraints for Planning 148
Ulrich Scholz
Least Commitment on Variable Binding in Presence of Incomplete Knowledge 159
R. Barruffi, E. Lamma, P. Mello, and M. Milano
Scaling up Planning by Teasing out Resource Scheduling 172
Biplav Srivastava and Subbarao Kambhampati
Real-Time Scheduling for Multi-agent Call Center Automation 187
Yong Wang, Qiang Yang, and Zhong Zhang
Task Decomposition Support to Reactive Scheduling 200
Brian Drabble
Greedy Algorithms for the Multi-capacitated Metric Scheduling Problem 213
Amedeo Cesta, Angelo Oddi, and Stephen F. Smith
Automata-Theoretic Approach to Planning for Temporally Extended Goals 226
Giuseppe De Giacomo and Moshe Y. Vardi
Integer Programs and Valid Inequalities for Planning Problems 239
Alexander Bockmayr and Yannis Dimopoulos
Deductive Synthesis of Recursive Plans in Linear Logic 252
Stephen Cresswell, Alan Smaill, and Julian Richardson
Sensor Planning with Non-linear Utility Functions 265
Sven Koenig and Yaxin Liu
Propice-Plan: Toward a Unified Framework for Planning and Execution 278
Olivier Despouys and Franois F. Ingrand
What Is the Expressive Power of Disjunctive Preconditions? 294
Bernhard Nebel
Some Results on the Complexity of Planning with Incomplete Information 308
Patrik Haslum and Peter Jonsson
Probabilistic Planning in the Graphplan Framework 319
Avrim L. Blum and John C. Langford
Making Graphplan Goal-Directed 333
Eric Parker
GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables 347
Ioannis Refanidis and Ioannis Vlahavas
Planning as Heuristic Search: New Results 360
Blai Bonet and Hctor Geffner
Author Index 373
END
