Proceedings of the Third Artificial Intelligence Planning Systems Conference
Sponsored by the Association for the Advancement of Artificial Intelligence
Edited by Brian Drabble
May 29–31, 1996, Edinburgh, Scotland. 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 / vii
Reviewed Papers
On-line Planning Simulation
Scott D. Anderson, Spelman College and Paul R. Cohen, University
of Massachusetts / 3
Modeling Planning Tasks
Leliane Barros, University of São Paulo; André Valente,
USC/Information Sciences Institute; Richard Benjamins, University of
Amsterdam / 11
Local Planning of Ongoing Activities
Michael Beetz and Drew McDermott, Yale University / 19
Event-Based Decompositions for Reasoning about External Change in
Planners
Jim Blythe, Carnegie Mellon University / 27
ITAS: A Portable, Interactive Transportation Scheduling Tool Using a
Search Engine Generated from Formal Specifications
Mark H. Burstein, BBN Systems and Technologies and Douglas R. Smith, Kestrel
Institute / 35
A Constraint Satisfaction Approach to Makespan Scheduling
Cheng-Chung Cheng and Stephen F. Smith, Carnegie Mellon University
/ 45
Static and Completion Analysis for Planning Knowledge Base Development
and Verification
Steve A. Chien, Jet Propulsion Laboratory, California Institute of
Technology / 53
Modeling Probabilistic Actions for Practical Decision-Theoretic
Planning
AnHai Doan, University of Wisconsin-Milwaukee / 62
TRAINS-95: Towards a Mixed-Initiative Planning Assistant
George Ferguson, James Allen, and Brad Miller, University of Rochester
/ 70
Modularity Issues in Reactive Planning
R. James Firby, University of Chicago / 78
Least-Commitment Action Selection
Marc Friedman and Daniel S. Weld, University of Washington /
86
Computing Parameter Domains as an Aid to Planning
Alfonso Gerevini, Università di Brescia and Lenhart Schubert,
University of Rochester / 94
Planning Experiments: Resolving Interactions between Two Planning
Spaces
Yolanda Gil, USC/Information Sciences Institute / 102
Expressive Planning and Explicit Knowledge
Robert P. Goldman and Mark S. Boddy, Honeywell Technology Center /
110
Using Loops in Decision-Theoretic Refinement Planners
Richard Goodwin, Carnegie Mellon University / 118
A Candidate Set Based Analysis of Subgoal Interactions in Conjunctive
Goal Planning
Subbarao Kambhampati, Laurie Ihrig, and Biplav Srivastava, Arizona State
University / 125
Building a Planner for Information Gathering: A Report from the
Trenches
Craig A. Knoblock, USC/Information Sciences Institute /
134
A Heuristic Estimator for Means-Ends Analysis in Planning
Drew McDermott, Yale University / 142
Planning for Manufacturing Workpieces by Storing, Indexing and Replaying
Planning Decisions
Héctor Muñoz-Avila and Frank Weberskirch, University of
Kaiserslautern / 150
A Procedural Knowledge Approach to Task-Level Control
Karen L. Myers, SRI International / 158
A Cooperative Repair Method for a Distributed Scheduling System
Daniel E. Neiman and Victor R. Lesser, University of Massachusetts
/ 166
Comparing Heuristic, Evolutionary and Local Search Approaches to
Scheduling
Soraya Rana, Adele E. Howe, L. Darrell Whitley, and Keith Mathias,
Colorado State University / 174
Suspending Recursion in Causal-Link Planning
David E. Smith and Mark A. Peot, Rockwell Science Center /
182
Algorithms for Solving Distributed Constraint Satisfaction Problems
(DCSPs)
Gadi Solotorevsky and Ehud Gudes, Ben-Gurion University of the Negev
/ 191
A Discipline for Reactive Rescheduling
J. E. Spragg, Carnegie Mellon University and Gerry Kelleher, John Moores
University, Liverpool / 199
A Planner for Exploratory Data Analysis
Robert St. Amant and Paul R. Cohen, University of Massachusetts /
205
Deduction-Based Refinement Planning
Werner Stephan and Susanne Biundo, German Research Center for Artificial
Intelligence (DFKI) / 213
Representing Plans as a Set of Constraints -- the <I-N-OVA>
Model
Austin Tate, The University of Edinburgh / 221
Planning While Learning Operators
Xuemei Wang, Carnegie Mellon University / 229
Flaw Selection Strategies for Value-Directed Planning
Mike Williamson, Carnegie Mellon University and Steve Hanks, University of
Washington / 237
Segmenting Reactions to Improve the Behavior of a Planning/Reacting
Agent
Michael Wolverton, Instituto di Elaborazione dell'Informazione and Richard
Washington, University of Pennsylvania / 245
Controlling Deliberation with the Success Probability in a Dynamic
Environment
Seiji Yamada, Tokyo Institute of Technology / 251
Invited Talks
Proof Planning
Alan Bundy, University of Edinburgh / 261
Planning-Based Control of Software Agents
Daniel S. Weld, University of Washington / 268
Model-Based Autonomous Systems in the New Millenium
Brian C. Williams, Recom Technologies, Nasa Ames Research Center /275
Index / 283