DARPA Santa Cruz Workshop on Planning

This is a summary of the Workshop on Planning that was sponsored by the Defense Advanced Research Project Agency and held in Santa Cruz, California, on October 21-23, 1987. The purpose of this workshop was to identify and explore new directions for research in planning.

[1]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[2]  Thomas Dean,et al.  INTRACTABILITY AND TIME-DEPENDENT PLANNING , 1987 .

[3]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[4]  Edmund H. Durfee,et al.  Incremental Planning to Control a Blackboard-based Problem Solver , 1986, AAAI.

[5]  V. Lifschitz.  Formal theories of action , 1987 .

[6]  Richard E. Korf,et al.  Planning as Search: A Quantitative Approach , 1987, Artif. Intell..

[7]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[8]  Reid G. Simmons,et al.  Generate, Test and Debug: Combining Associational Rules and Causal Models , 1987, IJCAI.

[9]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[10]  Mark S. Boddy,et al.  Incremental Causal Reasoning , 1987, AAAI.

[11]  George W. Ernst,et al.  GPS : a case study in generality and problem solving , 1971 .

[12]  Mark Jeffrey Stefik.  Planning with constraints , 1980 .

[13]  Philip E. Agre,et al.  ABSTRACT REASONING AS EMERGENT FROM CONCRETE ACTIVITY , 1987 .

[14]  David E. Wilkins,et al.  Hierarchical Planning: Definition and Implementation , 1986, ECAI.

[15]  Richard Fikes,et al.  Learning and Executing Generalized Robot Plans , 1993, Artif. Intell..

[16]  R. Wilensky.  Planning and Understanding: A Computational Approach to Human Reasoning , 1983 .

[17]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[18]  J. Finger,et al.  Exploiting constraints in design synthesis , 1987 .

[19]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[20]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[21]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[22]  Drew McDermott,et al.  Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.

[23]  Drew McDermott,et al.  Introduction to artificial intelligence , 1986, Addison-Wesley series in computer science.

[24]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[25]  Gerald Jay Sussman,et al.  A Computer Model of Skill Acquisition , 1975 .

[26]  Kristian J. Hammond,et al.  CHEF: A Model of Case-Based Planning , 1986, AAAI.

[27]  David E. Smith,et al.  Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..

[28]  David E. Wilkins,et al.  Domain-Independent Planning: Representation and Plan Generation , 1984, Artif. Intell..

[29]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[30]  Leslie Pack Kaelbling,et al.  The Synthesis of Digital Machines With Provable Epistemic Properties , 1986, TARK.

[31]  Daniel G. Bobrow,et al.  New Programming Languages for Artificial Intelligence Research , 1974, CSUR.

[32]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[33]  Robert T. Chien,et al.  Planning And Execution in Incompletely Specified Environments , 1975, IJCAI.

[34]  Drew McDermott,et al.  Flexibility and Efficiency in a Computer Program for Designing Circuits , 1976 .

[35]  Brian C. Williams,et al.  Reasoning about Multiple Faults , 1986, AAAI.