Planning for Conjunctive Goals

[1]  Lucy A. Suchman,et al.  Plans and Situated Actions: The Problem of Human-Machine Communication (Learning in Doing: Social, , 1987 .

[2]  Bruce Randall Donald.  On Planning: What is to be Done? , 1987 .

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

[4]  A. Lansky.  A REPRESENTATION OF PARALLEL ACTIVITY BASED ON EVENTS, STRUCTURE, AND CAUSALITY , 1987 .

[5]  Amy L. Lansky.  Behavioral Specification and Planning for Multiagent Domains , 1985 .

[6]  David P. Miller,et al.  Deadlines, Travel Time, and Robot Problem Solving , 1985, IJCAI.

[7]  Stephen A. Vere.  Splicing Plans to Achieve Misordered Goals , 1985, IJCAI.

[8]  E. Pednault.  Preliminary Report on a Theory of Plan Synthesis , 1985 .

[9]  David E. Wilkins,et al.  Recovering from execution errors in SIPE , 1985, Comput. Intell..

[10]  Michael P. Georgeff,et al.  A Theory of Action for MultiAgent Planning , 1984, AAAI.

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

[12]  Kristian J. Hammond.  Planning and Goal Interaction: The Use of Past Solutions in Present Situations , 1983, AAAI.

[13]  Drew McDermott,et al.  Generalizing Problem Reduction: A Logical Analysis , 1983, IJCAI.

[14]  David E. Wilkins,et al.  Representation in a Domain-Independent Planner , 1983, IJCAI.

[15]  James F. Allen,et al.  Planning Using a Temporal World Model , 1983, IJCAI.

[16]  David Chapman.  Naive Problem Solving and Naive Mathematics , 1983 .

[17]  Steven A. Vere,et al.  Planning in Time: Windows and Durations for Activities and Goals , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

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

[19]  Jeffrey S. Rosenschein,et al.  Synchronization of Multi-Agent Plans , 1982, AAAI.

[20]  Charles Rich.  A Formal Representation For Plans In The Programmer's Apprentice , 1982, On Conceptual Modelling.

[21]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[22]  Stanley J. Rosenschein,et al.  Plan Synthesis: A Logical Perspective , 1981, IJCAI.

[23]  Paul Morris,et al.  Don't Be Stupid , 1981, IJCAI.

[24]  Robert Wilensky,et al.  Meta-Planning: Representing and Using Knowledge About Planning in Problem Solving and Natural Language Understanding , 1981, Cogn. Sci..

[25]  Mark Stefik,et al.  Planning and Meta-Planning (MOLGEN: Part 2) , 1981, Artif. Intell..

[26]  Jon Doyle,et al.  A model for deliberation, action, and introspection , 1981, SGAR.

[27]  Charles Rich.  Inspection methods in programming , 1980 .

[28]  室 章治郎.  Michael R.Garey/David S.Johnson 著, "COMPUTERS AND INTRACTABILITY A guide to the Theory of NP-Completeness", FREEMAN, A5判変形判, 338+xii, \5,217, 1979 , 1980 .

[29]  Randall Davis,et al.  Meta-Rules: Reasoning about Control , 1980, Artif. Intell..

[30]  Earl D. Sacerdoti,et al.  Problem Solving Tactics , 1979, AI Mag..

[31]  Barbara Hayes-Roth,et al.  Modeling Planning as an Incremental, Opportunistic Process , 1979, IJCAI.

[32]  Howard E. Shrobe,et al.  Dependency Directed Reasoning in the Analysis of Programs which Modify Complex Data Structures , 1979, IJCAI.

[33]  Daniel D. Corkill,et al.  Hierarchical Planning in a Distributed Environment , 1979, IJCAI.

[34]  Howard E Shrobe,et al.  Dependency Directed Reasoning for Complex Program Understanding , 1979 .

[35]  Jon Doyle,et al.  AMORD: A Deductive Procedure System , 1978 .

[36]  Philip London,et al.  A dependency-based modelling mechanism for problem solving , 1978, AFIPS National Computer Conference.

[37]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[38]  Austin Tate,et al.  Generating Project Networks , 1977, IJCAI.

[39]  Jon Doyle,et al.  Truth Maintenance Systems for Problem Solving , 1977, IJCAI.

[40]  James Low.  Proceedings of the 1977 symposium on Artificial intelligence and programming languages , 1977 .

[41]  Jon Doyle,et al.  Explicit Control of Reasoning , 1977 .

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

[43]  Richard Waldinger,et al.  Achieving several goals simultaneously , 1977 .

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

[45]  David H. D. Warren,et al.  Generating Conditional Plans and Programs , 1976, AISB.

[46]  Austin Tate,et al.  Interacting Goals And Their Use , 1975, IJCAI.

[47]  Patrick J. Hayes,et al.  A Representation For Robot Plans , 1975, IJCAI.

[48]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

[49]  Brian Austin Tate.  Using goal structure to direct search in a problem solver , 1975 .

[50]  Austin Tate,et al.  INTERPLAN: a Plan Generation System Which Can Deal With Interactions Between Goals , 1974 .

[51]  Scott E. Fahlman,et al.  A Planning System for Robot Construction Tasks , 1973, Artif. Intell..

[52]  John W. Roach,et al.  Collaborative Problem-solving Between Optimistic and Pessimistic ProblemSolvers , 1973 .

[53]  Drew McDermott,et al.  From PLANNER to CONNIVER: a genetic approach , 1972, AFIPS '72 (Fall, part II).

[54]  Nils J. Nilsson,et al.  Some New Directions in Robot Problem Solving , 1972 .

[55]  Carl Hewitt,et al.  Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot , 1972 .

[56]  Carl Hewitt,et al.  Procedural Embedding of knowledge in Planner , 1971, IJCAI.

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

[58]  J. Rhys.  A Selection Problem of Shared Fixed Costs and Network Flows , 1970 .

[59]  Allen Newell,et al.  Report on a general problem-solving program , 1959, IFIP Congress.