{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T17:20:50Z","timestamp":1771521650988,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,2]],"date-time":"2018-07-02T00:00:00Z","timestamp":1530489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,2]]},"DOI":"10.1145\/3197091.3197100","type":"proceedings-article","created":{"date-parts":[[2018,6,20]],"date-time":"2018-06-20T20:15:46Z","timestamp":1529525746000},"page":"21-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["The pedagogical model of SIAL: an adaptive and open-ended intelligent tutoring system for first order logic"],"prefix":"10.1145","author":[{"given":"Jose A.","family":"Maestro-Prieto","sequence":"first","affiliation":[{"name":"University of Valladolid, Spain"}]},{"given":"Arancha","family":"Simon-Hurtado","sequence":"additional","affiliation":[{"name":"University of Valladolid, Spain"}]}],"member":"320","published-online":{"date-parts":[[2018,7,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"V. Aleven B. McLaren J. Sewall and K. R. Koedinger. 2009. Example-tracing tutors: A new paradigm for intelligent tutoring systems. International Journal of Artificial Intelligence in Education (IJAIED) 19 (2009) 105\u2013154.   V. Aleven B. McLaren J. Sewall and K. R. Koedinger. 2009. Example-tracing tutors: A new paradigm for intelligent tutoring systems. International Journal of Artificial Intelligence in Education (IJAIED) 19 (2009) 105\u2013154."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 A. Alonso Gonzalo A. Aranda-Corral and Francisco J. Mart\u00edn-Mateos. 2007. KRRT: Knowledge Representation and Reasoning Tutor System. In Computer Aided Systems Theory \u2013 EUROCAST 2007 (LNCS) Roberto Moreno-D\u00edaz Franz Pichler and Alexis Quesada-Arencibia (Eds.) Vol. 4739. Springer Berlin Heidelberg 400\u2013407.   Jos\u00e9 A. Alonso Gonzalo A. Aranda-Corral and Francisco J. Mart\u00edn-Mateos. 2007. KRRT: Knowledge Representation and Reasoning Tutor System. In Computer Aided Systems Theory \u2013 EUROCAST 2007 (LNCS) Roberto Moreno-D\u00edaz Franz Pichler and Alexis Quesada-Arencibia (Eds.) Vol. 4739. Springer Berlin Heidelberg 400\u2013407.","DOI":"10.1007\/978-3-540-75867-9_51"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog2601_3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9070-5"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9072-3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16239-8_24"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/342108.342119"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00106-X"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3105726.3106184"},{"key":"e_1_3_2_1_10_1","volume-title":"Technical Report UU-CS-2006-040. DSpace at Utrecht University {http:\/\/dspace.library.uu.nl:8080\/dspace-oai\/request} (Netherlands).","author":"Lodder J.","year":"2006"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Jose A. Maestro Maria Aranzazu Simon Hurtado Mario Lopez Gallego Alejandra Martinez and Carlos J. Alonso. 2004. A Proposal of Diagnosis for an ITS for Computational Logic. In Current Topics in Artificial Intelligence (LNCS) Ricardo Conejo Maite Urretavizcaya and Jos\u00e9-Luis P\u00e9rez de-la Cruz (Eds.) Vol. 3040. Springer Berlin Heidelberg 86\u201395.  Jose A. Maestro Maria Aranzazu Simon Hurtado Mario Lopez Gallego Alejandra Martinez and Carlos J. Alonso. 2004. A Proposal of Diagnosis for an ITS for Computational Logic. In Current Topics in Artificial Intelligence (LNCS) Ricardo Conejo Maite Urretavizcaya and Jos\u00e9-Luis P\u00e9rez de-la Cruz (Eds.) Vol. 3040. Springer Berlin Heidelberg 86\u201395.","DOI":"10.1007\/978-3-540-25945-9_9"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/cae.21654"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Jose A. Maestro-Prieto and Arancha Simon-Hurtado. 2015. Learner-Adaptive Pedagogical Model in SIAL an Open-Ended Intelligent Tutoring System for First Order Logic. In Artificial Intelligence in Education (AIED 2015) (LNCS) Cristina Conati Neil Heffernan Antonija Mitrovic and M. Felisa Verdejo (Eds.). Springer Cham 702\u2013705.  Jose A. Maestro-Prieto and Arancha Simon-Hurtado. 2015. Learner-Adaptive Pedagogical Model in SIAL an Open-Ended Intelligent Tutoring System for First Order Logic. In Artificial Intelligence in Education (AIED 2015) (LNCS) Cristina Conati Neil Heffernan Antonija Mitrovic and M. Felisa Verdejo (Eds.). Springer Cham 702\u2013705.","DOI":"10.1007\/978-3-319-19773-9_96"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465085.2465101"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2007.74"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.2298\/CSIS0601001S"},{"key":"e_1_3_2_1_17_1","volume-title":"Cognitive Tutor: Applied research in mathematics education. Psychonomic Bulletin &amp","author":"Ritter Steven","year":"2007"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ecolmodel.2005.11.014"},{"key":"e_1_3_2_1_19_1","first-page":"272","article-title":"A Model-Based Behavior Analysis Approach for Open-Ended Environments","volume":"17","author":"Segedy James R.","year":"2014","journal-title":"Educational Technology and Society"},{"key":"e_1_3_2_1_20_1","volume-title":"Artificial Intelligence in Education","author":"Stamper John C."},{"key":"e_1_3_2_1_21_1","volume-title":"32nd Annual Frontiers in Education (FIE\u201902)","author":"Wildenberg Andy"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/838238.839178"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the Sixth Conference on Australasian Computing Education (ACE\u201904)","volume":"30","author":"Yacef Kalina","year":"2004"}],"event":{"name":"ITiCSE '18: 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education","location":"Larnaca Cyprus","acronym":"ITiCSE '18","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3197091.3197100","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3197091.3197100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:05:48Z","timestamp":1750273548000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3197091.3197100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,2]]},"references-count":23,"alternative-id":["10.1145\/3197091.3197100","10.1145\/3197091"],"URL":"https:\/\/doi.org\/10.1145\/3197091.3197100","relation":{},"subject":[],"published":{"date-parts":[[2018,7,2]]},"assertion":[{"value":"2018-07-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}