{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:27Z","timestamp":1725665007826},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627180"},{"type":"electronic","value":"9783540684947"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62718-9_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:49:30Z","timestamp":1330296570000},"page":"256-274","source":"Crossref","is-referenced-by-count":5,"title":["Extensible logic program schemata"],"prefix":"10.1007","author":[{"given":"Timothy S.","family":"Gegg-Harrison","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"15_CR1","unstructured":"D. Barker-Plummer. Clich\u00e9 Programming in Prolog. In M. Bruynooghe, editor, Proceedings of the 2\n\n                  nd\n                \nWorkshop on Meta-Programming in Logic, Leuven, Belgium, pages 247\u2013256, 1990."},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF00120879","volume":"20","author":"P. Brna","year":"1991","unstructured":"P. Brna, A. Bundy, A. Dodd, M. Eisenstadt, C. Looi, H. Pain, D. Robertson, B. Smith, and M. van Someren. Prolog Programming Techniques. Instructional Science, 20: 111\u2013133, 1991.","journal-title":"Instructional Science"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"P. Flener. Logic Program Synthesis from Incomplete Information. Kluwer Academic Publishers, 1995.","DOI":"10.1007\/978-1-4615-2205-8"},{"key":"15_CR4","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: 775\u2013805, 1993.","journal-title":"Journal of Symbolic Computation"},{"key":"15_CR5","first-page":"171","volume-title":"Logic Program Transformation Through Generalization Schemata","author":"P. Flener","year":"1995","unstructured":"P. Flener and Y. Deville. Logic Program Transformation Through Generalization Schemata. In M. Proietti, editor, Proceedings of the 5\n\n                  th\n                \nInternational Workshop on Logic Program Synthesis and Transformation, Utrecht, The Netherlands, pages 171\u2013173, Springer-Verlag, 1995."},{"key":"15_CR6","first-page":"111","volume-title":"Schema-Based Transformations of Logic Programs","author":"N.E. Fuchs","year":"1991","unstructured":"N.E. Fuchs and M.P.J. Fromhertz. Schema-Based Transformations of Logic Programs. In T.P. Clement and K. Lau, editors, Proceedings of the 1\n\n                  st\n                \nInternational Workshop on Logic Program Synthesis and Transformation, Manchester, England, pages 111\u2013125, Springer-Verlag, 1991."},{"key":"15_CR7","volume-title":"Technical Report CS-1989-20","author":"T.S. Gegg-Harrison","year":"1989","unstructured":"T.S. Gegg-Harrison. Basic Prolog Schemata. Technical Report CS-1989-20, Department of Computer Science, Duke University, Durham, North Carolina, 1989."},{"key":"15_CR8","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF00120881","volume":"20","author":"T.S. Gegg-Harrison","year":"1991","unstructured":"T.S. Gegg-Harrison. Learning Prolog in a Schema-Based Environment. Instructional Science, 20: 173\u2013190, 1991.","journal-title":"Instructional Science"},{"key":"15_CR9","first-page":"169","volume":"3","author":"T.S. Gegg-Harrison","year":"1992","unstructured":"T.S. Gegg-Harrison. Adapting Instruction to the Student's Capabilities. Journal of Artificial Intelligence in Education, 3: 169\u2013181, 1992.","journal-title":"Journal of Artificial Intelligence in Education"},{"key":"15_CR10","first-page":"255","volume":"5","author":"T.S. Gegg-Harrison","year":"1994","unstructured":"T.S. Gegg-Harrison. Exploiting Program Schemata in an Automated Program Debugger. Journal of Artificial Intelligence in Education, 5: 255\u2013278, 1994.","journal-title":"Journal of Artificial Intelligence in Education"},{"key":"15_CR11","first-page":"467","volume-title":"Representing Logic Program Schemata in \u03bbProlog","author":"T.S. Gegg-Harrison","year":"1995","unstructured":"T.S. Gegg-Harrison. Representing Logic Program Schemata in \u03bbProlog. In L. Sterling, editor, Proceedings of the 12\n\n                  th\n                \nInternational Conference on Logic Programming, Kanagawa, Japan, pages 467\u2013481, MIT Press, 1995."},{"key":"15_CR12","first-page":"230","volume-title":"Declarative Logic Programming with Primitive Recursive Relations on Lists","author":"A. Hamfelt","year":"1996","unstructured":"A. Hamfelt and J. Fischer Nilsson. Declarative Logic Programming with Primitive Recursive Relations on Lists. In M. Maher, editor, Proceedings of the 13\n\n                  th\n                \nJoint International Conference and Symposium on Logic Programming, Bonn, Germany, pages 230\u2013243, MIT Press, 1996."},{"key":"15_CR13","unstructured":"M. Kirschenbaum and L.S. Sterling. Applying Techniques to Skeletons. In J. Jacquet, editor, Constructing Logic Programs, pages 127\u2013140, MIT Press, 1993."},{"key":"15_CR14","first-page":"138","volume-title":"Schema-Based Top-Down Design of Logic Programs using Abstract Data Types","author":"E. Marakakis","year":"1994","unstructured":"E. Marakakis and J.P. Gallagher. Schema-Based Top-Down Design of Logic Programs using Abstract Data Types. In L. Fribourg and F. Turini, editors, Proceedings of the 4\n\n                  th\n                \nInternational Workshops on Logic Program Synthesis and Transformation and Meta-Programming in Logic, Pisa, Italy, pages 138\u2013153, Springer-Verlag, 1994."},{"key":"15_CR15","first-page":"810","volume-title":"An Overview of \u03bbProlog","author":"G. Nadathur","year":"1988","unstructured":"G. Nadathur and D. Miller. An Overview of \u03bbProlog. In R.A. Kowalski and K.A. Bowen, editors, Proceedings of the 5\n\n                  th\n                \nInternational Conference and Symposium on Logic Programming, Seattle, Washington, pages 810\u2013827, MIT Press, 1988."},{"key":"15_CR16","first-page":"174","volume-title":"An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations","author":"W.W. Vasconcelos","year":"1995","unstructured":"W.W. Vasconcelos and N.E. Fuchs. An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations. In M. Proietti, editor, Proceedings of the 5\n\n                  th\n                \nInternational Workshop on Logic Program Synthesis and Transformation, Utrecht, The Netherlands, pages 174\u2013188, Springer-Verlag, 1995."}],"container-title":["Lecture Notes in Computer Science","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62718-9_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:39:36Z","timestamp":1619573976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62718-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627180","9783540684947"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-62718-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}