Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems
Sponsored by the Association for the Advancement of Artificial Intelligence
Edited by Reid Simmons, Manuela Veloso, and Stephen Smith
June 7–10, Pittsburgh, Pennsylvania. 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
Applications
AIPS Organization / viii
Preface / ix
Flexible and Scalable Query Planning in Distributed and Heterogeneous
Environments / 3
José Luis Ambite and Craig A. Knoblock
AsbruView: Visualization of Time-Oriented, Skeletal Plans / 11
Silvia Miksch, Robert Kosara, Yuval Shahar, and Peter Johnson
Multi-Agent Coalition Formation in Power Transmission Planning: A Bilateral
Shapley Value Approach / 19
Javier Contreras, Matthias Klusch, and Jerome Yen
Generation of Multiple Qualitatively Different Plan Options / 27
Austin Tate, Jeff Dalton, and John Levine
Classical Algorithms
Strong Planning in Non-Deterministic Domains Via Model Checking / 36
Alessandro Cimatti, Marco Roveri, and Paolo Traverso
Conditional Effects in Graphplan / 44
Corin R. Anderson, David E. Smith, and Daniel S. Weld
Making Forward Chaining Relevant / 54
Fahiem Bacchus and Yee Whye Teh
Solving Complex Planning Tasks Through Extraction of Subproblems / 62
Jana Koehler
Leap Before You Look: Information Gathering in the PUCCINI Planner / 70
Keith Golden
A Complete Bidirectional Planner / 78
Eugene Fink and Jim Blythe
Decision-Theoretic Planning
MAXPLAN: A New Approach to Probabilistic Planning / 86
Stephen M. Majercik and Michael L. Littman
Search Control of Plan Generation in Decision-Theoretic Planners / 94
Richard Goodwin and Reid Simmons
Solving Stochastic Planning Problems with Large State and Action Spaces /
102
Thomas Dean, Robert Givan, and Kee-Eung Kim
A Modular Structured Approach to Conditional Decision-Theoretic Planning /
111
Liem Ngo, Peter Haddawy, and Hien Nguyen
Planning and Learning
Planning, Execution and Learning in a Robotic Agent / 120
Karen Zita Haigh and Manuela M. Veloso
How to Solve It Automatically: Selection Among Problem Solving Methods /
128
Eugene Fink
Genetic Programming of Control Knowledge for Planning / 137
Ricardo Aler, Daniel Borrajo, and Pedro Isasi
Robotics and Agents
Solving Robot Navigation Problems with Initial Pose Uncertainty Using Real-Time
Heuristic Search / 145
Sven Koenig and Reid G. Simmons
A Multiagent Planning Architecture / 154
David E. Wilkins and Karen L. Myers
Causal Models of Mobile Service Robot Behavior / 163
Michael Beetz and Henrik Grosskreutz
Rationale-Based Monitoring for Planning in Dynamic Environments / 171
Manuela M. Veloso, Martha E. Pollack, and Michael Cox
Satplan + Logic
The Role of Domain-Specific Knowledge in the Planning as Satisfiability
Framework / 181
Henry Kautz and Bart Selman
Encoding HTN Planning in Propositional Logic / 190
Amol D. Mali and Subbarao Kambhampati
The "Limit" Domain / 199
Erica Melis
Scheduling
Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving
Hard Scheduling Problems / 208
Carla P. Gomes, Bart Selman, Ken McAloon, and Carol Tretkoff
Profile Based Algorithms to Solve Multiple Capacitated Metric Scheduling
Problems / 214
Amedeo Cesta, Angelo Oddi, and Stephen F. Smith
A Conditional Scheduling Approach to Designing Real-Time Systems / 224
Lloyd Greenwald and Thomas Dean