{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T12:05:53Z","timestamp":1746273953462,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031643118"},{"type":"electronic","value":"9783031643125"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-64312-5_37","type":"book-chapter","created":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T10:04:39Z","timestamp":1719828279000},"page":"308-316","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Task Synthesis for\u00a0Elementary Visual Programming in\u00a0XLogoOnline Environment"],"prefix":"10.1007","author":[{"given":"Chao","family":"Wen","sequence":"first","affiliation":[]},{"given":"Ahana","family":"Ghosh","sequence":"additional","affiliation":[]},{"given":"Jacqueline","family":"Staub","sequence":"additional","affiliation":[]},{"given":"Adish","family":"Singla","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,7,2]]},"reference":[{"key":"37_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-319-71483-7_18","volume-title":"Informatics in Schools: Focus on Learning Programming","author":"J Hromkovi\u010d","year":"2017","unstructured":"Hromkovi\u010d, J., Serafini, G., Staub, J.: XLogoOnline: a single-page, browser-based programming environment for schools aiming at reducing cognitive load on pupils. In: Dagiene, V., Hellas, A. (eds.) ISSEP 2017. LNCS, vol. 10696, pp. 219\u2013231. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-71483-7_18"},{"key":"37_CR2","unstructured":"XLogoOnline. XLogoOnline Platform (2023). https:\/\/xlogo.inf.ethz.ch\/"},{"key":"37_CR3","unstructured":"Pea, R.D.: Logo programming and problem solving (1987)"},{"key":"37_CR4","unstructured":"Staub, J.: Logo environments in the focus of time. Bull. EATCS 133 (2021). https:\/\/dblp.org\/rec\/journals\/eatcs\/Staub21.html?view=bibtex"},{"issue":"3","key":"37_CR5","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/TCIAIG.2011.2158545","volume":"3","author":"AM Smith","year":"2011","unstructured":"Smith, A.M., Mateas, M.: Answer set programming for procedural content generation: a design space approach. IEEE Trans. Comput. Intell. AI Games 3(3), 187\u2013200 (2011)","journal-title":"IEEE Trans. Comput. Intell. AI Games"},{"key":"37_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-030-52240-7_44","volume-title":"Artificial Intelligence in Education","author":"K Park","year":"2020","unstructured":"Park, K., Mott, B., Min, W., Wiebe, E., Boyer, K.E., Lester, J.: Generating game levels to develop computer science competencies in game-based learning environments. In: Bittencourt, I.I., Cukurova, M., Muldner, K., Luckin, R., Mill\u00e1n, E. (eds.) AIED 2020. LNCS (LNAI), vol. 12164, pp. 240\u2013245. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-52240-7_44"},{"key":"37_CR7","unstructured":"Polozov, O., O\u2019Rourke, E., Smith, A.M., Zettlemoyer, L., Gulwani, S., Popovic, Z.: Personalized mathematical word problem generation. In: IJCAI (2015)"},{"key":"37_CR8","doi-asserted-by":"crossref","unstructured":"Alvin, C., Gulwani, S., Majumdar, R., Mukhopadhyay, S.: Synthesis of geometry proof problems. In: AAAI (2014)","DOI":"10.1609\/aaai.v28i1.8745"},{"key":"37_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"37_CR10","unstructured":"Ahmed, U.Z., et al.: Synthesizing tasks for block-based programming. In: NeurIPS (2020)"},{"key":"37_CR11","series-title":"AIED 2022","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-031-11644-5_3","volume-title":"Artificial Intelligence in Education","author":"A Ghosh","year":"2022","unstructured":"Ghosh, A., Tschiatschek, S., Devlin, S., Singla, A.: Adaptive scaffolding in block-based programming via synthesizing new tasks as pop quizzes. In: Rodrigo, M.M., Matsuda, N., Cristea, A.I., Dimitrova, V. (eds.) Artificial Intelligence in Education. AIED 2022, vol. 13355, pp. 28\u201340. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-11644-5_3"},{"key":"37_CR12","unstructured":"Padurean, V.-A., Tzannetos, G., Singla, A.: Neural task synthesis for visual programming. Trans. Mach. Learn. Res. (2023). https:\/\/www.jmlr.org\/tmlr\/papers\/bib\/aYkYajcJDN.bib"},{"key":"37_CR13","unstructured":"OpenAI. ChatGPT (2023). https:\/\/openai.com\/blog\/chatgpt"},{"key":"37_CR14","unstructured":"Denny, P., et al.: Generative AI for education (GAIED): advances, opportunities, and challenges. CoRR, abs\/2402.01580 (2024)"},{"key":"37_CR15","doi-asserted-by":"crossref","unstructured":"Sarsa, S., Denny, P., Hellas, A., Leinonen, J.: Automatic generation of programming exercises and code explanations using large language models. In: ICER (2022)","DOI":"10.1145\/3501385.3543957"},{"key":"37_CR16","doi-asserted-by":"crossref","unstructured":"Phung, T., et al.: Generative AI for programming education: benchmarking ChatGPT, GPT-4, and human tutors. In: ICER V.2 (2023)","DOI":"10.1145\/3568812.3603476"},{"key":"37_CR17","doi-asserted-by":"crossref","unstructured":"Singla, A.: Evaluating ChatGPT and GPT-4 for visual programming. In: ICER V.2 (2023)","DOI":"10.1145\/3568812.3603474"},{"issue":"1","key":"37_CR18","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1177\/001316446002000104","volume":"20","author":"J Cohen","year":"1960","unstructured":"Cohen, J.: A coefficient of agreement for nominal scales. Educ. Psychol. Measur. 20(1), 37\u201346 (1960)","journal-title":"Educ. Psychol. Measur."},{"issue":"3","key":"37_CR19","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1214\/aoms\/1177729380","volume":"23","author":"WG Cochran","year":"1952","unstructured":"Cochran, W.G.: The $$\\chi $$2 test of goodness of fit. Ann. Math. Stat. 23(3), 315\u2013345 (1952)","journal-title":"Ann. Math. Stat."}],"container-title":["Communications in Computer and Information Science","Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64312-5_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T07:05:25Z","timestamp":1734159925000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64312-5_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031643118","9783031643125"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64312-5_37","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"2 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AIED","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Artificial Intelligence in Education","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Recife","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aied2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/aied2024.cesar.school\/home","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}