{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:47:49Z","timestamp":1725475669201},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678663"},{"type":"electronic","value":"9783540446576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720246_20","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T11:15:39Z","timestamp":1167390939000},"page":"252-264","source":"Crossref","is-referenced-by-count":6,"title":["Deductive Synthesis of Recursive Plans in Linear Logic"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Cresswell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Smaill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian","family":"Richardson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S. Abramsky","year":"1993","unstructured":"Abramsky, S.: Computational interpretations of linear logic. Theoretical Computer Science\u00a0111, 3\u201357 (1993) (Revised version of Imperial College Technical Report DoC 90\/20)","journal-title":"Theoretical Computer Science"},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF03037438","volume":"4","author":"W. Bibel","year":"1986","unstructured":"Bibel, W.: A deductive solution for plan generation. New Generation Computing\u00a04, 115\u2013132 (1986)","journal-title":"New Generation Computing"},{"key":"20_CR3","unstructured":"Br\u00fcning, S., H\u00f6lldobler, S., Schneeberger, J., Sigmund, U., Thielscher, M.: Disjunction in resource-oriented deductive planning. In: Proceedings of the International Symposium on Logic Programming, p. 670 (1993)"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0004-3702(93)90079-Q","volume":"62","author":"A. Bundy","year":"1993","unstructured":"Bundy, A., Stevens, A., van Harmelen, F., Ireland, A., Smaill, A.: Rippling: A heuristic for guiding inductive proofs. Artificial Intelligence\u00a062, 185\u2013253 (1993); Also available from Edinburgh as DAI Research Paper No. 567","journal-title":"Artificial Intelligence"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02, 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BFb0052949","volume-title":"European Workshop on Planning","author":"G.R. Ghassem-Sani","year":"1991","unstructured":"Ghassem-Sani, G.R., Steel, S.W.D.: Recursive plans. In: Hertzberg, J. (ed.) EWSP 1991. LNCS, vol.\u00a0522, pp. 53\u201363. Springer, Heidelberg (1991)"},{"key":"20_CR7","series-title":"London Mathematical Society Lecture Notes Series","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511629150","volume-title":"Advances in Linear Logic","author":"J.-Y. Girard","year":"1995","unstructured":"Girard, J.-Y.: Linear logic: its syntax and semantics. In: Girard, J.-Y., Lafont, Y., Regnier, L. (eds.) Advances in Linear Logic. London Mathematical Society Lecture Notes Series, vol.\u00a0222, Cambridge University Press, Cambridge (1995)"},{"issue":"2","key":"20_CR8","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1093\/logcom\/6.2.233","volume":"6","author":"G. Gro\u00dfe","year":"1996","unstructured":"Gro\u00dfe, G., H\u00f6lldobler, S., Schneeberger, J.: Linear deductive planning. Journal of Logic and Computation\u00a06(2), 233\u2013262 (1996)","journal-title":"Journal of Logic and Computation"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/3-540-55602-8_174","volume-title":"Automated Deduction - CADE-11","author":"J. Hesketh","year":"1992","unstructured":"Hesketh, J., Bundy, A., Smaill, A.: Using middle-out reasoning to control the synthesis of tail-recursive programs. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607, pp. 310\u2013324. Springer, Heidelberg (1992)"},{"issue":"2","key":"20_CR10","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1006\/inco.1994.1036","volume":"110","author":"J.S. Hodas","year":"1994","unstructured":"Hodas, J.S., Miller, D.: Logic programming in a fragment of intuitionistic linear logic. Information and Computation\u00a0110(2), 327\u2013365 (1994); Extended abstract in the Proceedings of the Sixth Annual Symposium on Logic in Computer Science, Amsterdam, July 15-18 (1991)","journal-title":"Information and Computation"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/3-540-61511-3_68","volume-title":"Automated Deduction - Cade-13","author":"A. Ireland","year":"1996","unstructured":"Ireland, A., Bundy, A.: Extensions to a Generalization Critic for Inductive Proof. In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS, vol.\u00a01104, pp. 47\u201361. Springer, Heidelberg (1996)"},{"key":"20_CR12","unstructured":"Jacopin, E.: Classical AI planning as theorem proving: The case of a fragment of linear logic. In: AAAI Fall Symposium on Automated Deduction in Nonstandard Logics, Technical Report FS-93-01, pp. 62-66. AAAI Press Publications, Palo Alto (1993)"},{"issue":"4","key":"20_CR13","first-page":"343","volume":"3","author":"Z. Manna","year":"1986","unstructured":"Manna, Z., Waldinger, R.: How to clear a block: a theory of plans. Journal of Automated Reasoning\u00a03(4), 343\u2013377 (1986)","journal-title":"Journal of Automated Reasoning"},{"key":"20_CR14","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/0304-3975(93)90008-H","volume":"113","author":"M. Masseron","year":"1993","unstructured":"Masseron, M.: Generating plans in linear logic II: A geometry of conjunctive actions. Theoretical Computer Science\u00a0113, 371\u2013375 (1993)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"20_CR15","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/0304-3975(93)90007-G","volume":"113","author":"M. Masseron","year":"1993","unstructured":"Masseron, M., Tollu, C., Vauzeilles, J.: Generating plans in linear logic I: Actions and proofs. Theoretical Computer Science\u00a0113(2), 349\u2013371 (1993)","journal-title":"Theoretical Computer Science"},{"key":"20_CR16","volume-title":"Programming in Martin-L\u00f6f Type Theory","author":"B. Nordstr\u00f6m","year":"1990","unstructured":"Nordstr\u00f6m, B., Petersson, K., Smith, J.: Programming in Martin-L\u00f6f Type Theory. Oxford University Press, Oxford (1990)"},{"key":"20_CR17","first-page":"213","volume-title":"Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS 1996)","author":"W. Stephan","year":"1996","unstructured":"Stephan, W., Biundo, S.: Deduction based refinement planning. In: Drabble, B. (ed.) Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS 1996), pp. 213\u2013220. AAAI Press, Menlo Park (1996)"},{"key":"20_CR18","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1994","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog, 2nd edn. MIT Press, Cambridge (1994)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in AI Planning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10720246_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T22:54:23Z","timestamp":1552863263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720246_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678663","9783540446576"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/10720246_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}