{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T07:32:52Z","timestamp":1763105572291,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319769073"},{"type":"electronic","value":"9783319769080"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-76908-0_32","type":"book-chapter","created":{"date-parts":[[2018,3,6]],"date-time":"2018-03-06T10:53:51Z","timestamp":1520333631000},"page":"337-346","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["i-Prolog: A Web-Based Intelligent Tutoring System for Learning Prolog"],"prefix":"10.1007","author":[{"given":"Afroditi","family":"Stathaki","sequence":"first","affiliation":[]},{"given":"Haridimos","family":"Kondylakis","sequence":"additional","affiliation":[]},{"given":"Emmanouil","family":"Marakakis","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Kalogerakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,7]]},"reference":[{"key":"32_CR1","unstructured":"Bielikova, M.N.: A schema-based approach to teaching programming in Lisp and Prolog. PEG (2003)"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Corbett, A., Anderson, J.: Locus of feedback control in computer-based tutoring: impact on learning rate, achievement and attitudes. In: SIGCHI 2001, pp. 245\u2013252 (2001)","DOI":"10.1145\/365024.365111"},{"issue":"1","key":"32_CR3","first-page":"1","volume":"27","author":"A Gerdes","year":"2016","unstructured":"Gerdes, A., Heeren, B., Jeuring, J., van Binsbergen, L.T.: Ask-Elle: an adaptable programming tutor for haskell giving automated feedback. IJAIED 27(1), 1\u201336 (2016)","journal-title":"IJAIED"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Giannoulis, M., Marakakis, E., Kondylakis, H.: Developing a collaborative knowledge system for Cancer Diseases, IEEE CBMS (2017)","DOI":"10.1109\/CBMS.2017.66"},{"key":"32_CR5","unstructured":"Graesser, A.C., Conley, M.W., Olney, A.: Intelligent tutoring systems. In: APA Handbook of Educational Psychology. Department of Psychology & Institute for Intelligent Systems, pp. 1\u201354 (2010)"},{"key":"32_CR6","doi-asserted-by":"publisher","first-page":"400","DOI":"10.3332\/ecancer.2014.398","volume":"8","author":"H Kondylakis","year":"2014","unstructured":"Kondylakis, H., Kazantzaki, E., Koumakis, L., et al.: Development of interactive empowerment services in support of personalized medicine. eCancer Med. Sci. J. 8, 400 (2014). https:\/\/doi.org\/10.3332\/ecancer.2014.398","journal-title":"eCancer Med. Sci. J."},{"key":"32_CR7","first-page":"1117","volume":"216","author":"H Kondylakis","year":"2015","unstructured":"Kondylakis, H., Koumakis, L., Kazantzaki, E., et al.: Patient empowerment through personal medical recommendations. Health Biomed. Inf. 216, 1117 (2015)","journal-title":"Health Biomed. Inf."},{"key":"32_CR8","unstructured":"Kondylakis, H., Koumakis, L., Ruping, S., et al.: PMIR: a personal medical information recommender. In: Proceedings of Medical Informatics Europe (MIE), vol. 205, p. 1193 (2014)"},{"key":"32_CR9","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/BF00120883","volume":"20","author":"CK Looi","year":"1991","unstructured":"Looi, C.K.: Automatic debugging of prolog programs in a prolog intelligent tutoring system. Instruct. Sci. 20, 215\u2013263 (1991)","journal-title":"Instruct. Sci."},{"issue":"3","key":"32_CR10","first-page":"143","volume":"18","author":"E Marakakis","year":"2014","unstructured":"Marakakis, E., Kondylakis, H., Papadakis, N.: A knowledge-based interactive verifier for logic programs. Innov. Knowl. Intell. Eng. Syst. 18(3), 143\u2013156 (2014)","journal-title":"Innov. Knowl. Intell. Eng. Syst."},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"Moon-Chuen, L.: An augmented prolog programming for tutoring applications Environment Components. In: AIE, pp. 898\u2013906 (1990)","DOI":"10.1145\/98894.98884"},{"issue":"1","key":"32_CR12","first-page":"37","volume":"16","author":"K Rivers","year":"2015","unstructured":"Rivers, K., Koedinger, K.R.: Data-driven hint generation in vast solution spaces: a self-improving python programming tutor. IJAIED 16(1), 37\u201364 (2015)","journal-title":"IJAIED"},{"key":"32_CR13","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1076\/csed.13.2.137.14200","volume":"13","author":"A Robins","year":"2003","unstructured":"Robins, A., Rountree, T., Rountree, N.: Learning and teaching programming: a review and discussion. Comput. Sci. Educ. 13, 137\u2013172 (2003)","journal-title":"Comput. Sci. Educ."},{"key":"32_CR14","volume-title":"About Behaviorism","author":"BF Skinner","year":"2011","unstructured":"Skinner, B.F.: About Behaviorism. Vintage, New York (2011)"},{"key":"32_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-46014-4_8","volume-title":"Methods and Applications of Artificial Intelligence","author":"IP Vlahavas","year":"2002","unstructured":"Vlahavas, I.P., Sakellariou, I., Futo, I., Pasztor, Z., Szeredi, J.: Cspcons: a communicating sequential prolog with constraints. In: Vlahavas, I.P., Spyropoulos, C.D. (eds.) SETN 2002. LNCS (LNAI), vol. 2308, pp. 72\u201384. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46014-4_8"},{"key":"32_CR16","unstructured":"Webb, G.I.: Inside the unification tutor: the architecture of an intelligent educational system. In: ASCILITE, pp. 677\u2013684 (1991)"},{"key":"32_CR17","unstructured":"Webb, G.I.: The unification tutor - an intelligent educational system in the classroom. In: ASCILITE, pp. 408\u2013420 (1989)"},{"key":"32_CR18","unstructured":"Wikipedia Article: intelligent tutoring system. https:\/\/en.wikipedia.org\/wiki\/Intelligent_tutoring_system . Accessed Aug 2017"},{"key":"32_CR19","first-page":"88","volume":"6","author":"SM Yang","year":"2007","unstructured":"Yang, S.M.: Approaches for learning prolog programming. Innov. Teach. Learn. Inf. Comput. Sci. 6, 88\u2013107 (2007)","journal-title":"Innov. Teach. Learn. Inf. Comput. Sci."}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Interactivity, Game Creation, Design, Learning, and Innovation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-76908-0_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T11:09:03Z","timestamp":1751454543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-76908-0_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319769073","9783319769080"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-76908-0_32","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2018]]}}}