Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems
Sponsored by the Association for the Advancement of Artificial Intelligence
Edited by Steve Chien, Subbarao Kambhampati and Craig A. Knoblock
April 14–17, 2000, Breckenridge, Colorado. 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
AIPS Organization / viI
Preface / viii
Oral Presentations
Learning Plan Rewriting Rules / 3
José Ambite, Craig A. Knoblock, and Steven Minton
DPPlan: An Algorithm for Fast Solutions Extraction from a Planning Graph / 13
Marco Baioletti, Stefano Marcugini, and Alfredo Milani
Heuristics for Constraint-Directed Scheduling with Inventory / 22
J. Christopher Beck
Mixed-Initiative Resource Management: The AMC Barrel Allocator / 32
Marcel A. Becker and Stephen F. Smith
Probabilistic Hybrid Action Models for Predicting Concurrent Percept-Driven Robot Behavior / 42
Michael Beetz and Henrik Grosskreutz
Planning with Incomplete Information as Heuristic Search in Belief Space / 52
Blai Bonet and Héctor Geffner
On-line Scheduling via Sampling / 62
Hyeong Soo Chang, Robert Givan, and Edwin K. P. Chong
A New Perspective on Algorithms for Optimizing Policies under Uncertainty / 72
Rina Dechter
Solving Planning-Graph by Compiling It into CSP / 82
Minh Binh Do and Subbarao Kambhampati
Solving Scheduling Problems with Setup Times and Alternative Resources / 92
F. Focacci, P. Laborie, and W. Nuijten
Utilizing Automatically Inferred Invariants in Graph Construction and Search / 102
Maria Fox and Derek Long
Fast Plan Adaptation through Planning Graphs: Local and Systematic Search Techniques / 112
Alfonso Gerevini and Ivan Serina
The Complexity of Model Aggregation / 122
Judy Goldsmith and Robert H. Sloan
Dynamic Programming for POMDPs Using a Factored State Representation / 130
Eric A. Hansen and Zhengzhu Feng
Admissible Heuristics for Optimal Planning / 140
Patrik Haslum and Héctor Geffner
Planning with Reduced Operator Sets / 150
Patrik Haslum and Peter Jonsson
Computing Global Strategies for Multi-Market Commodity Trading / 159
Milos Hauskrecht, Luis Ortiz, Ioannis Tsochantaridis, and Eli Upfal
OBDD-Based Universal Planning for Multiple Synchronized Agents in Non-Deterministic Domains / 167
Rune M. Jensen and Manuela M. Veloso
Planning in Interplanetary Space: Theory and Practice / 177
Ari K. Jónsson, Paul H. Morris, Nicola Muscettola, Kanna Rajan, and Ben Smith
Representations of Decision-Theoretic Planning Tasks / 187
Sven Koenig and Yaxin Liu
Automatic Synthesis and Use of Generic Types in Planning / 196
Derek Long and Maria Fox
New Advances in GraphHTN: Identifying Independent Subproblems in Large HTN Domains / 206
Amnon Lotem and Dana S. Nau
Object Transition Sequences: A New Form of Abstraction for HTN Planners / 216
T. L. McCluskey
Plan Generation for GUI Testing / 226
Atif M. Memon, Martha E. Pollack, and Mary Lou Soffa
Using Generic Preferences to Incrementally Improve Plan Quality / 236
Gregg Rabideau, Barbara Engelhardt, and Steve Chien
Learning Planning Operators in Real-World, Partially Observable Environments / 246
Matthew D. Schmill, Tim Oates, and Paul R. Cohen
Challenges and Methods in Testing the Remote Agent Planner / 254
Ben Smith, Martin S. Feather, and Nicola Muscettola
Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches / 264
Ioannis Tsamardinos, Martha E. Pollack, and John F. Horty
New Results about LCGP, a Least Committed GraphPlan / 273
Michel Cayrol, Pierre Régnier, and Vincent Vidal
Dispatchable Execution of Schedules Involving Consumable Resources / 283
Richard J. Wallace and Eugene C. Freuder
Poster Presentations
PSIPLAN: Open World Planning with y-Forms / 292
Tamara Babaian and James G. Schmolze
Using Iterative Repair to Improve the Responsiveness of Planning and Scheduling / 300
Steve Chien, Russell Knight, Andre Stechert, Rob Sherwood, and Gregg Rabideau
Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning / 308
Minh Binh Do, Biplav Srivastava, and Subbarao Kambhampati
Distance-Based Goal-Ordering Heuristics for Graphplan / 315
Subbarao Kambhampati and Romeo Sanchez Nigenda
Approximate Solutions to Factored Markov Decision Processes via Greedy Search in the Space of Finite State Controllers / 323
Kee-Eung Kim, Thomas L. Dean, and Nicolas Meuleau
Elevator Control as a Planning Problem / 331
Jana Koehler and Kilian Schuster
Computing Valid Intervals for Collections of Activities with Shared States and Resources / 339
Russell Knight, Gregg Rabideau, and Steve Chien
A Planner Fully Based on Linear Time Logic / 347
M. Cialdea Mayer, A. Orlandini, G. Balestreri, and C. Limongelli
Planning with Conflicting Advice / 355
Karen L. Myers
Exploiting State Constraints in Heuristic State-Space Planning / 363
Ioannis Refanidis and Ioannis Vlahavas
Applying Inductive Program Synthesis to Macro Learning / 371
Ute Schmid and Fritz Wysotzki
Using AI Planning Technology for Army Small Unit Operations / 379
Austin Tate, John Levine, Peter Jarvis, and Jeff Dalton
Vision-Servoed Localization and Behavior-Based Planning for an Autonomous Quadruped Legged Robot / 387
Manuela Veloso, Elly Winner, Scott Lenser, James Bruce, and Tucker Balch
A Unified Dynamic Approach for Dealing with Temporal Uncertainty and Conditional Planning / 395
Thierry Vidal
Index / 403