Book One

Contents

• Model-based Autonomous Systems in the New Millennium

  Brian C. Williams

  PDF

• A Planner for Exploratory Data Analysis

  Robert St. Amant and Paul R. Cohen

  PDF

• TRAINS-95: Towards a Mixed-Initiative Planning Assistant

  George Ferguson, James Allen, and Brad Miller, University of Rochester

  PDF

• Comparing Heuristic, Evolutionary and Local Search Approaches to Scheduling

  Soraya Rana, Adele E. Howe, L. Darrell Whitley, and Keith Mathias, Colorado State University

  PDF

• Algorithms for Solving Distributed Constraint Satisfaction Problems (DCSPs)

  Gadi Solotorevsky and Ehud Gudes

  PDF

• Least-Commitment Action Selection

  Marc Friedman and Daniel S. Weld

  PDF

• A Heuristic Estimator for Means-Ends Analysis in Planning

  Drew McDermott, Yale University

  PDF

• Planning Experiments: Resolving Interactions between Two Planning Spaces

  Yolanda Gil, USC/Information Sciences Institute

  PDF

• Preface

  Brian Drabble

  PDF

• ITAS: A Portable, Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications

  Mark H. Burstein and Douglas R. Smith

  PDF

• Flaw Selection Strategies for Value-Directed Planning

  Mike Williamson and Steve Hanks

  PDF

• Deduction-based Refinement Planning

  Werner Stephan and Susanne Biundo

  PDF

• A Cooperative Repair Method for a Distributed Scheduling System

  Daniel E. Neiman and Victor R. Lesser, University of Massachusetts

  PDF

• Planning-Based Control of Software Agents

  Daniel S. Weld

  PDF

• Expressive Planning and Explicit Knowledge

  Robert P. Goldman and Mark S. Boddy

  PDF

• Segmenting Reactions to Improve the Behavior of a Planning/Reacting Agent

  Michael Wolverton, Instituto di Elaborazione dell'Informazione and Richard Washington, University of Pennsylvania

  PDF

• On-line Planning Simulation

  Scott D. Anderson, Spelman College and Paul R. Cohen, University of Massachusetts

  PDF

• Building a Planner for Information Gathering: A Report from the Trenches

  Craig A. Knoblock, USC/Information Sciences Institute

  PDF

• Event-Based Decompositions for Reasoning about External Change in Planners

  Jim Blythe, Carnegie Mellon University

  PDF

• Using Loops in Decision-Theoretic Refinement Planners

  Richard Goodwin

  PDF

• Proof Planning

  Alan Bundy

  PDF

• Representing Plans as a Set of Constraints — the Model

  Austin Tate, The University of Edinburgh

  PDF

• Planning for Manufacturing Workpieces by Storing, Indexing and Replaying Planning Decisions

  Héctor Muñoz-Avila and Frank Weberskirch

  PDF

• A Procedural Knowledge Approach to Task-Level Control

  Karen L. Myers, SRI International

  PDF

• Modeling Planning Tasks

  Leliane Barros, Andre Valente, and Richard Benjamins

  PDF

• Planning While Learning Operators

  Xuemei Wang

  PDF

• Static and Completion Analysis for Planning Knowledge Base Development and Verification

  Steve A. Chien

  PDF

• Controlling Deliberation with the Success Probability in a Dynamic Environment

  Seiji Yamada, Tokyo Institute of Technology

  PDF

• Local Planning of Ongoing Activities

  Michael Beetz and Drew McDermott, Yale University

  PDF

• A Candidate Set Based Analysis of Subgoal Interactions in Conjunctive Goal Planning

  Subbarao Kambhampati, Laurie Ihrig, and Biplav Srivastava, Arizona State University

  PDF

• Modeling Probabilistic Actions for Practical Decision-Theoretic Planning

  AnHai Doan, University of Wisconsin-Milwaukee

  PDF

• Suspending Recursion in Causal-link Planning

  David E. Smith and Mark A. Peot

  PDF

• Modularity Issues in Reactive Planning

  R. James Firby

  PDF

• A Discipline for Reactive Rescheduling

  J. E. Spragg, Carnegie Mellon University and Gerry Kelleher, John Moores University, Liverpool

  PDF

• A Constraint Satisfaction Approach to Makespan Scheduling

  Cheng-Chung Cheng and Stephen F. Smith, Carnegie Mellon University

  PDF

• AIPS 1996 Program Committee

  Conference Chair Earl Sacerdoti, Apple Computer, Cupertino, USA

  PDF

• Computing Parameter Domains as an Aid to Planning

  Alfonso Gerevini, Università di Brescia and Lenhart Schubert, University of Rochester

  PDF