{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T05:17:13Z","timestamp":1739078233033,"version":"3.37.0"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1997,3]]},"DOI":"10.1007\/bf03037559","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T03:26:24Z","timestamp":1240543584000},"page":"27-58","source":"Crossref","is-referenced-by-count":3,"title":["Inductive program synthesis for therapy plan generation"],"prefix":"10.1007","volume":"15","author":[{"given":"Oksana","family":"Arnold","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus P.","family":"Jantke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037559_CR1","doi-asserted-by":"crossref","unstructured":"Arnold, O. and Jantke, K. P., \u201cTherapy Plan Generation as Program Synthesis,\u201d inAlgorithmic Learning Theory, Proc. 4th International Workshop on Analogical and Inductive Inference (AII\u201994) and the 5th International Workshop on Algorithmic Learning Theory (ALT\u201994) (Setsuo Arikawa and Klaus P. Jantke, eds.), October 10\u201315, 1994, Reinhardsbrunn Castle, Germany,volume 872 of LNAI, Springer-Verlag, pp. 40\u201355, 1994.","DOI":"10.1007\/3-540-58520-6_52"},{"key":"BF03037559_CR2","series-title":"ICSI Report, TR-94-054","volume-title":"Therapy Plan Generation in Complex Dynamic Environments","author":"O. Arnold","year":"1994","unstructured":"Arnold, O. and Jantke, K. P., \u201cTherapy Plan Generation in Complex Dynamic Environments,\u201dICSI Report, TR-94-054, International Computer Science Institute, Berkeley, California, October 1994."},{"key":"BF03037559_CR3","unstructured":"Arnold, O. and Jantke, K. P., \u201cTherapy Plans as Hierarchically Structured Graphs,\u201d inFifth International Workshop on Graph Grammars and their Application to Computer Science, Williamsburg, Virginia, USA, November 1994."},{"key":"BF03037559_CR4","unstructured":"Arnold O. and Jantke, K. P., \u201cTherapy Plans as Hierarchically Structured Graphs,\u201dWISCON Report 02\/94, HTWK Leipzig (FH), FB Informatik, Mathematik & Naturwissenschaften, April 1994."},{"key":"BF03037559_CR5","unstructured":"Arnold, O. and Jantke, K. P., \u201cAnwendung einer Logik der Constraints in der operativen Proze\u00dff\u00fchrung,\u201d inLogik in der Informatik, 3. Jahrestagung der GI-Fachgruppe 0.1.6 (Peter H. Schmitt, ed.), Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik, Bericht 23\/95, pp. 13\u201327, Juni 1995."},{"key":"BF03037559_CR6","doi-asserted-by":"crossref","unstructured":"Angluin, D. \u201cComputational Learning Theory: Survey and Selected Bibliography,\u201d inACM Symposium on Theory of Computing, STOC\u201992, ACM Press, pp. 351\u2013368, 1992.","DOI":"10.1145\/129712.129746"},{"key":"BF03037559_CR7","unstructured":"Arnold, O. \u201cWissensverarbeitung in dynamischen Proze\u00dfumgebungen: Reaktive Therapieplanung in dynamischen Proze\u00dfumgebungen,\u201dWISCON Report, 10\/92, Technische Hochschule Leipzig, FB Mathematik & Informatik, October 1992."},{"key":"BF03037559_CR8","unstructured":"Arnold, O. \u201cEntwicklungswerkzeug zur Analyse generierter Pl\u00e4ne \u201cPlan-Tracer,\u201d,\u201dWISCON Report, 03\/93, HTWK Leipzig (FH), Fachbereich IMN, December 1993."},{"key":"BF03037559_CR9","unstructured":"Arnold, O. \u201cA Logic of Constraints for Dynamic Process Control,\u201dWISCON Report, 09\/94, HTWK Leipzig (FH), Fachbereich IMN, December 1994."},{"key":"BF03037559_CR10","unstructured":"Arnold, O. \u201cWISCON \u2014 Ein System zur wissensbasierten \u00dcberwachung und Steuerung technischer Prozesse,\u201d,Sonderheft \u201cInformatiktage Leipzig 1994\u201d, HTWK \u2014 Beitr\u00e4ge zu Lehre und Forschung, Hochschulzeitschrift, 2, 1995."},{"key":"BF03037559_CR11","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/356914.356918","volume":"15","author":"D. Angluin","year":"1983","unstructured":"Angluin, D. and Smith, C. H., \u201cA Survey of Inductive Inference: Theory and Methods,\u201dComputing Surveys, 15, pp. 237\u2013269, 1983.","journal-title":"Computing Surveys"},{"issue":"1","key":"BF03037559_CR12","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0004-3702(79)90013-4","volume":"12","author":"D. R. Barstow","year":"1979","unstructured":"Barstow, D. R., \u201cAn Experiment in Knowledge-Based Automatic Programming,\u201dArtificial Intelligence, 12, 1, pp. 73\u2013119, 1979.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"BF03037559_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(79)90002-X","volume":"12","author":"M. A. Bauer","year":"1979","unstructured":"Bauer, M. A., \u201cProgramming by Examples,\u201dArtificial Intelligence, 12, 1, pp. 1\u201321, 1979.","journal-title":"Artificial Intelligence"},{"issue":"5 & 6","key":"BF03037559_CR14","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1016\/S0747-7171(06)80001-5","volume":"15","author":"W. Bibel","year":"1993","unstructured":"Bibel, W. and Biermann, A. W., \u201cSpecial Issue: Automatic Programming-Foreword of the Guest Editors,\u201dJournal of Symbolic Computation, 15, 5 & 6, pp. 463\u2013465, 1993.","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"BF03037559_CR15","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1109\/T-C.1975.224180","volume":"24","author":"A. W. Biermann","year":"1975","unstructured":"Biermann, A. W., Baum, R. I., Petry, F. E., \u201cSpeeding up the Synthesis of Programs from Traces,\u201dIEEE Transactions on Computers, 24, 2, pp. 122\u2013136, 1975.","journal-title":"IEEE Transactions on Computers"},{"key":"BF03037559_CR16","unstructured":"Biundo, S., G\u00fcnter, A., Hertzberg, J., Schneeberger, J., and Tank, W. \u201cPlanen und Konfigurieren,\u201d inEinf\u00fchrung in die k\u00fcnstliche Intelligenz (G\u00fcnther G\u00f6rz, ed.), Addison-Wesley, pp. 767-828, 1993."},{"issue":"3","key":"BF03037559_CR17","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1109\/TSE.1976.233812","volume":"2","author":"A. W. Biermann","year":"1976","unstructured":"Biermann, A. W. and Krishnaswamy, R., \u201cConstructing Programs from Example Computations,\u201dIEEE Transactions on Software Engineering, SE-2, 3, pp. 141\u2013153, 1976.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF03037559_CR18","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(86)90029-0","volume":"46","author":"A. Brazma","year":"1986","unstructured":"Brazma, A. and Kinber, E. B., \u201cGeneralized Regular Expressions \u2014 A Language for Synthesis of Programs with Branching in Loops,\u201dTheoretical Computer Science, 46, pp. 175\u2013195, 1986.","journal-title":"Theoretical Computer Science"},{"key":"BF03037559_CR19","first-page":"33","volume-title":"Integration of Design, Implementation and Application on Measurement, Automation and Control, Intercama Congress 92","author":"D. Balzer","year":"1992","unstructured":"Balzer, D., Kirbach, V., and May, V., \u201cKnowledge Based Process Control,\u201d inIntegration of Design, Implementation and Application on Measurement, Automation and Control, Intercama Congress 92 (Hartwig Steusloff and Martin Polke, eds.), M\u00fcnchen, Oldenbourg Verlag, pp. 33\u201349, 1992."},{"key":"BF03037559_CR20","doi-asserted-by":"crossref","unstructured":"Bhatnagar, R., Miller, D. W., Hajek, B. K., and Chandasekaran, B., \u201cDPRL: A language for Representation of Operation and Safety Maintenanc Procedures of Nuclear Power Plants,\u201d inProceedings of the Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA\/AIE-90), Charleston, SC, July 15\u201318, 1990, New York, NY, pp. 593\u2013600, 1990.","DOI":"10.1145\/98894.98899"},{"key":"BF03037559_CR21","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","volume":"32","author":"D. Chapman","year":"1987","unstructured":"Chapman, D., \u201cPlanning for Conjunctive Goals,\u201dArtificial Intelligence, 32, pp. 333\u2013377, 1987.","journal-title":"Artificial Intelligence"},{"key":"BF03037559_CR22","unstructured":"Dershowitz, N. and Pinchover, E., \u201cInductive Synthesis of Equational Programs,\u201d inAAAI-90, Proceedings, Eighth National Conference on Artificial Intelligence, MIT Press, pp. 234\u2013239, 1990."},{"issue":"5 & 6","key":"BF03037559_CR23","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1016\/S0747-7171(06)80002-7","volume":"15","author":"N. Dershowitz","year":"1993","unstructured":"Dershowitz, N. and Reddy, U. S., \u201cDeductive and Inductive Synthesis of Equational Programs,\u201dJournal of Symbolic Computation, 15, 5 & 6, pp. 467\u2013494, 1993.","journal-title":"Journal of Symbolic Computation"},{"key":"BF03037559_CR24","doi-asserted-by":"crossref","unstructured":"Dean, T. L. and Wellman, M. P.Planning and Control, Morgan Kaufmann, 1991.","DOI":"10.21236\/ADA254568"},{"issue":"5 & 6","key":"BF03037559_CR25","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1016\/S0747-7171(06)80012-X","volume":"15","author":"P. Flener","year":"1993","unstructured":"Flener, P. and Deville, Y., \u201cLogic Program Synthesis from Incomplete Specifications,\u201dJournal of Symbolic Computation, 15, 5 & 6, pp. 775\u2013805, 1993.","journal-title":"Journal of Symbolic Computation"},{"issue":"3\/4","key":"BF03037559_CR26","doi-asserted-by":"crossref","first-page":"187","DOI":"10.3233\/AIC-1993-63-403","volume":"6","author":"G. Friedrich","year":"1993","unstructured":"Friedrich, G., \u201cModel-Based Diagnosis and Repair,\u201dAICOM, 6, 3\/4, pp. 187\u2013206, 1993.","journal-title":"AICOM"},{"key":"BF03037559_CR27","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537694.001.0001","volume-title":"Temporal Logic. Mathematical Foundations and Computational Aspects","author":"D. M. Gabbay","year":"1994","unstructured":"Gabbay, D. M., Hodkinson, I., and Reynolds, M., \u201cTemporal Logic. Mathematical Foundations and Computational Aspects,\u201dOxford Logic Guides, Vol. 28, Clarendon Press, Oxford, 1994."},{"key":"BF03037559_CR28","unstructured":"Ginsberg, M.,Essentials of Artificial Intelligence, Morgan Kaufmann, 1993."},{"key":"BF03037559_CR29","doi-asserted-by":"crossref","unstructured":"Hammond, K.,Case Based Planning, Viewing Planning as a Memory Task, Academic Press, 1989.","DOI":"10.1016\/B978-0-12-322060-8.50013-9"},{"key":"BF03037559_CR30","unstructured":"Hertzberg, J.,Planen. Einf\u00fchrung in die Planerstellungsmethoden der K\u00fcnstlichen Intelligenz, BI Wissenschaftsverlag, 1989."},{"key":"BF03037559_CR31","doi-asserted-by":"crossref","unstructured":"Hertzberg, J., \u201cKI-Handlungsplanung \u2014 Woran wir arbeiten, und woran wir arbeiten sollten,\u201d inGrundlagen und Anwendungen der K\u00fcnstlichen Intelligenz, 17, Fachtagung f\u00fcr K\u00fcnstliche Intelligenz (KI\u201993) (Otthein Herzog, Thomas Christaller, and Dieter Sch\u00fctt, eds.), Springer-Verlag, pp. 3\u201327, 1993.","DOI":"10.1007\/978-3-642-78545-0_1"},{"key":"BF03037559_CR32","doi-asserted-by":"crossref","unstructured":"H\u00f6fting, F., Lengauer, T., and Wanke, E., \u201cProcessing of Hierarchically Defined Graphs and Graph Famillies,\u201d inData Structures and Efficient Algorithms, volume 594 of Lecture Notes in Computer Science (Burkhard Monien and Thomas Ottmann, eds.), Springer-Verlag, pp. 44\u201369, 1992.","DOI":"10.1007\/3-540-55488-2_21"},{"key":"BF03037559_CR33","unstructured":"Jantke, K. P. and Arnold, O., \u201cGraphgrammatik-Konzepte in der Therapieplanung f\u00fcr komplexe dynamische Prozesse,\u201d in4. GI Theorietag \u201cAutomaten und Formale Sprachen\u201d (Markus Holzer, ed.),1994, Proc., Herrsching, Universit\u00e4t T\u00fcbingen, Wilhelm-Schickard-Institut, pp. 42\u201347, 1995."},{"key":"BF03037559_CR34","doi-asserted-by":"crossref","unstructured":"Jantke, K. P., and Arnold, O., \u201cA Modal Temporal Logic and Its Models Underlying Variants of Planning Algorithms,\u201d inTIME-96, Intern. Workshop, Key West, FL, USA, May 19\u201320, 1996, 1996.","DOI":"10.1109\/TIME.1996.555698"},{"key":"BF03037559_CR35","unstructured":"Jantke, K. P., Arnold, O., and Lehmann, T., \u201cFlexible Simulation Scenarios for Real-Time Planning in Dynamic Environments,\u201d inProc. Florida AI Research Symposium (FLAIRS-96), Special Track on Real-Time Planning and Reacting, Key West, FL, USA, May 20\u201322, 1996, 1996."},{"key":"BF03037559_CR36","doi-asserted-by":"crossref","unstructured":"Jantke, K. P. \u201cAlgorithmic Learning from Incomplete Information: Principles and Problems,\u201d inMachines, Languages, and Complexity (J\u00fcrgen Dassow and Jozef Kelemen, eds.),volume 381 of Lecture Notes in Computer Science, Springer-Verlag, pp. 188\u2013207, 1989.","DOI":"10.1007\/BFb0015939"},{"key":"BF03037559_CR37","unstructured":"Jantke, K. P. \u201cTypes of Incremental Learning,\u201d inWorking Notes, AAAI Symposium on Training Issues in Incremental Learning, March 23\u201325, 1993, Stanford, CA, USA, Stanford University, pp. 26\u201332, 1993."},{"issue":"8\/9","key":"BF03037559_CR38","first-page":"465","volume":"17","author":"K. P. Jantke","year":"1981","unstructured":"Jantke, K. P. and Beick, H.-R., Combining Postulates of Naturalness in Inductive Inferenc,EIK, 17, 8\/9, pp. 465\u2013484, 1981.","journal-title":"EIK"},{"key":"BF03037559_CR39","doi-asserted-by":"crossref","unstructured":"Jouannaud, J.-P. and Kodratoff, Y., \u201cProgram Synthesis from Examples of Behavior,\u201d inComputer Program Synthesis Methodologies (Alan W. Biermann and G\u00e9rard Guiho, eds.), D. Reided Publ. Co., pp. 213\u2013250, 1983.","DOI":"10.1007\/978-94-009-7019-9_7"},{"key":"BF03037559_CR40","unstructured":"Jantke, K. P., Lehmann, T., and Arnold, O., \u201cMeeting Real-Time Constraints in Therapy Plan Generation for Complex Dynamic Systems by Flexible Simulation Scenarios,\u201d inProc. ECHT ZEIT\u201996, Karlsruhe, June 18\u201320, 1996, Franzis-Verlag, 1996."},{"key":"BF03037559_CR41","unstructured":"Jantke, K. P. and Matuschek, D., \u201cDeveloping and Implementing Planning Heuristics in Prolog,\u201d inProc. Florida AI Research Symposium (FLAIRS-96), Key West, FL, USA, May 20\u201322, 1996, 1996."},{"key":"BF03037559_CR42","unstructured":"Kirsten, D., \u201cProperties of Formal Languages of Therapy Plans Created by Graph Grammars,\u201dCommunications of the Algorithmic Learning Group CALG-04\/95, Hochschule f\u00fcr Technik, Wirtschaft und Kultur Leipzig, FB Informatik, Mathematik und Naturwissenschaften, September 1995."},{"key":"BF03037559_CR43","unstructured":"Kirsten, D., \u201cRedundant Edges in Therapy Planning,\u201dCommunications of the Algorithmic Learning Group CALG-06\/95, Hochschule f\u00fcr Technik, Wirtschaft und Kultur Leipzig, FB Informatik, Mathematik und Naturwissenschaften, December 1995."},{"key":"BF03037559_CR44","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0020-0255(80)80006-5","volume":"22","author":"R. Klette","year":"1980","unstructured":"Klette, R. and Wiehagen, R., \u201cResearch in the Theory of Inductive Inference by GDR Mathematicians \u2014 A Survey,\u201dInformation Sciences, 22, pp. 149\u2013160, 1980.","journal-title":"Information Sciences"},{"issue":"6","key":"BF03037559_CR45","doi-asserted-by":"crossref","first-page":"1063","DOI":"10.1137\/0217068","volume":"17","author":"T. Lengauer","year":"1988","unstructured":"Lengauer, T. and Wanke, E., \u201cEfficient Solution of Connectivity Problems on Hierarchically Defined Graphs,\u201dSIAM Journal of Computing, 17, 6, pp. 1063\u20131080, 1988.","journal-title":"SIAM Journal of Computing"},{"key":"BF03037559_CR46","unstructured":"Matuschek, D., Jantke, K. P., and Arnold, O., \u201cGenerierung von Therapiepl\u00e4nen mit Mitteln der logischen Programmierung,\u201d inLogik in der Informatik, 3. Jahrestagung der GI-Fachgruppe 0.1.6 (Peter H. Schmitt, ed.), Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik, Bericht 23\/95, pp. 75\u201378, Juni 1995."},{"key":"BF03037559_CR47","series-title":"Technical Note","volume-title":"Knowledge and Reasoning in Program Synthesis","author":"Z. Manna","year":"1974","unstructured":"Manna, Z. and Waldinger, R., \u201cKnowledge and Reasoning in Program Synthesis,\u201dTechnical Note, 98, Stanford Research Institute, Menlo Park, CA, USA, November 1974."},{"key":"BF03037559_CR48","doi-asserted-by":"crossref","unstructured":"Manna, Z. and Waldinger, R., \u201cDeductive Synthesis of the Unification Algorithm,\u201d inComputer Program Synthesis Methodologies (Alan W. Biermann and G\u00e9rard Guiho, eds.), D. Reidel Publ. Co., pp. 251\u2013307, 1983.","DOI":"10.1007\/978-94-009-7019-9_8"},{"issue":"8","key":"BF03037559_CR49","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1109\/32.153379","volume":"18","author":"Z. Manna","year":"1991","unstructured":"Manna, Z. and Waldinger, R., \u201cFundamentals of Deductive Program Synthesis,\u201dIEEE Transactions on Software Engineering, 18, 8, pp. 674\u2013704, 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF03037559_CR50","unstructured":"Neugebauer, G.,Pragmatische Programmsynthese, volume 18 of DISKI, Dissertationen zur K\u00fcnstlichen Intelligenz, infix, 1992."},{"key":"BF03037559_CR51","doi-asserted-by":"crossref","unstructured":"Pelavin, R. N., \u201cPlanning with Simultaneous Actions and External Events,\u201d inReasoning about Plans (James F. Allen, Henry A. Kautz, Richard N. Pelavin, and Josh D. Tenenberg, eds.), chapter 3, Morgan Kaufmann, pp. 127\u2013211. 1991.","DOI":"10.1016\/B978-1-55860-137-6.50009-1"},{"key":"BF03037559_CR52","unstructured":"Shapiro, E. Y. \u201cAn Algorithm That Infers Theories from Facts,\u201d inProc. 7th Intern. Joint Conference on Artificial Intelligence, Vancouver, Canada, pp. 446\u2013451, 1981."},{"key":"BF03037559_CR53","doi-asserted-by":"crossref","unstructured":"Shapiro, E. Y.,Algorithmic Program Debugging, MIT Press, 1983.","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"BF03037559_CR54","unstructured":"Summers, P. D., \u201cProgram Construction from Examples,\u201dPh. D thesis, Yale University, Dept. Comp. Sci., 1975."},{"issue":"1","key":"BF03037559_CR55","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1145\/321992.322002","volume":"24","author":"P. D. Summers","year":"1977","unstructured":"Summers, P. D., \u201cA Methodology for LISP Program Construction from Examples,\u201dJournal of the ACM, 24, 1, pp. 161\u2013175, 1977.","journal-title":"Journal of the ACM"},{"issue":"1","key":"BF03037559_CR56","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0890-5401(91)90035-Z","volume":"94","author":"E. Wanke","year":"1989","unstructured":"Wanke, E., \u201cAlgorithms for Graph Problems on BNLC Structured Graphs,\u201dInformation and Computation, 94, 1, pp. 93\u2013122, 1989.","journal-title":"Information and Computation"},{"key":"BF03037559_CR57","unstructured":"Werling, G.,Produktorientierte automatische Planung von Pr\u00fcfoperationen bei der robotergest\u00fctzten Montage, volume 46 of DISKI, Dissertationen zur K\u00fcnstlichen Intelligenz, infix, 1993."},{"key":"BF03037559_CR58","doi-asserted-by":"crossref","unstructured":"Wiehagen, R., \u201cCharacterization Problems in the Theory of Inductive Inference,\u201d inAutomata, Languages, and Programming, 5th ICALP\u201978, volume 62 of Lecture Notes in Computer Science, Springer-Verlag, pp. 571\u2013579, 1978.","DOI":"10.1007\/3-540-08860-1_37"},{"key":"BF03037559_CR59","unstructured":"Wiehagen, R., \u201cFrom Inductive Inference to Algorithmic Learning Theory,\u201d inProc. 3rd Workshop on Algorithmic Learning Theory (ALT\u201992) (Shuji Doshita, Koichi Furukawa, Klaus P. Jantke, and Toyaki Nishida, eds.), October 20\u201322, 1992, Tokyo,volume 743 of Lecture Notes in Artificial Intelligence, Springer-Verlag, pp. 13\u201324, 1992."},{"key":"BF03037559_CR60","unstructured":"Wilkins, D. E.,Practical Planning: Extending the Classical AI Planning Paradigm., Morgan Kaufmann, 1988."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037559.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037559\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037559","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T04:42:10Z","timestamp":1739076130000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037559"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,3]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,3]]}},"alternative-id":["BF03037559"],"URL":"https:\/\/doi.org\/10.1007\/bf03037559","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"type":"print","value":"0288-3635"},{"type":"electronic","value":"1882-7055"}],"subject":[],"published":{"date-parts":[[1997,3]]}}}