{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T17:36:06Z","timestamp":1770744966616,"version":"3.49.0"},"reference-count":116,"publisher":"Maximum Academic Press","issue":"2","license":[{"start":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T00:00:00Z","timestamp":1246924800000},"content-version":"unspecified","delay-in-days":9167,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[1984,6]]},"abstract":"<jats:title>Summary<\/jats:title>\n                  <jats:p>Planning systems have been an active research topic within Artificial Intelligence for over two decades. There have been a number of techniques developed during that period which still form an essential part of many of today's planners. This paper introduces the techniques, attempts to classify some of the important research themes in AI planning and describes their historical development.<\/jats:p>","DOI":"10.1017\/s0269888900000485","type":"journal-article","created":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T09:37:44Z","timestamp":1246959464000},"page":"4-17","source":"Crossref","is-referenced-by-count":12,"title":["A Review of knowledge-based planning techniques"],"prefix":"10.48130","volume":"1","author":[{"given":"Austin","family":"Tate","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"27968","published-online":{"date-parts":[[2009,7,7]]},"reference":[{"key":"S0269888900000485_ref080","unstructured":"[80] Waldinger R. (1975) \u201cAchieving Several Goals Simultaneously\u201d, SRI AI Center Technical Note 107, SRI, Menlo Park, Ca., USA."},{"key":"S0269888900000485_ref068","unstructured":"[68] Steele G.L. and Sussman G.J. (1978) \u201cConstraints\u201d, MIT AI Lab Memo 502."},{"key":"S0269888900000485_ref074","volume-title":"Generating Project Networks","author":"Tate","year":"1977"},{"key":"S0269888900000485_ref103","unstructured":"[103] Intellicorp (1985), \u201cKEE System Manual\u201d 707 Laurel Street, Menlo Park, CA 94025\u20133445. (KEE)"},{"key":"S0269888900000485_ref114","volume-title":"Introduction to Artificial Intelligence","author":"Charniak","year":"1985"},{"key":"S0269888900000485_ref079","unstructured":"[79] Vilain M.B. (1980) \u201cA System for Reasoning about Time\u201d, AAAI-2."},{"key":"S0269888900000485_ref086","volume-title":"Planning and Understanding","author":"Wilensky","year":"1983"},{"key":"S0269888900000485_ref078","doi-asserted-by":"crossref","unstructured":"[78] Vere S. (1983) \u201cPlanning in Time: Windows and Durations for Activities and Goals\u201d, IEEE Trans. on Pattern Analysis and Machine Intelligence, PAMI-5, No. 3, pp. 246\u2013267, 05 1983. (DEVISER)","DOI":"10.1109\/TPAMI.1983.4767389"},{"key":"S0269888900000485_ref102","unstructured":"[102] Inference Corporation (1985), \u201cART Manual\u201d, 5300 West Century Blvd, 5th Floor, Los Angeles, CA 90045. (ART)"},{"key":"S0269888900000485_ref112","unstructured":"[112] Sussman G.A. and McDermott D.V. (1972) \u201cWhy conniving is Better than Planning\u201d, MIT AI Lab. Memo 255A. (CONNIVER)"},{"key":"S0269888900000485_ref085","unstructured":"[85] Wilensky R. (1981b) \u201cA Model for Planning in Complex Situations\u201d, Electronics Research Lab. Memo. No. UCB\/ERL M81\/49, University of California, Berkeley, Ca., USA."},{"key":"S0269888900000485_ref041","unstructured":"[41] London P. (1977) \u201cA Dependency-based Modelling Mechanism for problem solving\u201d, Dept of Computer Science, University of Maryland, Memo. TR-589."},{"key":"S0269888900000485_ref054","unstructured":"[54] Rich C. , Shrobe H.E. and Waters R.C. (1979) \u201cOverview of the Programmer's Apprentice\u201d, IJCAI-79, pp 827\u2013828, Tokyo, Japan."},{"key":"S0269888900000485_ref031","unstructured":"[31] Hayes-Roth B. (1983a) \u201cThe Blackboard Architecture: A General Framework for Problem Solving?\u201d, Heuristic Programming Project Report No. HPP-83\u201330. Stanford University. 05 1983."},{"key":"S0269888900000485_ref061","unstructured":"[61] Sathi A. , Fox M.S. and Greenberg M. (1985) \u201cRepresentation of Activity Knowledge for Project Management\u201d IEEE Special Issue of Transactions on Pattern Analysis and Machine Intelligence, 07, 1985. (CALLISTO)"},{"key":"S0269888900000485_ref095","unstructured":"[95] Deering M. , Faletti J. and Wilensky R. (1981) \u201cPEARL: An Efficient Language for Artificial Intelligence Programming\u201d, IJCAI-81, Vancouver, British Columbia, Canada, Aug, 1981. (PEARL)"},{"key":"S0269888900000485_ref064","unstructured":"[64] Siklossy L. and Dreussi J. (1975) \u201cAn Efficient Robot Planner that Generates its own Procedures\u201d, IJCAI-73 Palo Alto, Ca., USA. (LAWALY)"},{"key":"S0269888900000485_ref001","first-page":"741","volume-title":"IJCAI-83","author":"Allen","year":"1983"},{"key":"S0269888900000485_ref034","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90015-7"},{"key":"S0269888900000485_ref104","unstructured":"[104] Jiang Y. J. and Lavington S.H. (1985) \u201cThe Qualified Binary Relationship Model of Information\u201d, University of Manchester, Department of Computer Science, Internal Report IFS\/2\/85."},{"key":"S0269888900000485_ref037","unstructured":"[37] Kornfeld W.A. (1979) \u201cETHER: a Parallel Problem Solving System\u201d IJCAI-79 pp 490\u2013492, Tokyo, Japan."},{"key":"S0269888900000485_ref036","unstructured":"[36] Konolige K. and Nilsson N.J. (1980) \u201cMulti-agent Planning Systems\u201d, AAAI-1, pp 38\u2013142, Stanford, Ca., USA."},{"key":"S0269888900000485_ref047","unstructured":"[47] McDermott D.V. and Doyle J. (1979) \u201cAn Introduction to Nonmonotonic Logic\u201d, IJCAI-79 pp 562\u2013567, Tokyo, Japan."},{"key":"S0269888900000485_ref026","unstructured":"[26] Georgeff M. (1982) \u201cCommunication and Interaction in Multiagent Planning Systems\u201d, AAAI-3."},{"key":"S0269888900000485_ref109","doi-asserted-by":"publisher","DOI":"10.1145\/1499799.1499853"},{"key":"S0269888900000485_ref049","unstructured":"[49] Moore R. (1980) \u201cReasoning about Knowledge and Action\u201d, SRI AI Center Report No. 191."},{"key":"S0269888900000485_ref057","unstructured":"[57] Sacerdoti E.D. (1973) \u201cPlanning in a Hierarchy of Abstraction Spaces\u201d, Advance papers of IJCAI-73, Palo Alto, Ca., USA. (ABSTRIPS)"},{"key":"S0269888900000485_ref004","unstructured":"[4] Bresina J.L. (1981) \u201cAn Interactive Planner that Creates a Structured Annotated Trace of its Operation\u201d, Rutgers University, Computer Science Research Laboratory, Report CBM-TR-123. (PLANX-10)"},{"key":"S0269888900000485_ref048","unstructured":"[48] Mellish C.S. (1984) \u201cTowards Top-down Generation of Multi-paragraph Text\u201d, Proceedings of the Sixth European Conference on Artificial Intelligence, pp 229, Pisa,Italy, 09 1984."},{"key":"S0269888900000485_ref039","unstructured":"[39] Latombe J-C. (1976) \u201cArtificial Intelligence in Computer-aided Design \u2014 The TROPIC System\u201d, Stanford Research Institute AI Center Technical Note 125, Menlo Park, Ca., USA."},{"key":"S0269888900000485_ref089","volume-title":"HBASE: a Fast Clean Efficient Data Dase System","author":"Barrow","year":"1975"},{"key":"S0269888900000485_ref099","doi-asserted-by":"crossref","unstructured":"[99] Hendrix G. (1975) \u201cExpanding the Utility of Semantic Networks through Partitioning\u201d, IJCAI-75, Tbilisi, USSR.","DOI":"10.21236\/ADA458082"},{"key":"S0269888900000485_ref075","unstructured":"[75] Tate A. (1984a) \u201cPlanning and Condition Monitoring in a FMS\u201d, International Conference on Flexible Automation Systems\u201d,Institute of Electrical Engineers,London, UK July 1984. (NONLIN)"},{"key":"S0269888900000485_ref051","volume-title":"Comuters and Thought","author":"Newell","year":"1963"},{"key":"S0269888900000485_ref019","unstructured":"[19] Faletti J. (1982) \u201cPANDORA \u2014 A Program for Doing Commonsense Reasoning Planning in Complex Situations\u201d AAAI-82, Pittsburgh, Pa., USA, 08, 1982. (PANDORA)"},{"key":"S0269888900000485_ref023","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(72)90051-3"},{"key":"S0269888900000485_ref060","doi-asserted-by":"crossref","unstructured":"[60] Sacerdoti E.D. (1979) \u201cProblem solving Tactics\u201d, IJCAI-79, Tokyo, Japan.","DOI":"10.21236\/ADA458349"},{"key":"S0269888900000485_ref050","unstructured":"[50] Mostow D.J. (1983) \u201cA Problem Solver for Making Advice Operational\u201d, Proc. AAAI 3, pp 179\u2013283"},{"key":"S0269888900000485_ref101","unstructured":"[101] Hillis (1981) \u201cThe Connection Machine\u201d MIT AI Lab Memo 640."},{"key":"S0269888900000485_ref046","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0602_1"},{"key":"S0269888900000485_ref110","unstructured":"[110] Sloman A. (1983) (POPLOG \u2014 a Multi-purpose, Multi-language Program Development Environment\u201d Cognitive Studies Programme, University of Sussex, UK. (POPLOG)"},{"key":"S0269888900000485_ref008","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(83)90015-2"},{"key":"S0269888900000485_ref062","unstructured":"[62] Schank R.C. and Abelson R.P. (1977) \u201cScripts, Plans, Goals and Understanding\u201d, Lawrence Erlbaum Press, Hillsdale, New Jersey, USA."},{"key":"S0269888900000485_ref065","unstructured":"[65] Smith R.G. (1977) \u201cThe Contract Net: a Formalism for the Control of Distributed Problem Solving\u201d, IJCAI-77 pp 472 Cambridge, Mass, USA."},{"key":"S0269888900000485_ref012","doi-asserted-by":"crossref","unstructured":"[12] Doran J.E. and Michie D. (1966) \u201cExperiments with the Graph Traverser Program\u201d Proceedings of the Royal Society, A, pp 235\u2013259. (GRAPH TRAVERSER)","DOI":"10.1098\/rspa.1966.0205"},{"key":"S0269888900000485_ref016","volume-title":"An Approach to Automatic Robot Programming Based on Inductive Learning","author":"Duffay","year":"1983"},{"key":"S0269888900000485_ref006","first-page":"748","article-title":"The Use of Meta-level Control for Coordination in a Distributed Problem Solving Network","author":"Corkill","year":"1983","journal-title":"IJCAI-83"},{"key":"S0269888900000485_ref052","unstructured":"[52] Reiger C. and London P. (1977) \u201cSubgoal Protection and Unravelling During Plan Synthesis\u201d, IJCAI-77, Cambridge, Mass., USA."},{"key":"S0269888900000485_ref032","unstructured":"[32] Hayes-Roth B. (1983b) \u201cA Blackboard Model of Control\u201d, Heuristic Programming Project Report No. HPP-83\u201338. Stanford University. 06 1983. (OPM)"},{"key":"S0269888900000485_ref024","volume-title":"Machine Intelligence","volume":"7","author":"Fikes","year":"1972"},{"key":"S0269888900000485_ref096","volume-title":"Machine Intelligence","volume":"6","author":"Elcock","year":"1971"},{"key":"S0269888900000485_ref055","unstructured":"[55] Rosenschein S.J. (1980) \u201cSynchronisation of Multi-agent Plans\u201d, AAAI-2."},{"key":"S0269888900000485_ref015","unstructured":"[15] Drummond M.E. (1985) \u201cRefining and Extending the Procedural Net\u201d IJCAI-85, Los Angeles, Calif."},{"key":"S0269888900000485_ref007","volume-title":"Artificial Intelligence: Tools, Techniques and Applications","author":"Daniel","year":"1983"},{"key":"S0269888900000485_ref091","unstructured":"[91] Bobrow D.G. and Winograd T. (1976) \u201cAn Overview of KRL \u2014 a Knowledge Representation Language\u201d, Xerox PARC Repport CSL-76\u20134. Xerox Palo Alto Research Center, Ca. USA. (KEL)"},{"key":"S0269888900000485_ref059","unstructured":"[59] Sacerdoti E.D. (1977) \u201cA Structure for plans and Behaviour\u201d, Elsevier-North Holland. (NOAH)"},{"key":"S0269888900000485_ref011","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90076-1"},{"key":"S0269888900000485_ref038","unstructured":"[38] Lansky A. (1985) \u201cBehavioral Planning for Multi-Agent Plans\u201d, SRI AI Center Report."},{"key":"S0269888900000485_ref002","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90011-6"},{"key":"S0269888900000485_ref027","unstructured":"[27] Georgeff M. and Lansky A. (1985) \u201cA Procedural Logic\u201d, IJCAI-85, Los Angeles, Calif., 08 1985."},{"key":"S0269888900000485_ref053","unstructured":"[53] Rich C. (1981) \u201cA Formal Representation for Plans in the Programmer's Apprentice\u201d, IJCAI-81 pp 1044\u20131052, Vancouver, British Columbia, Canada."},{"key":"S0269888900000485_ref020","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(70)90003-2"},{"key":"S0269888900000485_ref044","volume-title":"Machine Intelligence","volume":"4","author":"McCarthy","year":"1969"},{"key":"S0269888900000485_ref105","unstructured":"[105] McDermott D.V. and Sussman G.J. (1972) \u201cThe CONNIVER Reference Manual\u201d, M.I.T. AI Lab. Memo no. 259. (CONNIVER)"},{"key":"S0269888900000485_ref090","unstructured":"[90] Bobrow D.G. and Stefik M.J. (1983) \u201cThe LOOPS Reference Manual\u201d, Xerox Palo Alto Research Center, Ca. USA. (LOOPS)"},{"key":"S0269888900000485_ref077","unstructured":"[77] Tate A. and Whiter A.M. (1984) \u201cPlanning with Multiple Resource Constraints and an Application to a Naval Planning Problem\u201d, First Conference on the Applications of Artificial Intelligence,Denver,Colorado, USA. December 1984. (NONLIN)"},{"key":"S0269888900000485_ref029","unstructured":"[29] Hayes P.J. (1975) \u201cA Representation for Robot Plans\u201d, Advance papers of IJCAI-75, Tbilisi, USSR."},{"key":"S0269888900000485_ref009","unstructured":"[9] Davis P.R. and Chien R.T. (1977) \u201cUsing and Re-using Partial Plans\u201d, IJCAI-77, Cambridge, Mass., USA."},{"key":"S0269888900000485_ref028","volume-title":"Machine Intelligence","volume":"4","author":"Green","year":"1969"},{"key":"S0269888900000485_ref010","unstructured":"[10] Dean T. (1985) \u201cTemporal Reasoning Involving Counterfactuals and Disjunctions\u201d, IJCAI-85, Los Angeles, Calif. (TNMS)"},{"key":"S0269888900000485_ref021","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0604_2"},{"key":"S0269888900000485_ref100","unstructured":"[100] Hewitt C. (1972) \u201cDescription and Theoretical Analysis (using Schemata) of PLANNER\u201d, MIT AI Lab. Memo no. MAC-TR-256. (PLANNER)"},{"key":"S0269888900000485_ref081","unstructured":"[81] Warren D.H.D. (1974) \u201cWARPLAN: a System for Generating Plans\u201d, Dept. of Computational Logic Memo 76. Artificial Intelligence, Edinburgh University. (WARPLAN)"},{"key":"S0269888900000485_ref070","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(81)90008-4"},{"key":"S0269888900000485_ref040","unstructured":"[40] Lermat D.B. (1975) \u201cBEINGS: Knowledge as Interacting Experts\u201d, IJCAI-75, pp 126\u2013133, Tbilisi, USSR."},{"key":"S0269888900000485_ref003","unstructured":"[3] Bell C.E. and Tate A. (1985) \u201cUsing Temporal Constraints to Restrict Search in a Planner\u201d Proceedings of the Third Workshop of the Alvey IKBS Programme Planning Special Interest Group, Sunningdale, Oxfordshire, UK, April 1985. Available through the Institute of Electrical Engineers, London, UK (O-PLAN)"},{"key":"S0269888900000485_ref014","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"S0269888900000485_ref017","doi-asserted-by":"crossref","unstructured":"[17] Erman L.D. , Hayes-Roth F. , Lesser V.R. and Reddy D.R. (1980) \u201cThe HEARSAY-II speech-understanding system: Integrating Knowledge to Resolve Uncertainty\u201d ACM Computing Surveys, 12, No. 2.","DOI":"10.1145\/356810.356816"},{"key":"S0269888900000485_ref018","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(74)90008-3"},{"key":"S0269888900000485_ref093","volume-title":"Programming in PROLOG","author":"Clocksin","year":"1981"},{"key":"S0269888900000485_ref094","unstructured":"[94] Davies D.J.M. (1973) \u201cPOPLER 1.5 Reference Manual\u201d, D.A.I. Theoretical Psychology Unit Report no.l, Edinburgh university. (POPLER)"},{"key":"S0269888900000485_ref013","unstructured":"[13] Doran J.E. and Trayner C. (1985) \u201cDistributed planning and Execution \u2014 Teamwork 1\u201d, Computer Science Technical Report, University of Essex, UK (TEAMWORK)"},{"key":"S0269888900000485_ref022","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"S0269888900000485_ref042","unstructured":"[42] Luckham D.C. and Buchanan J.R. (1974) \u201cAutomatic Generation of Programs Containing Conditional Statements\u201d, AISB Summer Conference, University of Sussex, UK, pp 102\u2013126, 07 1974."},{"key":"S0269888900000485_ref033","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(73)90010-6"},{"key":"S0269888900000485_ref116","volume-title":"Artificial Intelligence","author":"Rich","year":"1983"},{"key":"S0269888900000485_ref043","first-page":"233","volume-title":"Decision-making in Time Critical Situations","author":"Masui","year":"1983"},{"key":"S0269888900000485_ref035","unstructured":"[35] Konolige K. (1983) \u201cA Deductive Model of belief\u201d, IJCAI-83, pp 377\u2013381, Karlsruhe, West Germany, 08 1983."},{"key":"S0269888900000485_ref058","unstructured":"[58] Sacerdoti E.D. (1975) \u201cThe Non-linear Nature of Plans\u201d, Advance papers of IJCAI-75, Tbilisi, USSR. (NOAH)"},{"key":"S0269888900000485_ref073","unstructured":"[73] Tate A. (1976) \u201cProject Planning Using a Hierarchical Non-linear Planner\u201d, Dept. of Artificial Intelligence Report 25, Edinburgh University. (NONLIN)"},{"key":"S0269888900000485_ref025","unstructured":"[25] Fox M.S. , Allen B. and Strohm G. (1981) \u201cJob Shop Scheduling: an Investigation in Constraint-based Reasoning\u201d, IJCAI-81, Vancouver, British Columbia, Canada, 08 1981. (ISIS.II)"},{"key":"S0269888900000485_ref069","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(81)90007-2"},{"key":"S0269888900000485_ref045","doi-asserted-by":"crossref","unstructured":"[45] McDermott D.V. (1978) \u201cPlanning and Acting\u201d, Cognitive Science, 2.","DOI":"10.1207\/s15516709cog0202_1"},{"key":"S0269888900000485_ref087","unstructured":"[87] Wilkins D.E. and Robinson A.E. (1981) \u201cAn Interactive Planning System\u201d, SRI Technical Note 245. (SIPE)"},{"key":"S0269888900000485_ref076","unstructured":"[76] Tate A. (1984b) \u201cGoal Stucture: Capturing the Intent of Plans\u201d, European Conference on Artificial Intelligence,Pisa,Italy, September 1984. (NONLIN)"},{"key":"S0269888900000485_ref106","unstructured":"[106] McGregor D.R. and Malone J.R. (1981). \u201cThe FACT Database: A System using Generic Associative Networks\u201d, Research Report No. 2\/80, Department of Computer Science, Univ. of Strathclyde, UK. (FACT)"},{"key":"S0269888900000485_ref072","first-page":"215","volume-title":"Interacting Goals and Their Use","author":"Tate","year":"1975"},{"key":"S0269888900000485_ref113","volume-title":"The Handbook of Artificial Intelligence","author":"Barr","year":"1981"},{"key":"S0269888900000485_ref066","unstructured":"[66] Smith R.G. (1979) \u201cA Framework for Distributed Problem Solving\u201d, IJCAI-79, Tokyo, Japan."},{"key":"S0269888900000485_ref111","unstructured":"[111] Stefik M.J. (1979) \u201can Examination of a Frame-structured Representation system\u201d, IJCAI-79, pp 845\u2013852 Tokyo, Japan, (UNITS)"},{"key":"S0269888900000485_ref108","unstructured":"[108] Rulifson J.F. , Derkson J.A. and Waldinger R.J. (1972) \u201cQA4: A Procedural Calculus for Intuitive Reasoing\u201d, Technical Note 73, SRI International Menlo Part, Ca., USA, (QA4)"},{"key":"S0269888900000485_ref097","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4917.001.0001","volume-title":"NETL: a System for Representing Real World Knowledge","author":"Fahlman","year":"1979"},{"key":"S0269888900000485_ref083","unstructured":"[83] Wilensky R. (1978) \u201cUnderstanding Goal-based Stories\u201d, Dept. of Computer Science, Yale Unviersity, Research Report No. 140."},{"key":"S0269888900000485_ref107","unstructured":"[107] Nii H.P. and Aiello N. (1979) \u201cAGE (Attempt to Generalize): A Knowledge-based Program for Building Knowledge-based programs\u201d, IJCAI-79, Tokyo, Japan. (AGE)"},{"key":"S0269888900000485_ref067","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90029-7"},{"key":"S0269888900000485_ref071","unstructured":"[71] Sussman G.A. (1973) \u201cA Computational Model of Skill Acquisition\u201d, M.I.T. AI Lab. memo no. AI-TR-297. (HACKER)"},{"key":"S0269888900000485_ref084","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0503_2"},{"key":"S0269888900000485_ref088","first-page":"733","volume-title":"Representation in a Domain-Independent Planner","author":"Wilkins","year":"1983"},{"key":"S0269888900000485_ref115","volume-title":"Principles of Artificial Intelligence","author":"Nisson","year":"1980"},{"key":"S0269888900000485_ref005","first-page":"168","article-title":"Hierarchical Planning in a Distributed Environment","author":"Corkill","year":"1979","journal-title":"IJCAI-79"},{"key":"S0269888900000485_ref030","doi-asserted-by":"crossref","unstructured":"[30] Hayes-Roth B. and Hayes-Roth F. (1979) \u201cA Cognitive Model of Planning\u201d, Cognitive Science, pp 275\u2013310. (OPM)","DOI":"10.1207\/s15516709cog0304_1"},{"key":"S0269888900000485_ref092","unstructured":"[92] Carnegie Group Inc. \u201cKnowledge Craft\u201d, Commerce Court at station square, Pittsburgh, PA 15219, USA. (Knowledge Craft, SRL+)"},{"key":"S0269888900000485_ref098","unstructured":"[98] Fox M. (1983) \u201cSRL user's Manual\u201d, Technical Report, Robotics Institute, Carnegie-Mellon University, Pittsburgh, Pa., USA. (SRL)"},{"key":"S0269888900000485_ref082","unstructured":"[82] Warren D.H.D. (1976) \u201cGenerating conditional plans and programs\u201d, Proceedings of the AISB Summer Conference, pp 344\u2013354, University of Edinburgh,UK, July 1976. (WARPLAN-C)"},{"key":"S0269888900000485_ref056","unstructured":"[56] Rosenschein S.J. (1981) \u201cPlan Synthesis; A Logical Perspective\u201d, IJCAI-81, Vancouver, British Columbia, Canada."},{"key":"S0269888900000485_ref063","unstructured":"[63] Siklossy L. and Roach J. (1973) \u201cProving the Impossible is Impossible is Possible: Disproofs based on Hereditary Partitions\u201d, IJCAI-73, Palo Alto, Calif. (DISPROVER\/LAWALY)"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888900000485","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:41:54Z","timestamp":1767624114000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888900000485\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,6]]},"references-count":116,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1984,6]]}},"alternative-id":["S0269888900000485"],"URL":"https:\/\/doi.org\/10.1017\/s0269888900000485","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"value":"0269-8889","type":"print"},{"value":"1469-8005","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,6]]}}}