A trace-based framework for analyzing and synthesizing educational progressions
暂无分享,去创建一个
[1] L. Vygotsky. Mind in Society: The Development of Higher Psychological Processes: Harvard University Press , 1978 .
[2] L. S. Vygotskiĭ,et al. Mind in society : the development of higher psychological processes , 1978 .
[3] Derek H. Sleeman. A Rule-Based Task Generation System , 1981, IJCAI.
[4] Charles M. Reigeluth,et al. The elaboration theory of instruction , 1983 .
[5] Charles M. Reigeluth,et al. Instructional Design Theories and Models : An Overview of Their Current Status , 1983 .
[6] Ben Shneiderman,et al. Designing the User Interface: Strategies for Effective Human-Computer Interaction , 1998 .
[7] David J. McArthur,et al. Skill-oriented task sequencing in an intelligent tutor for basic algebra , 1988 .
[8] K. VanLehn. Mind Bugs: The Origins of Procedural Misconceptions , 1990 .
[9] John Rieman,et al. A field study of exploratory learning strategies , 1996, TCHI.
[10] Jakob Nielsen,et al. Usability engineering , 1997, The Computer Science and Engineering Handbook.
[11] Neven Jurkovic. Diagnosing and correcting student's misconceptions in an educational computer algebra system , 2001, ISSAC '01.
[12] Koushik Sen,et al. DART: directed automated random testing , 2005, PLDI '05.
[13] Vincent Aleven,et al. The Cognitive Tutor Authoring Tools (CTAT): Preliminary Evaluation of Efficiency Gains , 2006, Intelligent Tutoring Systems.
[14] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[15] Nikolai Tillmann,et al. Pex-White Box Test Generation for .NET , 2008, TAP.
[16] Djoerd Hiemstra. N-Gram Models , 2009, Encyclopedia of Database Systems.
[17] Tovi Grossman,et al. A survey of software learnability: metrics, methodologies and guidelines , 2009, CHI.
[18] Takeo Igarashi,et al. Generating photo manipulation tutorials by demonstration , 2009, ACM Trans. Graph..
[19] Michael Mateas,et al. Rhythm-based level generation for 2D platformers , 2009, FDG.
[20] Joris Dormans,et al. Adventures in level design: generating missions and spaces for action adventure games , 2010, PCGames@FDG.
[21] Ben Kirman,et al. Practical, appropriate, empirically-validated guidelines for designing educational games , 2011, CHI.
[22] Zoran Popovic,et al. Experimentation, Human Factors , 2022 .
[23] Sumit Gulwani,et al. Synthesizing geometry constructions , 2011, PLDI '11.
[24] Zoran Popovic,et al. On the harmfulness of secondary game objectives , 2011, FDG.
[25] Sumit Gulwani,et al. Synthesis from Examples: Interaction Models and Algorithms , 2012, 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
[26] Sumit Gulwani,et al. Automatically Generating Algebra Problems , 2012, AAAI.
[27] Kenneth R. Koedinger,et al. Problem Order Implications for Learning Transfer , 2012, ITS.
[28] Yun-En Liu,et al. The impact of tutorials on games of varying complexity , 2012, CHI.
[29] Zoran Popovic,et al. A case study of expressively constrainable level design automation tools for a puzzle game , 2012, FDG.
[30] Tao Dong,et al. Discovery-based games for learning software , 2012, CHI.
[31] Rolf Dach,et al. Technical Report 2012 , 2013 .
[32] T. Henzinger,et al. Specification , Verification and Synthesis for Automata Problems , 2013 .
[33] G. Fink. n-Gram Models , 2014 .