{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:02Z","timestamp":1725663542879},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556060"},{"type":"electronic","value":"9783540472544"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55606-0_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T05:24:44Z","timestamp":1330233884000},"page":"343-350","source":"Crossref","is-referenced-by-count":1,"title":["ADAPT: Automated debugging in an adaptive Prolog tutor"],"prefix":"10.1007","author":[{"given":"Timothy S.","family":"Gegg-Harrison","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"42_CR1","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(80)90023-5","volume":"15","author":"A. Adam","year":"1980","unstructured":"A. Adam and J. Laurent. LAURA. A System to Debug Student Programs. Artificial Intelligence, 15:75\u2013122, 1980.","journal-title":"Artificial Intelligence"},{"key":"42_CR2","first-page":"159","volume":"10","author":"J. R. Anderson","year":"1985","unstructured":"J.R. Anderson and B.J. Reiser. The Lisp Tutor. Byte, 10:159\u2013175, 1985.","journal-title":"Byte"},{"key":"42_CR3","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF00120879","volume":"20","author":"P. Brna","year":"1992","unstructured":"P. Brna, A. Bundy, T. Dodd, M. Eisenstadt, C. Looi, H. Pain, B. Smith, and M. van Someren. Prolog Programming Techniques. Instructional Science, 20:111\u2013133, 1992.","journal-title":"Instructional Science"},{"key":"42_CR4","volume-title":"Technical Report No. CS-1989-20","author":"T. S. Gegg-Harrison","year":"1989","unstructured":"T.S. Gegg-Harrison. Basic Prolog Schemata. Proceedings of the NACLP'89 Workshop on Logic Programming Environments: The Next Generation, Cleveland, Ohio, 1989 (complete paper available as Technical Report No. CS-1989-20, Department of Computer Science, Duke University, Durham, North Carolina)."},{"key":"42_CR5","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF00120881","volume":"20","author":"T. S. Gegg-Harrison","year":"1992","unstructured":"T.S. Gegg-Harrison. Learning Prolog in a Schema-Based Environment. Instructional Science, 20:173\u2013192, 1992.","journal-title":"Instructional Science"},{"key":"42_CR6","unstructured":"T.S. Gegg-Harrison. Adapting Instruction to the Student's Capabilities. Journal of Artificial Intelligence in Education, in press."},{"key":"42_CR7","unstructured":"T.S. Gegg-Harrison. Exploiting Program Schemata in Prolog Tutoring System. Ph.D. Dissertation, Department of Computer Science, Duke University, Durham, North Carolina, in preparation."},{"key":"42_CR8","volume-title":"Intention-Based Diagnosis of Novice Programming Errors","author":"W. L. Johnson","year":"1986","unstructured":"W.L. Johnson. Intention-Based Diagnosis of Novice Programming Errors. Los Altos, CA: Morgan Kaufmann, 1986."},{"key":"42_CR9","volume-title":"Ph.D. Dissertation","author":"C. Looi","year":"1988","unstructured":"C. Looi. Automatic Program Analysis in a Prolog Intelligent Teaching System. Ph.D. Dissertation, Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland, 1988."},{"key":"42_CR10","volume-title":"Automatic Program Debugging for Intelligent Tutoring Systems","author":"W. R. Murray","year":"1988","unstructured":"W.R. Murray. Automatic Program Debugging for Intelligent Tutoring Systems. Los Altos, CA: Morgan Kaufmann, 1988."},{"key":"42_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-52837-7","volume-title":"Termination Proofs for Logic Programs","author":"L. Plumer","year":"1990","unstructured":"L. Plumer. Termination Proofs for Logic Programs. New York: Springer-Verlag, 1990."}],"container-title":["Lecture Notes in Computer Science","Intelligent Tutoring Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55606-0_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:33:18Z","timestamp":1619559198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55606-0_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556060","9783540472544"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-55606-0_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}