Back Article

Allen JF, 1981, “An interval-based representation of temporal knowledge” In: Proceedings IJCAI.

Allen JF, 1982, “Maintaining knowledge about temporal intervals” Communications of the ACM26832–843.

Allen JF and Koomen JA, 1983, “Planning using a temporal world model” In: Proceedings IJCAI.

Allen JF, 1984. “Towards a general theory of action and time” Artificial Intelligence23123–154.

Bradly R. and Swartz N.1979, Possible worlds: An introduction to logic and its philosophy, Basil Blackwell.

Brown FM, 1986a, “A commonsense theory of non-monotonicity” In: Proceedings 4th Army Conference on Applied Mathematics and Computer Science.

Brown FM, 1986b, “A commonsense theory of non-monotonic reasoning” In: Proceedings 8th International Conference on Computer Science.

Brown FM, 1987a, “The modal logic Z” Technical report (TR-87-1).

Brown FM, 1987b, “A modal logic for the representation of knowledge” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence.

Castaneda HN, 1965, “The logic of change, actions and norms” Journal Philosophy62333–334.

Davidson D, 1967, “The logical form of action sentences” In: Rescher N, ed., The Logic of Decision and Action, Pittsburgh University Press.

Doyle J, 1979, “A truth maintenance system” Artificial Intelligence12 (3) 231–272.

Fikes RE and Nilsson , 1971, “Strips: A new approach the application of theorem proving to problem solving” Artificial Intelligence2189–208.

Finger JJ, 1986, Exploiting Constraints in design synthesis” PhD thesis, Stanford University.

Georbel RG and Goodwin SD, 1987, “Applying theory formation to the planning problem” In: Proceedings of Workshop on the Frame Problem in Artificial Intelligence207–232.

Georgeff MP, 1983, “Communication and interaction in multiagent planning” In: Proceedings AAAI.

Georgeff MP, 1983, “A theory of action Communication and interaction in multiagent planning” Proceedings AAAI.

Georgeff MP, 1986, “Actions, Processes and causality” In: Proceedings Workshop on Reasoning about Actions and Plans99–122.

Georgeff MP, 1987a, “Many agents are better than one” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence59–75.

Georgeff MP, 1987b, “Planning” Annual Review of Computer Science2359–400.

Ginsberg ML and Smith DE, 1988a, “Reasoning about action I: A possible worlds approach” Artificial intelligence35165–195.

Ginsberg ML and Smith DE, 1988b, “Reasoning about action II: The qualification problem” Artificial intelligence35311–342.

Godel K, 1933, “Eine interpretation des intuitionistischen Aussagenkalkuls” In: Ergebnisse eines Mathematicschen Kolloquiums434–50 [translated by Hintikka 1969].

Green C, 1969a, “Application of theorem proving to problem solving” In: Proceedings IJCAI219–239.

Green C, 1969b, “Theorem proving by resolution as a basis for question answering systems” Machine intelligence4183–205.

Hanks S and McDermott D, 1985, “Temporal reasoning and default logics” Technical report, YALEU/CSD/RR, 430, Yale University.

Hanks S and McDermott D, 1986, “Default reasoning, non-monotonic logics and the frame problem” In: Proceedings AAAI.

Hughes GE and Cresswell MJ, 1968, An Introduction to Modal Logics, Methuen.

Kambhampati S, Cutkosky M, Tenenbaum M and Lee SH, 1991, “Combining specialized reasoners and general purpose planners” In: Proceedings AAAI.

Kautz H, 1982, “A first-order dynamic logic for planning” Technical report (TR-CSRG-144), Department of Computer Science, University of Toronto.

Kowalski R, 1979, Logic for Problem Solving, North Holland.

Kripke SA, 1963, “Semantical consideration on modal logic” Acta Philosophica Fennica1683–94.

Kripke SA, 1971, “Semantical considerations on modal logics” In: Linsky L, ed., Reference and Modality, Oxford University Press.

Lansky AL, 1985, “Behavioral specifications and planning for multiagent domains” Technical report, 360, SRI international.

Lansky AL, 1986, “A representation of parallel activity based on events, structure and causality” Proceedings Workshop on Reasoning about Actions and Plans123–159.

Lansky AL, 1987, “Localized Event-based reasoning for multiagent domains” Technical report, 423, SRI International.

Lee H, Williams JHS and Tannock JDT, 1992, “Knowledge-based inspection planning” Journal of Artificial Intelligence in Engineering Design, Analysis and Manufacturing6 (3) 149–162.

Levitt RE, 1990, “Knowledge-based planning systems: An engineering perspective” In: Proceedings lEE on Expert Planning System.

Lifschitz V, 1986, “On the semantics of STRIPS” In: Proceedings Workshop on Reasoning about Actions and Plans.

Lifschitz V, 1987a, “Formal theories of actions” In: Proceedings Workshop on the Frame Problem in Artificial intelligence35–57.

Lifschitz V, 1987b, “Computing circumscriptions” In: Proceedings IJCAI121–127.

McCarthy J, 1963, “Situations, actions and causal laws” Stanford Artificial Intelligence Project: memo-2.

McCarthy J and Hays PJ, 1969, “Some philosophical problems from the standpoints of artificial Intelligence” Machine Intelligence4463–502.

McCarthy J, 1980, “Circumscription: A form of non-monotonic reasoning” Artificial Intelligence1327–39.

McCarthy J, 1986, “Applications of circumscription to formalizing commonsense knowledge” Artificial Intelligence2889–118.

McDermott D and Doyle J, 1980a, “Non-monotonic logic I” Artificial Intelligence13.

McDermott D and Doyle J, 1980b, “Non-monotonic logic II” Artificial Intelligence13.

McDermott D, 1982, “A temporal logic for reasoning about process and plans” Cognitive Sciences6(2) 101–155.

McDermott D, 1987, “AI, logic and the frame problem” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence105–118.

Miller SA and Schubert LK, 1988, “Using specialists to accelerate general reasoning” In: Proceedings AAAI.

Moore RC, 1980a, “Reasoning about knowledge and actions” Artificial Intelligence Centre Technical Report, 191, SRI international.

Moore RC, 1980b, “A formal theory of knowledge and actions” In: Allen J, Hendler J and Tate A, eds, Readings in Planning480–519.

Morris P, 1987, “A truth maintenance based approach to the frame problem” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence297–307.

Newell A and Simon HA, 1963, “GPS: A program that simulates human thought” In: Feigenbaum EA and Feldman J, eds., Computers and Thought279–293.

Nilsson NJ, 1982, Principles of Artificial Intelligence, Springer-Verlag.

Nilsson NJ, 1990, “Forward” In: Allen J, Hendler J and Tate A, eds., Readings in Planning.

Park SS, 1987, “Doubting Thomas: action and belief revision” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence.

Pednault EPD, 1986, “Formulating multiagent, dynamic world problems in the classical planning framework” In: Proceedings Workshop on Reasoning about Actions and Plans47–82.

Pool DL, Goebel RD and Aleliunas R, 1968, Theorist: A logical reasoning system for defaults and diagnosis, Springer-Verlag.

Reiter R, 1978, “On closed world data base” In: Gaillaire H and Minker J, eds., Logic and data bases, Plenum Press.

Reiter R, 1980, “A logic for default reasoning” Artificial Intelligence1381–130.

Rescher N, 1967, “Aspects of action” In: Rescher N. ed., The Logic of Decision and Action, Pittsburgh University Press.

Robinson J, 1965, “A machine-oriented logic based on the resolution principle” Journal of ACM12(1) 23–41.

Sacerdoti ED, 1973, “Planning in a hierarchy of abstraction spaces” In: Proceedings IJCAI412–422.

Sacerdoti ED, 1975, “The nonlinear nature of plans” In: Proceedings IJCAI412–422.

Schwind CB, 1978a, “Representing actions by state logic” In: Proceedings AISB/GI Conference on Artificial Intelligence.

Schwind CB, 1978b, “The theory of actions” Research Report TUM-INFO 7807, Technische Universitat, Munchen.

Schwind CB, 1983, “A completeness proof for a logic of action” Research report, Laboratoire D'Informatique pour les science de l'shomme, Marseille.

Schwind CB, 1986, “Action logic” Research report GRTC/137.

Schwind CB, 1987, “Action theory and the frame problem” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence.

Shoham Y, 1986, “Chronological ignorance: Time, non-monotonicity, necessity and causal theories” In: Proceedings AAAE389–393.

Simon HA, 1965, “The logic of rational decision” Journal of Philosophy of Science16169–186.

Simon HA, 1966, “On reasoning about actions” Research report, complex information processing, 16, Carnegie Institute of Technology.

Stefik M, 1981a, “Planning and meta-planning (MOLGEN: Part 1)” Artificial Intelligence16111–140.

Stefik M, 1981b, “Planning and meta-planning (MOLGEN: Part 2)” Artificial Intelligence16141–170.

Tate A, 1976, “Project planning using a hierarchic nonlinear planner” Research report, Department of Artificial Intelligence Research, University of Edinburgh, UK.

Tate A, 1985, “A review of AI planning techniques” Knowledge Engineering Review14–17.

Waldinger A, 1977, “Achieving several goals simultaneously” Machine Intelligence894–136.

Winston PH, 1984, Artificial Intelligence, Addison-Wesley.

Wilkins DE and Robinson AE, 1981, “An interactive planning system” SRI Technical Note, 245.

Wilkins DE, 1983a, “Representation in a domain-independent planner” In: Proceedings IJCAI733–740.

Wilkins DE, 1983b, Practical Planning, Morgan Kaufmann.

Wilkins DE, 1984, “Domain-independent planning: Representation and plan generation” Artificial Intelligence22(3) 269–301.

Wright CH, 1963, Norm and action: A logic enquiry, Routledge.

Wright CH, 1967, “The logic of action: A sketch” In: Rescher N, ed., The Logic of Decision and Action, Pittsburgh University Press.