Feedback services for stepwise exercises

Science of Computer Programming

Volumn 88, Issue , 2014, Pages 110-129

  Heeren, Bastiaan ^a   Jeuring, Johan ^a,b  

^a OPEN UNIVERSITY OF THE NETHERLANDS   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Domain reasoners; Feedback services; Intelligent tutoring systems

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; LEARNING SYSTEMS;

ARCHITECTURAL DESCRIPTIONS; CLIENT-SERVER ARCHITECTURES; DOMAIN-SPECIFIC KNOWLEDGE; GAUSSIAN ELIMINATION; INTELLIGENT TUTORING SYSTEM; LEARNING ENVIRONMENTS; QUADRATIC EQUATIONS; REASONERS;

COMPUTER AIDED INSTRUCTION;

EID: 84898807141     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2014.02.021     Document Type: Article

References (57)

1. Sherman R. Alpert, Mark K. Singley, and Peter G. Fairweather Deploying intelligent tutors on the web: An architecture and an example Int. J. Artif. Intell. Educ. 10 1999 183 197
2. John R. Anderson, Albert T. Corbett, Kenneth R. Koedinger, and Ray Pelletier Cognitive tutors: lessons learned J. Learn. Sci. 4 2 1995 167 207
3. Michael J. Beeson A computerized environment for learning algebra, trigonometry, and calculus Int. J. Artif. Intell. Educ. 1 1990 65 76
4. Michael J. Beeson Design principles of MathPert: Software to support education in algebra and calculus N. Kajler, Computer-Human Interaction in Symbolic Computation 1998 Springer-Verlag 89 115
5. Christian Bokhove Use of ICT for acquiring, practicing and assessing algebraic expertise PhD thesis 2011 Utrecht University
6. Russell Bradford, James H. Davenport, and Christopher J. Sangwin A comparison of equality in computer algebra and correctness in mathematical pedagogy Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt, Intelligent Computer Mathematics Lecture Notes in Computer Science vol. 5625 2009 Springer-Verlag 75 89
7. Peter Brusilovsky The construction and application of student models in intelligent tutoring systems J. Comput. Syst. Sci. Int. 32 1 1994
8. Peter Brusilovsky Intelligent learning environments for programming: The case for integration and adaption J. Greer, Proceedings of AI-ED '95: The World Conference on Artificial Intelligence in Education 1995 1 7
9. Peter Brusilovsky Adaptive hypermedia: From intelligent tutoring systems to web-based education Proceedings of ITS '00: The 5th International Conference on Intelligent Tutoring Systems 2000 Springer-Verlag 1 7
10. Peter Brusilovsky, and Christoph Peylo Adaptive and intelligent web-based educational systems Int. J. Artif. Intell. Educ. 13 2-4 2003 159 172
11. Olga Caprotti, D.P. Carlisle, and Arjeh Cohen The OpenMath Standard August 1999 OpenMath Consortium
12. Olga Caprotti, Arjeh Cohen, Hans Cuypers, and Hans Sterk OpenMath technology for interactive mathematical documents Jonathan Borwein, Maria H. Morales, Konrad Polthier, José F. Rodrigues, Multimedia Tools for Communicating Mathematics 2002 Springer-Verlag 51 66
13. Hamid Chaachoua, Jean-François Nicaud, Alain Bronner, and Denis Bouhineau APLUSIX, a learning environment for algebra, actual use and benefits Mogens Niss, ICME 10: 10th International Congress on Mathematical Education 2004 Retrieved from http://hal.archives-ouvertes.fr/docs/00/19/03/93/PDF/Chaachoua- h-2004.pdf April 2013
14. Arjeh Cohen, Hans Cuypers, Dorina Jibetean, and Mark Spanbroek Interactive learning and mathematical calculus Michael Kohlhase, Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers Lecture Notes in Computer Science vol. 3863 2005 Springer-Verlag 330 345
15. Arjeh Cohen, Hans Cuypers, Ernesto Reinaldo Barreiro, and Hans Sterk Interactive mathematical documents on the web Michael Joswig, Nobuki Takayama, Algebra, Geometry and Software Systems 2003 Springer-Verlag 289 306
16. European Commission Opening up education: Innovative teaching and learning for all through new technologies and open educational resources. Communication from the commission to the European parliament, the council, the European economic and social committee and the committee of the regions September 2013
17. Albert T. Corbett, Kenneth R. Koedinger, and John R. Anderson Intelligent tutoring systems M. Helander, T.K. Landauer, P. Prahu, Handbook of Human-Computer Interaction second ed. 1997 Elsevier Science 849 874
18. Hans Cuypers, Jan-Willem Knopper, and Hans J.M. Sterk MESS: the MathDox exercise system e-Proceedings of the 6th JEM Workshop 2009 1 12
19. Michel Doorman, Paul Drijvers, Peter Boon, Sjef van Gisbergen, and Koeno Gravemeijer Design and implementation of a computer supported learning environment for mathematics Earli 2009 SIG20 Invited Symposium Issues in Designing and Implementing Computer Supported Inquiry Learning Environments 2009
20. Roy T. Fielding Architectural styles and the design of network-based software architectures PhD thesis 2000 University of California Irvine
21. Roy T. Fielding, and Richard N. Taylor Principled design of the modern web architecture ACM Trans. Internet Technol. 2 2 2002 115 150
22. Alex Gerdes, Bastiaan Heeren, Johan Jeuring, and Sylvia Stuurman Feedback services for exercise assistants D. Remenyi, ECEL 2008 Acad. Publ. Ltd. 402 410
23. Alex Gerdes, Johan Jeuring, and Bastiaan Heeren An interactive functional programming tutor T. Lapidot, J. Gal-Ezer, M.E. Caspersen, O. Hazzan, Proceedings of ITICSE 2012: The 17th Annual Conference on Innovation and Technology in Computer Science Education 2012 ACM Press 250 255
24. George Goguadze Representation for interactive exercises Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt, Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings Lecture Notes in Computer Science vol. 5625 2009 Springer-Verlag 294 309
25. George Goguadze ActiveMath - generation and reuse of interactive exercises using domain reasoners and automated tutorial strategies PhD thesis May 2011 Universität des Saarlandes Germany
26. George Goguadze, and Erica Melis Combining evaluative and generative diagnosis in ActiveMath Proceedings of the 2009 Conference on Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling 2009 IOS Press 668 670
27. Barbara Grabowski, Susanne Gäng, Jörg Herter, and Thomas Köppen Mathcoach and Laplacescript: Advanced exercise programming for mathematics with dynamic help generation Proceedings of the ICL2005 Workshop, at International Conference on Interactive Computer Aided Learning ICL Villach, Austria 2005
28. Tom Hastjarjanto, Johan Jeuring, and Sean Leather A DSL for describing the artificial intelligence in real-time video games Proceedings GAS 2013: The 3rd International Workshop on Games and Software Engineering 2013 IEEE 8 14
29. Bastiaan Heeren, and Johan Jeuring Adapting mathematical domain reasoners Proceedings of MKM 2010: The 9th International Conference on Mathematical Knowledge Management LNAI vol. 6167 2010 Springer-Verlag 315 330
30. Bastiaan Heeren, and Johan Jeuring Interleaving strategies Proceedings of MKM 2011: The 10th International Conference on Mathematical Knowledge Management LNAI vol. 6824 2011 Springer-Verlag 196 211
31. Bastiaan Heeren, Johan Jeuring, and Alex Gerdes Specifying rewrite strategies for interactive exercises Math. Comput. Sci. 3 3 2010 349 370
32. Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, and Alex Gerdes Specifying strategies for exercises Proceedings of MKM 2008: The 7th International Conference on Mathematical Knowledge Management LNAI vol. 5144 2008 Springer-Verlag 430 445
33. Paul Hudak Building domain-specific embedded languages ACM Comput. Surv. 28 4es 1996
34. Viswanathan Kodaganallur, Rob R. Weitz, and David Rosenthal A comparison of model-tracing and constraint-based intelligent tutoring paradigms Int. J. Artif. Intell. Educ. 15 2 2005 117 144
35. Josje Lodder, and Bastiaan Heeren A teaching tool for proving equivalences between logical formulae Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano, Tools for Teaching Logic Lecture Notes in Computer Science vol. 6680 2011 Springer-Verlag 154 161
36. Josje Lodder, Johan Jeuring, and Harrie Passier An interactive tool for manipulating logical formulae M. Manzano, B. Pérez Lancho, A. Gil, Proceedings of the Second International Congress on Tools for Teaching Logic 2006
37. Josje Lodder, Harrie Passier, and Sylvia Stuurman Using IDEAS in teaching logic, lessons learned International Conference on Computer Science and Software Engineering, vol. 5 2008 553 556
38. Erica Melis, and Jörg Siekmann ActiveMath: An intelligent tutoring system for mathematics ICAISC Lecture Notes in Computer Science vol. 3070 2004 Springer-Verlag 91 101
39. Bertrand Meyer Design by contract D. Mandrioli, B. Meyer, Advances in Object-Oriented Software Engineering 1991 Prentice Hall Englewood Cliffs, NJ 1 50
40. Antonija Mitrovic, Brent Martin, and Pramuditha Suraweera Intelligent tutors for all: The constraint-based approach IEEE Intell. Syst. 22 4 2007 38 45
41. Susanne Narciss Feedback strategies for interactive learning tasks J.M. Spector, M.D. Merrill, J.J.G. van Merriënboer, M.P. Driscoll, Handbook of Research on Educational Communications and Technology 2008 Lawrence Erlbaum Associates Mahaw, NJ
42. Jakob Nielsen Usability Engineering 1993 Morgan Kaufmann Publishers Inc.
43. Roger Nkambou, Jacqueline Bourdeau, and Riichiro Mizoguchi Advances in Intelligent Tutoring Systems Studies in Computational Intelligence vol. 308 2010 Springer-Verlag
44. Hyacinth S. Nwana Intelligent tutoring systems: An overview Artif. Intell. Rev. 4 4 1990 251 277
45. Mathematical Sciences Conference Group on Digital Educational Resources Core subject taxonomy for mathematical sciences education April 29, 2005, retrieved from http://people.uncw.edu/hermanr/MathTax/
46. Jozsef Patvarczki, Shane F. Almeida, Joseph E. Beck, and Neil T. Heffernan Lessons learned from scaling up a web-based intelligent tutoring system Proceedings of ITS '08: The 9th International Conference on Intelligent Tutoring Systems 2008 Springer-Verlag 766 770
47. Steven Ritter, Peter Brusilovsky, and Olga Medvedeva Creating more versatile intelligent learning environments with a component-based architecture Proceedings of ITS '98: The 4th International Conference on Intelligent Tutoring Systems 1998 Springer-Verlag 554 563
48. Steven Ritter, and Kennth R. Koedinger An architecture for plug-in tutor agents Int. J. Artif. Intell. Educ. 7 3-4 1996 315 347
49. Chris Sangwin Computer Aided Assessment of Mathematics 2013 Oxford University Press
50. Valerie J. Shute Focus on formative feedback Rev. Educ. Res. 78 1 2008 153 189
51. Valerie J. Shute, and Joseph Psotka Intelligent tutoring systems: Past, present and future D. Jonassen, Handbook of Research on Educational Communications and Technology 1996 Scholastic Publications
52. Sergey A. Sosnovsky, Michael Dietrich, Eric Andrès, George Goguadze, and Stefan Winterstein Math-Bridge: Adaptive platform for multilingual mathematics courses Andrew Ravenscroft, Stefanie N. Lindstaedt, Carlos Delgado Kloos, Davinia Hernández Leo, 21st Century Learning for 21st Century Skills Lecture Notes in Computer Science vol. 7563 2012 Springer-Verlag 495 500
53. Tarja Susi, Mikael Johannesson, and Per Backlund Serious games - an overview Technical Report HS-IKI-TR-07-001 2007 University of Skövde
54. Kurt VanLehn The behavior of tutoring systems Int. J. Artif. Intell. Educ. 16 3 2006 227 265
55. Kurt VanLehn, Collin Lynch, Kay Schulze, Joel A. Shapiro, Robert Shelby, Linwood Taylor, Don Treacy, Anders Weinstein, and Mary Wintersgill The Andes physics tutoring system: Lessons learned Int. J. Artif. Intell. Educ. 15 2005 147 204
56. Claus Zinn Supporting tutorial feedback to student help requests and errors in symbolic differentiation M. Ikeda, K. Ashley, T.-W. Chan, ITS 2006 Lecture Notes in Computer Science vol. 4053 2006 Springer-Verlag 349 359
57. Claus Zinn Algorithmic debugging to support cognitive diagnosis in tutoring systems Proceedings of the 34th Annual German Conference on Advances in Artificial Intelligence, KI'11 2011 Springer-Verlag 357 368