{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:12:05Z","timestamp":1725455525424},"publisher-location":"Berlin\/Heidelberg","reference-count":8,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540526994"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0020896","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T00:50:56Z","timestamp":1131843056000},"page":"420-431","source":"Crossref","is-referenced-by-count":0,"title":["Designing an intelligent prolog tutor"],"prefix":"10.1007","author":[{"given":"M. C.","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"32_CR1","first-page":"159","volume":"10","author":"J.R. Anderson","year":"1985","unstructured":"Anderson J.R. & Reiser B.J. The Lisp Tutor. Byte, 10(4), 159\u2013175, 1985.","journal-title":"Byte"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Clocksin W.F. & Mellish C.S. Programming in Prolog. Second Edition, Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96661-3"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"Covington M.A. A Further Note on Looping in Prolog. SIGPLAN Notices, 20(8), August, 1985.","DOI":"10.1145\/988346.988348"},{"issue":"2","key":"32_CR4","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1080\/08886504.1988.10781866","volume":"21","author":"M.C. Lee","year":"1988","unstructured":"Lee M.C. An Expert System Construction Approach to CAI Development. Journal of Research on Computing in Education, 21(2), 129\u2013140, 1988.","journal-title":"Journal of Research on Computing in Education"},{"key":"32_CR5","unstructured":"Lee M.C. ICAI Authoring System Development \u2014 a multi-paradigm approach. Ph.D. Thesis, University of London, 1989."},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Lloyd J.W. Declarative Errors Diagnosis. New Generation Computing, 5, 133\u2013154, OHMSHA, Ltd. and Springer-Verlag, 1987.","DOI":"10.1007\/BF03037396"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Shapiro E.Y. Algorithmic Program Debugging. The MIT Press, 1982.","DOI":"10.1145\/582153.582185"},{"key":"32_CR8","unstructured":"Sterling L. & Shapiro E. The Art of Prolog. The MIT Press, 1986."}],"container-title":["Lecture Notes in Computer Science","Computer Assisted Learning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020896.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:45:38Z","timestamp":1607532338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020896"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540526994"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0020896","relation":{},"subject":[]}}