Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling
Sponsored by the Association for the Advancement of Artificial Intelligence
Edited by Malik Ghallab, Joachim Hertzberg, and Paolo Traverso
23–27 April 2002, Toulouse, France. Published by The AAAI Press, Menlo Park, California. This proceedings is available in book format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Preface / viii
Acknowledgments / ix
AIPS 2002 Program Committee / xi
AIPS 2002 Sponsors / xii
Analysis and Optimization of Plans
Planning Graph-based Heuristics for Cost-sensitive Temporal Planning / 3
Minh B. Do and Subbarao Kambhampati
LPG: A Planner Based on Local Search for Planning Graphs with Action Costs / 13
Alfonso Gerevini and Ivan Serina
Analyzing Plans with Conditional Effects / 23
Elly Winner and Manuela Veloso
Complexity and Decidability
Structure and Complexity in Planning with Unary Operators / 34
Carmel Domshlak and Ronen I. Brafman
Decidability and Undecidability Results for Planning with Numerical State Variables / 44
Malte Helmert
On the Role of Ground Actions in Refinement Planning / 54
Håkan L. S. Younes and Reid G. Simmons
Distributed Planning and Execution
Active Coordination of Distributed Human Planners / 63
Karen L. Myers, Peter A. Jarvis, and Thomas J. Lee
Planning for Distributed Execution through Use of Probabilistic Opponent Models / 72
Patrick Riley and Manuela Veloso
Domain Analysis
Extending the Exploitation of Symmetries in Planning / 83
Maria Fox and Derek Long
Local Search Topology in Planning Benchmarks: A Theoretical Analysis / 92
Jörg Hoffmann
Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner / 101
Jonas Kvarnström
Learning and Knowledge Acquisition
On Control Knowledge Acquisition by Exploiting Human-Computer Interaction / 112
Ricardo Aler and Daniel Borrajo
An Interactive Method for Inducing Operator Descriptions / 121
T. Lee McCluskey, N. Elisabeth Richardson, and Ron M. Simpson
CaMeL: Learning Method Preconditions for HTN Planning / 131
Okhtay Ilghami, Dana Nau, Héctor Muñoz-Avila, and David W. Aha
Planning in Nondeterministic Domains
Improving Heuristics for Planning as Search in Belief Space / 143
Piergiorgio Bertoli and Alessandro Cimatti
Fragment-based Conformant Planning / 153
James A. Kurien, P. Pandurang Nayak, and David E. Smith
Faster Probabilistic Planning through More Efficient Stochastic Satisfiability Problem Encodings / 163
Stephen M. Majercik and Andrew P. Rusczek
Backward Plan Construction for Planning with Partial Observability / 173
Jussi T. Rintanen
Planning with Incomplete Information
Speculative Execution for Information Gathering Plans / 184
Greg Barish and Craig A. Knoblock
Execution Monitoring with Quantitative Temporal Dynamic Bayesian Networks / 194
Dirk Colbry, Bart Peintner, and Martha E. Pollack
Estimated-Regression Planning for Interactions with Web Services / 204
Drew V. McDermott
A Knowledge-Based Approach to Planning with Incomplete Information and Sensing / 212
Ronald P. A. Petrick and Fahiem Bacchus
Representations for Planning
Plan Representation for Robotic Agents / 223
Michael Beetz
Universal Quantification in a Constraint-Based Planner / 233
Keith Golden and Jeremy Frank
A Plan-Based Personalized Cognitive Orthotic / 243
Colleen E. McCarthy and Martha E. Pollack
The Logic of Reachability / 253
David E. Smith and Ari K. Jánsson
On the Identification and Use of Hierarchical Resources in Planning and Scheduling / 263 Bernd Schattenberg and Susanne Biundo
Scheduling and Heuristics
Symbolic Pattern Databases in Heuristic Search Planning / 274
Stefan Edelkamp
Constraint Model-based Planning and Scheduling with Multiple Resources
and Complex Collaboration Schema / 284
Christophe Guettier, Bertrand Allo, Vincent Legendre, Jean-Clair Poncet, and Nelly Strady-Lécubin
Heuristic Search-Based Replanning / 294
Sven Koenig, David Furcy, and Colin Bauer
The FAR-OFF System: A Heuristic Search Case-Based Planning / 302
Flavio Tonidandel and Márcio Rillo
Filtering Algorithms for Batch Processing with Sequence Dependent Setup Times / 312
Petr Vilím and Roman Barták
Invited Paper
Planning Technology for Intelligent Cognitive Orthotics / 322
Martha E. Pollack
Planning Competition
The Third International Planning Competition: Temporal and Metric Planning / 333
Maria Fox and Derek Long
Index / 337