FORMULATING MULTIAGENT, DYNAMIC-WORLD PROBLEMS IN THE CLASSICAL PLANNING FRAMEWORK

[1]  E. Pednault.  Toward a mathematical theory of plan synthesis , 1987 .

[2]  Austin Tate,et al.  Goal Structure, Holding Periods and “Clouds” , 1987 .

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

[4]  Vladimir Lifschitz,et al.  ON THE SEMANTICS OF STRIPS , 1987 .

[5]  Michael P. Georgeff,et al.  The Representation of Events in Multiagent Domains , 1986, AAAI.

[6]  Christopher Stuart,et al.  An Implementation of a Multi-Agent Plan Synchronizer , 1985, IJCAI.

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

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

[9]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[10]  Peter C. Cheeseman,et al.  A representation of time for automatic planning , 1984, ICRA.

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

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

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

[14]  Marc B. Vilain,et al.  A System for Reasoning About Time , 1982, AAAI.

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

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

[17]  Mark Stefik,et al.  Planning with Constraints (MOLGEN: Part 1) , 1981, Artif. Intell..

[18]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

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

[20]  Gary G. Hendrix,et al.  Modeling Simultaneous Actions and Continuous Processes , 1989, Artif. Intell..

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

[22]  P. Hayes.  The frame problem and related problems in artificial intelligence , 1971 .

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