{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T13:13:47Z","timestamp":1761743627764},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2012,5,3]],"date-time":"2012-05-03T00:00:00Z","timestamp":1336003200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Pers Ubiquit Comput"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s00779-012-0524-3","type":"journal-article","created":{"date-parts":[[2012,5,2]],"date-time":"2012-05-02T02:24:59Z","timestamp":1335925499000},"page":"1605-1620","source":"Crossref","is-referenced-by-count":25,"title":["Design requirements, student perception indicators and validation metrics for intelligent exploratory learning environments"],"prefix":"10.1007","volume":"17","author":[{"given":"Manolis","family":"Mavrikis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Gutierrez-Santos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eirini","family":"Geraniou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Noss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,5,3]]},"reference":[{"issue":"2","key":"524_CR1","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1207\/s15516709cog2602_1","volume":"26","author":"V Aleven","year":"2002","unstructured":"Aleven V (2002) An effective metacognitive strategy: learning by doing and explaining with a computer-based cognitive tutor. Cogn Sci 26(2):147\u2013179","journal-title":"Cogn Sci"},{"issue":"2","key":"524_CR2","first-page":"101","volume":"16","author":"V Aleven","year":"2006","unstructured":"Aleven V, Mclaren B, Roll I, Koedinger K (2006) Toward meta-cognitive tutoring: a model of help seeking with a cognitive tutor. Int J Artif Intell Edu 16(2):101\u2013128","journal-title":"Int J Artif Intell Edu"},{"key":"524_CR3","unstructured":"Arroyo I, Ferguson K, Johns J, Dragon T, Meheranian H, Fisher D, Barto A, Mahadevan S, Woolf BP (2007) Repairing disengagement with non-invasive interventions. In: Proceeding of the 2007 conference on artificial intelligence in education, IOS Press, Amsterdam, pp 195\u2013202"},{"key":"524_CR4","doi-asserted-by":"crossref","unstructured":"Baker RS, Corbett AT, Koedinger KR, Wagner AZ (2004) Off-task behavior in the cognitive tutor classroom: when students \u201cgame the system\u201d. In: CHI \u201904: Proceedings of the SIGCHI conference on human factors in computing systems, ACM, New York, pp 383\u2013390","DOI":"10.1145\/985692.985741"},{"key":"524_CR5","unstructured":"Bark I, Folstad A, Gulliksen J (2005) Use and usefulness of HCI methods: results from an exploratory study among nordic HCI practitioners. In: International conference on HCI"},{"key":"524_CR6","doi-asserted-by":"crossref","unstructured":"Bransford JD, Franks JJ, Vye NJ, Sherwood RD (1989) New approaches to instruction: because wisdom can\u2019t be told. In: Vosniadou S, Ortony A (eds) Similarity and analogical reasoning. Cambridge University Press, New York","DOI":"10.1017\/CBO9780511529863.022"},{"key":"524_CR7","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1023\/A:1024733008280","volume":"13","author":"A Bunt","year":"2003","unstructured":"Bunt A, Conati C (2003) Probabilistic Student modelling to improve exploratory behaviour. User Model User-Adapt Interact 13:269\u2013309","journal-title":"User Model User-Adapt Interact"},{"key":"524_CR8","unstructured":"Chevallard Y (1991) La transposition didactique\u2014Du savoir savant au savoir enseign\u00e9. La Pens\u00e9e sauvage (1re \u00e9d., 1985), Grenoble"},{"issue":"10","key":"524_CR9","first-page":"20","volume":"28","author":"JV Dempsey","year":"1988","unstructured":"Dempsey JV, Wager SU (1988) A taxonomy for the timing of feedback in computer-based instruction. Educ Technol 28(10):20\u201325","journal-title":"Educ Technol"},{"issue":"1","key":"524_CR10","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1207\/s15327809jls1301_4","volume":"13","author":"AA Disessa","year":"2004","unstructured":"Disessa AA, Cobb P (2004) Ontological innovation and the role of theory in design experiments. J Learn Sci 13(1):77\u2013103","journal-title":"J Learn Sci"},{"key":"524_CR11","doi-asserted-by":"crossref","unstructured":"Do-Lenh S, Jermann P, Cuendet S, Zufferey G, Dillenbourg P (2010) Task performance vs. learning outcomes: a study of a tangible user interface in the classroom. In: Wolpers M, Kirschner P, Scheffel M, Lindstaedt S, Dimitrova V (eds) Sustaining TEL: from innovation to learning and practice. Lecture Notes in Computer Science, vol 6383. Springer, Berlin, pp 78\u201392","DOI":"10.1007\/978-3-642-16020-2_6"},{"key":"524_CR12","doi-asserted-by":"crossref","unstructured":"Gutierrez-Santos S, Mavrikis M, Magoulas G (2010) Layered development and evaluation for intelligent support in exploratory environments: the case of microworlds. In: Aleven V, Kay J, Mostow J (eds) Intelligent tutoring systems. Lecture Notes in Computer Science, vol 6094. Springer, Berlin, pp 105\u2013114","DOI":"10.1007\/978-3-642-13388-6_15"},{"key":"524_CR13","first-page":"14","volume":"10","author":"L Healy","year":"1994","unstructured":"Healy L, Hoelzl R, Hoyles C, Noss R (1994) Messing up. Micromath 10:14\u201317","journal-title":"Micromath"},{"key":"524_CR14","volume-title":"Logo mathematics in the classroom","author":"C Hoyles","year":"1989","unstructured":"Hoyles C, Sutherland R (1989) Logo mathematics in the classroom. Routledge, London"},{"key":"524_CR15","doi-asserted-by":"crossref","first-page":"179","DOI":"10.3102\/00346543068002179","volume":"68","author":"T Jong de van","year":"1998","unstructured":"de van Jong T, Joolingen WR (1998) Scientific discovery learning with computer simulations of conceptual domains. Rev Educ Res 68:179\u2013201","journal-title":"Rev Educ Res"},{"key":"524_CR16","doi-asserted-by":"crossref","unstructured":"Joolingen WR, Zacharia ZC (2009) Developments in inquiry learning. In: Balacheff N, Ludvigsen S, de Jong T, Lazonder A, Barnes S (eds) Technology-enhanced learning, chap 2, pp 21\u201337","DOI":"10.1007\/978-1-4020-9827-7_2"},{"key":"524_CR17","doi-asserted-by":"crossref","unstructured":"Kelleher C, Pausch R (2005) Stencils-based tutorials: design and evaluation. In: Proceedings of the SIGCHI conference on Human factors in computing systems, ACM, NY, CHI \u201905, pp 541\u2013550","DOI":"10.1145\/1054972.1055047"},{"issue":"2","key":"524_CR18","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1207\/s15326985ep4102_1","volume":"41","author":"P Kirschner","year":"2006","unstructured":"Kirschner P, Sweller J, Clark RE (2006) Why minimal guidance during instruction does not work: an analysis of the failure of constructivist, discovery, problem-based, experiential and inquiry-based teaching. Educ Psychol 41(2):75\u201386","journal-title":"Educ Psychol"},{"key":"524_CR19","doi-asserted-by":"crossref","unstructured":"Kynigos C (1992) Insights into pupils\u2019 and teachers\u2019 activities in pupil-controlled problem-solving situations. In: Information technology and mathematics problem solving: research in contexts of practice, NATO ASI Series, vol 2. Springer, Berlin, pp 219\u2013238","DOI":"10.1007\/978-3-642-58142-7_16"},{"key":"524_CR20","volume-title":"Intelligent learning environments: the case of geometry","author":"R Lesh","year":"1996","unstructured":"Lesh R, Kelly AE (1996) A constructivist model for redesigning AI tutors in mathematics. In: Laborde JM (eds) Intelligent learning environments: the case of geometry. Springer, New York"},{"key":"524_CR21","doi-asserted-by":"crossref","unstructured":"Mason J (2008) Being mathematical with and in front of learners: attention, awareness, and attitude as sources of differences between teacher educators, teachers and learners. In: Wood (ed) International handbook of mathematics teacher education, vol 4. Sense Publishers, Rotterdam","DOI":"10.1163\/9789087905521_004"},{"key":"524_CR22","unstructured":"Mavrikis M (2004) Improving the effectiveness of interactive open learning environments. In: 3rd hellenic conference on artificial intelligence\u2014companion volume, pp 260\u2013269"},{"issue":"3","key":"524_CR23","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1016\/j.compedu.2009.08.033","volume":"54","author":"M Mavrikis","year":"2010","unstructured":"Mavrikis M, Gutierrez-Santos S (2010) Not all wizards are from Oz: iterative design of intelligent learning environments by communication capacity tapering. Comput Educ 54(3):641\u2013651","journal-title":"Comput Educ"},{"key":"524_CR24","doi-asserted-by":"crossref","unstructured":"Mavrikis M, Noss R, Geraniou E, Hoyles C (2012) Sowing the seeds of algebraic generalisation: designing epistemic affordances for an intelligent microworld. J Comput Assist Learn (in press)","DOI":"10.1111\/j.1365-2729.2011.00469.x"},{"key":"524_CR25","doi-asserted-by":"crossref","unstructured":"Mayer RE (2004) Should there be a three-strikes rule against pure discovery learning?\u2014the case for guided methods of instruction. Am Psychol 59(1):14\u201319","DOI":"10.1037\/0003-066X.59.1.14"},{"key":"524_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-1696-8","volume-title":"Windows on mathematical meanings: learning cultures and computers","author":"R Noss","year":"1996","unstructured":"Noss R, Hoyles C (1996) Windows on mathematical meanings: learning cultures and computers. Kluwer, Dordrecht"},{"issue":"1","key":"524_CR27","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/j.compedu.2011.09.021","volume":"59","author":"R Noss","year":"2012","unstructured":"Noss R, Poulovassilis A, Geraniou E, Gutierrez-Santos S, Hoyles C, Kahn K, Magoulas GD, Mavrikis M (2012) The design of a system to support exploratory learning of algebraic generalisation. Comput Educ 59(1):63\u201381","journal-title":"Comput Educ"},{"issue":"5","key":"524_CR28","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/s11257-010-9082-4","volume":"20","author":"A Paramythis","year":"2010","unstructured":"Paramythis A, Weibelzahl S, Masthoff J (2010) Layered evaluation of interactive adaptive systems: framework and formative methods. User Model User-Adapt Interact 20(5):383\u2013453","journal-title":"User Model User-Adapt Interact"},{"key":"524_CR29","unstructured":"Pontual Falc\u00e3o T, Price S (2010) Interfering and resolving: how tabletop interaction facilitates co-construction of argumentative knowledge. Int J Comput-Support Collab Learn 6(4):1\u201321"},{"key":"524_CR30","unstructured":"Read J, Macfarlane S (2002) Endurability, Engagement and Expectations: Measuring children\u2019s fun. In: Interaction design and children,vol 2. Shaker Publishing, Aachen, pp 1\u201323"},{"issue":"2","key":"524_CR31","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/s10111-007-0069-9","volume":"10","author":"JC Read","year":"2008","unstructured":"Read JC (2008) Validating the fun toolkit: an instrument for measuring children\u2019s opinions of technology. Cogn Technol Work 10(2):119\u2013128","journal-title":"Cogn Technol Work"},{"key":"524_CR32","unstructured":"Rounding K, Tee K, Wu X, Guo C, Tse E (2011) Evaluating interfaces with children. In: Child computer interaction. 2nd workshop on UI technologies and educational pedagogy. At ACM CHI 2011, Conference on human factors in computing systems"},{"issue":"1","key":"524_CR33","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1207\/s15327809jls0101_3","volume":"1","author":"M Scardamalia","year":"1991","unstructured":"Scardamalia M, Bereiter C (1991) Higher levels of agency for children in knowledge building: a challenge for the design of new knowledge media. J Learn Sci 1(1):37\u201368","journal-title":"J Learn Sci"},{"key":"524_CR34","doi-asserted-by":"crossref","unstructured":"Tse E, Sch\u00f6ning J, Huber J, Marentette T, Beckwith R, Rogers Y, M\u00fchlh\u00e4use M (2011) Child computer interaction. 2nd workshop on UI technologies and educational pedagogy. At ACM CHI 2011, Conference on human factors in computing systems","DOI":"10.1145\/1979742.1979580"},{"key":"524_CR35","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/S0360-1315(99)00030-5","volume":"33","author":"H Wood","year":"1999","unstructured":"Wood H, Wood D (1999) Help seeking, learning and contigent tutoring. Comput Educ 33:153\u2013169","journal-title":"Comput Educ"},{"key":"524_CR36","unstructured":"Zayas P\u00e9rez B, Cox R (2009) Teaching safety precautions in a laboratory DVE: the effects of information location and interactivity. Computacion y Sistemas (special issue on \u2019Innovative applications of artificial intelligence\u2019) 13:96\u2013110"}],"container-title":["Personal and Ubiquitous Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00779-012-0524-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00779-012-0524-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00779-012-0524-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,7]],"date-time":"2020-07-07T00:22:01Z","timestamp":1594081321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00779-012-0524-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,3]]},"references-count":36,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["524"],"URL":"https:\/\/doi.org\/10.1007\/s00779-012-0524-3","relation":{},"ISSN":["1617-4909","1617-4917"],"issn-type":[{"value":"1617-4909","type":"print"},{"value":"1617-4917","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,3]]}}}