|
Allen JF, 1981, “An interval-based representation of temporal knowledge” In: Proceedings IJCAI.
Google Scholar
|
|
Allen JF, 1982, “Maintaining knowledge about temporal intervals” Communications of the ACM26832–843.
Google Scholar
|
|
Allen JF and Koomen JA, 1983, “Planning using a temporal world model” In: Proceedings IJCAI.
Google Scholar
|
|
Allen JF, 1984. “Towards a general theory of action and time” Artificial Intelligence23123–154.
Google Scholar
|
|
Bradly R. and Swartz N.1979, Possible worlds: An introduction to logic and its philosophy, Basil Blackwell.
Google Scholar
|
|
Brown FM, 1986a, “A commonsense theory of non-monotonicity” In: Proceedings 4th Army Conference on Applied Mathematics and Computer Science.
Google Scholar
|
|
Brown FM, 1986b, “A commonsense theory of non-monotonic reasoning” In: Proceedings 8th International Conference on Computer Science.
Google Scholar
|
|
Brown FM, 1987a, “The modal logic Z” Technical report (TR-87-1).
Google Scholar
|
|
Brown FM, 1987b, “A modal logic for the representation of knowledge” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence.
Google Scholar
|
|
Castaneda HN, 1965, “The logic of change, actions and norms” Journal Philosophy62333–334.
Google Scholar
|
|
Davidson D, 1967, “The logical form of action sentences” In: Rescher N, ed., The Logic of Decision and Action, Pittsburgh University Press.
Google Scholar
|
|
Doyle J, 1979, “A truth maintenance system” Artificial Intelligence12 (3) 231–272.
Google Scholar
|
|
Fikes RE and Nilsson , 1971, “Strips: A new approach the application of theorem proving to problem solving” Artificial Intelligence2189–208.
Google Scholar
|
|
Finger JJ, 1986, Exploiting Constraints in design synthesis” PhD thesis, Stanford University.
Google Scholar
|
|
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.
Google Scholar
|
|
Georgeff MP, 1983, “Communication and interaction in multiagent planning” In: Proceedings AAAI.
Google Scholar
|
|
Georgeff MP, 1983, “A theory of action Communication and interaction in multiagent planning” Proceedings AAAI.
Google Scholar
|
|
Georgeff MP, 1986, “Actions, Processes and causality” In: Proceedings Workshop on Reasoning about Actions and Plans99–122.
Google Scholar
|
|
Georgeff MP, 1987a, “Many agents are better than one” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence59–75.
Google Scholar
|
|
Georgeff MP, 1987b, “Planning” Annual Review of Computer Science2359–400.
Google Scholar
|
|
Ginsberg ML and Smith DE, 1988a, “Reasoning about action I: A possible worlds approach” Artificial intelligence35165–195.
Google Scholar
|
|
Ginsberg ML and Smith DE, 1988b, “Reasoning about action II: The qualification problem” Artificial intelligence35311–342.
Google Scholar
|
|
Godel K, 1933, “Eine interpretation des intuitionistischen Aussagenkalkuls” In: Ergebnisse eines Mathematicschen Kolloquiums434–50 [translated by Hintikka 1969].
Google Scholar
|
|
Green C, 1969a, “Application of theorem proving to problem solving” In: Proceedings IJCAI219–239.
Google Scholar
|
|
Green C, 1969b, “Theorem proving by resolution as a basis for question answering systems” Machine intelligence4183–205.
Google Scholar
|
|
Hanks S and McDermott D, 1985, “Temporal reasoning and default logics” Technical report, YALEU/CSD/RR, 430, Yale University.
Google Scholar
|
|
Hanks S and McDermott D, 1986, “Default reasoning, non-monotonic logics and the frame problem” In: Proceedings AAAI.
Google Scholar
|
|
Hughes GE and Cresswell MJ, 1968, An Introduction to Modal Logics, Methuen.
Google Scholar
|
|
Kambhampati S, Cutkosky M, Tenenbaum M and Lee SH, 1991, “Combining specialized reasoners and general purpose planners” In: Proceedings AAAI.
Google Scholar
|
|
Kautz H, 1982, “A first-order dynamic logic for planning” Technical report (TR-CSRG-144), Department of Computer Science, University of Toronto.
Google Scholar
|
|
Kowalski R, 1979, Logic for Problem Solving, North Holland.
Google Scholar
|
|
Kripke SA, 1963, “Semantical consideration on modal logic” Acta Philosophica Fennica1683–94.
Google Scholar
|
|
Kripke SA, 1971, “Semantical considerations on modal logics” In: Linsky L, ed., Reference and Modality, Oxford University Press.
Google Scholar
|
|
Lansky AL, 1985, “Behavioral specifications and planning for multiagent domains” Technical report, 360, SRI international.
Google Scholar
|
|
Lansky AL, 1986, “A representation of parallel activity based on events, structure and causality” Proceedings Workshop on Reasoning about Actions and Plans123–159.
Google Scholar
|
|
Lansky AL, 1987, “Localized Event-based reasoning for multiagent domains” Technical report, 423, SRI International.
Google Scholar
|
|
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.
Google Scholar
|
|
Levitt RE, 1990, “Knowledge-based planning systems: An engineering perspective” In: Proceedings lEE on Expert Planning System.
Google Scholar
|
|
Lifschitz V, 1986, “On the semantics of STRIPS” In: Proceedings Workshop on Reasoning about Actions and Plans.
Google Scholar
|
|
Lifschitz V, 1987a, “Formal theories of actions” In: Proceedings Workshop on the Frame Problem in Artificial intelligence35–57.
Google Scholar
|
|
Lifschitz V, 1987b, “Computing circumscriptions” In: Proceedings IJCAI121–127.
Google Scholar
|
|
McCarthy J, 1963, “Situations, actions and causal laws” Stanford Artificial Intelligence Project: memo-2.
Google Scholar
|
|
McCarthy J and Hays PJ, 1969, “Some philosophical problems from the standpoints of artificial Intelligence” Machine Intelligence4463–502.
Google Scholar
|
|
McCarthy J, 1980, “Circumscription: A form of non-monotonic reasoning” Artificial Intelligence1327–39.
Google Scholar
|
|
McCarthy J, 1986, “Applications of circumscription to formalizing commonsense knowledge” Artificial Intelligence2889–118.
Google Scholar
|
|
McDermott D and Doyle J, 1980a, “Non-monotonic logic I” Artificial Intelligence13.
Google Scholar
|
|
McDermott D and Doyle J, 1980b, “Non-monotonic logic II” Artificial Intelligence13.
Google Scholar
|
|
McDermott D, 1982, “A temporal logic for reasoning about process and plans” Cognitive Sciences6(2) 101–155.
Google Scholar
|
|
McDermott D, 1987, “AI, logic and the frame problem” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence105–118.
Google Scholar
|
|
Miller SA and Schubert LK, 1988, “Using specialists to accelerate general reasoning” In: Proceedings AAAI.
Google Scholar
|
|
Moore RC, 1980a, “Reasoning about knowledge and actions” Artificial Intelligence Centre Technical Report, 191, SRI international.
Google Scholar
|
|
Moore RC, 1980b, “A formal theory of knowledge and actions” In: Allen J, Hendler J and Tate A, eds, Readings in Planning480–519.
Google Scholar
|
|
Morris P, 1987, “A truth maintenance based approach to the frame problem” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence297–307.
Google Scholar
|
|
Newell A and Simon HA, 1963, “GPS: A program that simulates human thought” In: Feigenbaum EA and Feldman J, eds., Computers and Thought279–293.
Google Scholar
|
|
Nilsson NJ, 1982, Principles of Artificial Intelligence, Springer-Verlag.
Google Scholar
|
|
Nilsson NJ, 1990, “Forward” In: Allen J, Hendler J and Tate A, eds., Readings in Planning.
Google Scholar
|
|
Park SS, 1987, “Doubting Thomas: action and belief revision” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence.
Google Scholar
|
|
Pednault EPD, 1986, “Formulating multiagent, dynamic world problems in the classical planning framework” In: Proceedings Workshop on Reasoning about Actions and Plans47–82.
Google Scholar
|
|
Pool DL, Goebel RD and Aleliunas R, 1968, Theorist: A logical reasoning system for defaults and diagnosis, Springer-Verlag.
Google Scholar
|
|
Reiter R, 1978, “On closed world data base” In: Gaillaire H and Minker J, eds., Logic and data bases, Plenum Press.
Google Scholar
|
|
Reiter R, 1980, “A logic for default reasoning” Artificial Intelligence1381–130.
Google Scholar
|
|
Rescher N, 1967, “Aspects of action” In: Rescher N. ed., The Logic of Decision and Action, Pittsburgh University Press.
Google Scholar
|
|
Robinson J, 1965, “A machine-oriented logic based on the resolution principle” Journal of ACM12(1) 23–41.
Google Scholar
|
|
Sacerdoti ED, 1973, “Planning in a hierarchy of abstraction spaces” In: Proceedings IJCAI412–422.
Google Scholar
|
|
Sacerdoti ED, 1975, “The nonlinear nature of plans” In: Proceedings IJCAI412–422.
Google Scholar
|
|
Schwind CB, 1978a, “Representing actions by state logic” In: Proceedings AISB/GI Conference on Artificial Intelligence.
Google Scholar
|
|
Schwind CB, 1978b, “The theory of actions” Research Report TUM-INFO 7807, Technische Universitat, Munchen.
Google Scholar
|
|
Schwind CB, 1983, “A completeness proof for a logic of action” Research report, Laboratoire D'Informatique pour les science de l'shomme, Marseille.
Google Scholar
|
|
Schwind CB, 1986, “Action logic” Research report GRTC/137.
Google Scholar
|
|
Schwind CB, 1987, “Action theory and the frame problem” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence.
Google Scholar
|
|
Shoham Y, 1986, “Chronological ignorance: Time, non-monotonicity, necessity and causal theories” In: Proceedings AAAE389–393.
Google Scholar
|
|
Simon HA, 1965, “The logic of rational decision” Journal of Philosophy of Science16169–186.
Google Scholar
|
|
Simon HA, 1966, “On reasoning about actions” Research report, complex information processing, 16, Carnegie Institute of Technology.
Google Scholar
|
|
Stefik M, 1981a, “Planning and meta-planning (MOLGEN: Part 1)” Artificial Intelligence16111–140.
Google Scholar
|
|
Stefik M, 1981b, “Planning and meta-planning (MOLGEN: Part 2)” Artificial Intelligence16141–170.
Google Scholar
|
|
Tate A, 1976, “Project planning using a hierarchic nonlinear planner” Research report, Department of Artificial Intelligence Research, University of Edinburgh, UK.
Google Scholar
|
|
Tate A, 1985, “A review of AI planning techniques” Knowledge Engineering Review14–17.
Google Scholar
|
|
Waldinger A, 1977, “Achieving several goals simultaneously” Machine Intelligence894–136.
Google Scholar
|
|
Winston PH, 1984, Artificial Intelligence, Addison-Wesley.
Google Scholar
|
|
Wilkins DE and Robinson AE, 1981, “An interactive planning system” SRI Technical Note, 245.
Google Scholar
|
|
Wilkins DE, 1983a, “Representation in a domain-independent planner” In: Proceedings IJCAI733–740.
Google Scholar
|
|
Wilkins DE, 1983b, Practical Planning, Morgan Kaufmann.
Google Scholar
|
|
Wilkins DE, 1984, “Domain-independent planning: Representation and plan generation” Artificial Intelligence22(3) 269–301.
Google Scholar
|
|
Wright CH, 1963, Norm and action: A logic enquiry, Routledge.
Google Scholar
|
|
Wright CH, 1967, “The logic of action: A sketch” In: Rescher N, ed., The Logic of Decision and Action, Pittsburgh University Press.
Google Scholar
|
