{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:13Z","timestamp":1742598613068,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540585206"},{"type":"electronic","value":"9783540490302"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58520-6_52","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:35:25Z","timestamp":1330274125000},"page":"40-55","source":"Crossref","is-referenced-by-count":6,"title":["Therapy plan generation as program synthesis"],"prefix":"10.1007","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","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"7_CR1","unstructured":"Oksana Arnold and Klaus P. Jantke. Therapy plans as hierarchically structured graphs. WISCON Report 02\/94, HTWK Leipzig (FH), Fachbereich IMN, April 1994."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Dana Angluin. Computational learning theory: Survey and selected bibliography. In ACM Symposium on Theory of Computing, STOC'92, pages 351\u2013368. ACM Press, 1992.","DOI":"10.1145\/129712.129746"},{"key":"7_CR3","unstructured":"Oksana Arnold. Wissensverarbeitung in dynamischen Proze\u00dfumgebungen: Reaktive Therapieplanung in dynamischen Proze\u00dfumgebungen. WISCON Report 10\/92, Technische Hochschule Leipzig, FB Mathematik & Informatik, October 1992."},{"key":"7_CR4","unstructured":"Oksana Arnold. GARNET-Gadgets und LISP-Funktionen zur Gestaltung einer einheitlichen Benutzeroberfl\u00e4che der WISCON-Tools. WISCON Report 02\/93, HTWK Leipzig (FH), Fachbereich IMN, December 1993."},{"key":"7_CR5","unstructured":"Oksana Arnold. Using multiple models for therapy planning in dynamic environments. In submitted, 1993."},{"key":"7_CR6","unstructured":"Oksana Arnold. An expert system architecture to support process supervision and control. In submitted, 1994."},{"key":"7_CR7","unstructured":"Oksana Arnold. Towards structure and management of knowledge bases for controlling technological equipments. In submitted, 1994."},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/356914.356918","volume":"15","author":"D. Angluin","year":"1983","unstructured":"Dana Angluin and Carl H. Smith. A survey of inductive inference: Theory and methods. Computing Surveys, 15:237\u2013269, 1983.","journal-title":"Computing Surveys"},{"issue":"1","key":"7_CR9","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0004-3702(79)90013-4","volume":"12","author":"D. R. Barstow","year":"1979","unstructured":"David R. Barstow. An experiment in knowledge-based automatic programming. Artificial Intelligence, 12(1):73\u2013119, 1979.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"7_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(79)90002-X","volume":"12","author":"M. A. Bauer","year":"1979","unstructured":"Michael A. Bauer. Programming by examples. Artificial Intelligence, 12(1):1\u201321, 1979.","journal-title":"Artificial Intelligence"},{"issue":"5","key":"7_CR11","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1016\/S0747-7171(06)80001-5","volume":"15","author":"W. Bibel","year":"1993","unstructured":"W. Bibel and A. W. Biermann. Special issue: Automatic programming \u2014 foreword of the guest editors. Journal of Symbolic Computation, 15(5 & 6):463\u2013465, 1993.","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"7_CR12","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1109\/T-C.1975.224180","volume":"24","author":"A. W. Biermann","year":"1975","unstructured":"Alan W. Biermann, Richard I. Baum, and Frederick E. Petry. Speeding up the synthesis of programs from traces. IEEE Transactions on Computers, 24(2):122\u2013136, 1975.","journal-title":"IEEE Transactions on Computers"},{"key":"7_CR13","unstructured":"Susanne Biundo, andreas G\u00fcnter, Joachim Hertzberg, Josef Schneeberger, and Wolfgang Tank. Planen und Konfigurieren. In G\u00fcnther G\u00f6rz, editor, Einf\u00fchrung in die k\u00fcnstliche Intelligenz, pages 767\u2013828. Addison-Wesley, 1993."},{"issue":"3","key":"7_CR14","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1109\/TSE.1976.233812","volume":"SE-2","author":"A. W. Biermann","year":"1976","unstructured":"Alan W. Biermann and Ramachandran Krishnaswamy. Constructing programs from example computations. IEEE Transactions on Software Engineering, SE-2(3):141\u2013153, 1976.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR15","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(86)90029-0","volume":"46","author":"A. Brazma","year":"1986","unstructured":"Alvis Brazma and Efim B. Kinber. Generalized regular expressions \u2014 a language for synthesis of programs with branching in loops. Theoretical Computer Science, 46:175\u2013195, 1986.","journal-title":"Theoretical Computer Science"},{"key":"7_CR16","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":"Dietrich Balzer, Volkmar Kirbach, and Volker May. Knowledge based process control. In Hartwig Steusloff and Martin Polke, editors, Integration of Design, Implementation and Application on Measurement, Automation and Control, Intercama Congress 92, pages 33\u201349, M\u00fcnchen, 1992. Oldenbourg."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"R. Bhatnagar, D. W. Miller, B.K. Hajek, and B. Chandasekaran. DPRL: A language for representation of operation and safety maintenance procedures of nuclear power plants. In IEA\/AIE-90, pages 593\u2013600. ACM, 1990.","DOI":"10.1145\/98894.98899"},{"key":"7_CR18","unstructured":"Nachum Dershowitz and Eli Pinchover. Inductive synthesis of equational programs. In AAAI-90, Proceedings, Eighth National Conference on Artificial Intelligence, pages 234\u2013239. MIT Press, 1990."},{"issue":"5","key":"7_CR19","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1016\/S0747-7171(06)80002-7","volume":"15","author":"N. Dershowitz","year":"1993","unstructured":"Nachum Dershowitz and Uday S. Reddy. Deductive and inductive synthesis of equational programs. Journal of Symbolic Computation, 15(5 & 6):467\u2013494, 1993.","journal-title":"Journal of Symbolic Computation"},{"key":"7_CR20","unstructured":"T.L. Dean and M.P. Wellman. Planning and Control. Morgan Kaufmann, 1991."},{"issue":"5","key":"7_CR21","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1016\/S0747-7171(06)80012-X","volume":"15","author":"P. Flener","year":"1993","unstructured":"P. Flener and Y. Deville. Logic program synthesis from incomplete specifications. Journal of Symbolic Computation, 15(5 & 6):775\u2013805, 1993.","journal-title":"Journal of Symbolic Computation"},{"issue":"3\/4","key":"7_CR22","doi-asserted-by":"crossref","first-page":"187","DOI":"10.3233\/AIC-1993-63-403","volume":"6","author":"G. Friedrich","year":"1993","unstructured":"Gerhard Friedrich. Model-based diagnosis and repair. AICOM, 6(3\/4):187\u2013206, 1993.","journal-title":"AICOM"},{"key":"7_CR23","unstructured":"Matt Ginsberg. Essentials of Artificial Intelligence. Morgan Kaufmann, 1993."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"K. Hammond. Case Based Planning. Viewing Planning as a Memory Task. Academic Press, 1989.","DOI":"10.1016\/B978-0-12-322060-8.50013-9"},{"key":"7_CR25","unstructured":"Joachim Hertzberg. Planen. Einf\u00fchrung in die Planerstellungsmethoden der K\u00fcnstlichen Intelligenz. BI Wissenschaftsverlag, 1989."},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Joachim Hertzberg. KI-Handlungsplanung \u2014 Woran wir arbeiten, und woran wir arbeiten sollten. In Otthein Herzog, Thomas Christaller, and Dieter Sch\u00fctt, editors, Grundlagen und Anwendungen der K\u00fcnstlichen Intelligenz. 17. Fachtagung f\u00fcr K\u00fcnstliche Intelligenz (KI'93), pages 3\u201327. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-642-78545-0_1"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Franz H\u00f6fting, Thomas Lengauer, and Egon Wanke. Processing of hierarchally defined graphs and graph families. In Burkhard Monien and Thomas Ottmann, editors, Data Structures and Efficient Algorithms, volume 594 of Lecture Notes in Computer Science, pages 44\u201369. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55488-2_21"},{"key":"7_CR28","first-page":"321","volume-title":"Frege Conference","author":"K. P. Jantke","year":"1984","unstructured":"Klaus P. Jantke. The main proof-theoretic problems in inductive inference. In G. Wechsung, editor, Frege Conference, pages 321\u2013330. Akademie-Verlag Berlin, 1984."},{"key":"7_CR29","first-page":"218","volume-title":"Case based learning in inductive inference","author":"K. P. Jantke","year":"1992","unstructured":"Klaus P. Jantke. Case based learning in inductive inference. In Proc. of the 5th ACM Workshop on Computational Learning Theory, COLT'92, July 27\u201329, 1992, Pittsburgh, PA, USA, pages 218\u2013223. ACM Press, 1992."},{"issue":"8\/9","key":"7_CR30","first-page":"465","volume":"17","author":"K. P. Jantke","year":"1981","unstructured":"Klaus P. Jantke and Hans-Rainer Beick. Combining postulates of naturalness in inductive inference. EIK, 17(8\/9):465\u2013484, 1981.","journal-title":"EIK"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Jean-Pierre Jouannaud and Yves Kodratoff. Program synthesis from examples of behavior. In Alan W. Biermann and G\u00e9rard Guiho, editors, Computer Program Synthesis Methodologies, pages 213\u2013250. D. Reidel Publ. Co., 1983.","DOI":"10.1007\/978-94-009-7019-9_7"},{"key":"7_CR32","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0020-0255(80)80006-5","volume":"22","author":"R. Klette","year":"1980","unstructured":"Reinhard Klette and Rolf Wiehagen. Research in the theory of inductive inference by GDR mathematicians \u2014 a survey. Information Sciences, 22:149\u2013169, 1980.","journal-title":"Information Sciences"},{"issue":"6","key":"7_CR33","doi-asserted-by":"crossref","first-page":"1063","DOI":"10.1137\/0217068","volume":"17","author":"T. Lengauer","year":"1988","unstructured":"Thomas Lengauer and Egon Wanke. Efficient solution of connectivity problems on hierarchically defined graphs. SIAM Journal of Computing, 17(6):1063\u20131080, 1988.","journal-title":"SIAM Journal of Computing"},{"key":"7_CR34","volume-title":"Technical Note 98","author":"Z. Manna","year":"1974","unstructured":"Zohar Manna and Richard Waldinger. Knowledge and reasoning in program synthesis. Technical Note 98, Stanford Research Institute, Menlo Park, CA, USA, November 1974."},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Zohar Manna and Richard Waldinger. Deductive synthesis of the unification algorithm. In Alan W. Biermann and G\u00e9rard Guiho, editors, Computer Program Synthesis Methodologies, pages 251\u2013307. D. Reidel Publ. Co., 1983.","DOI":"10.1007\/978-94-009-7019-9_8"},{"key":"7_CR36","unstructured":"Gerd Neugebauer. Pragmatische Programmsynthese, volume 18 of DISKI, Dissertationen zur K\u00fcnstlichen Intelligenz, infix, 1992."},{"key":"7_CR37","doi-asserted-by":"crossref","unstructured":"Richard N. Pelavin. Planning with simultaneous actions and external events. In James F. Allen, Henry A. Kautz, Richard N. Pelavin, and Josh D. Tenenberg, editors, Reasoning about Plans, chapter 3, pages 127\u2013211. Morgan Kaufmann, 1991.","DOI":"10.1016\/B978-1-55860-137-6.50009-1"},{"key":"7_CR38","unstructured":"Ehud Y. Shapiro. An algorithm that infers theories from facts. In Proc. 7th Intern. Joint Conference on Artificial Intelligence, Vancouver, Canada, pages 446\u2013451, 1981."},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Ehud Y. Shapiro. Algorithmic Program Debugging. MIT Press, 1983.","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"7_CR40","unstructured":"Philip D. Summers. Program Construction from Examples. PhD thesis, Yale University, Dept. Comp. Sci., 1975."},{"issue":"1","key":"7_CR41","first-page":"161","volume":"24","author":"P. D. Summers","year":"1977","unstructured":"Philip D. Summers. A methodology for LISP program construction from examples. Journal of the A CM, 24(1):161\u2013175, 1977.","journal-title":"Journal of the A CM"},{"issue":"1","key":"7_CR42","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0890-5401(91)90035-Z","volume":"94","author":"E. Wanke","year":"1989","unstructured":"Egon Wanke. Algorithms for graph problems on BNLC structured graphs. Information and Computation, 94(1):93\u2013122, 1989.","journal-title":"Information and Computation"},{"key":"7_CR43","unstructured":"Gerhard Werling. Produktorientierte automatische Planung von Pr\u00fcfoperationen bei der robotergest\u00fctzten Montage, volume 46 of DISKI, Dissertationen zur K\u00fcnstlichen Intelligenz, infix, 1993."},{"key":"7_CR44","unstructured":"Rolf Wiehagen. From inductive inference to algorithmic learning theory. In S. Doshita, K. Furukawa, K.P. Jantke, and T. Nishida, editors, Proc. 3rd Workshop on Algorithmic Learning Theory, (ALT'92), October 20\u201322, 1992, Tokyo, volume 743 of Lecture Notes in Artificial Intelligence, pages 13\u201324. Springer-Verlag, 1992."},{"key":"7_CR45","unstructured":"David E. Wilkins. Practical Planning: Extending the Classical AI Planning Paradigm. Morgan Kaufmann, 1988."}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58520-6_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:35:29Z","timestamp":1742596529000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58520-6_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540585206","9783540490302"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/3-540-58520-6_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}