e-Learning Logic and Mathematics: What We Have and What We Need

[1]  Kurt VanLehn,et al.  Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction , 2005, AIED.

[2]  Dimitra Tsovaltzi,et al.  Domain-Knowledge Manipulation for Dialogue-Adaptive Hinting , 2005, AIED.

[3]  Erica Melis,et al.  Global Feedback in ActiveMath. , 2005 .

[4]  Erica Melis,et al.  Failure Reasoning in Multiple-Strategy Proof Planning , 2005, STRATEGIES@IJCAR.

[5]  Erica Melis.  Why Proof Planning for Maths Education and How? , 2005, Mechanizing Mathematical Reasoning.

[6]  Alfred Kobsa,et al.  The user modeling shell system BGP-MS , 2005, User Modeling and User-Adapted Interaction.

[7]  Bernhard Jacobs,et al.  Aufgaben stellen und Feedback geben , 2004 .

[8]  Erica Melis,et al.  Constraint Solving for Proof Planning , 2004, Journal of Automated Reasoning.

[9]  Richard Sommer,et al.  A Proof Environment for Teaching Mathematics , 2004, Journal of Automated Reasoning.

[10]  Frank Pfenning,et al.  ETPS: A System to Help Students Write Formal Proofs , 2004, Journal of Automated Reasoning.

[11]  Paul A. Cairns,et al.  On Dynamically Presenting a Topology Course , 2003, Annals of Mathematics and Artificial Intelligence.

[12]  Paul Libbrecht,et al.  Knowledge Representation and Management in ACTIVEMATH , 2004, Annals of Mathematics and Artificial Intelligence.

[13]  Peter Baumgartner,et al.  Automated Deduction Techniques for the Management of Personalized Documents , 2003, Annals of Mathematics and Artificial Intelligence.

[14]  Peter Brusilovsky,et al.  Methods and techniques of adaptive hypermedia , 1996, User Modeling and User-Adapted Interaction.

[15]  Kurt VanLehn,et al.  Minimally Invasive Tutoring of Complex Physics Problem Solving , 2002, Intelligent Tutoring Systems.

[16]  Paul Libbrecht,et al.  Using Computer Algebra Systems as Cognitive Tools , 2002, Intelligent Tutoring Systems.

[17]  Peter Brusilovsky,et al.  ELM-ART: An Adaptive Versatile System for Web-based Instruction , 2001 .

[18]  E. Melis,et al.  Automated Proof Planning for Instructional Design , 2001 .

[19]  Michael Kohlhase,et al.  OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge , 2000, AISC.

[20]  Erica Melis,et al.  Proof planning with multiple strategies , 2000, Artif. Intell..

[21]  Vincent Aleven,et al.  The Need for Tutorial Dialog to Support Self-Explanation , 2000 .

[22]  Armin Fiedler.  Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs , 1999, IJCAI.

[23]  Robert L. Constable,et al.  Verbalization of High-Level Formal Proofs , 1999, AAAI/IAAI.

[24]  Tina Shen,et al.  MetaLinks--A framework and authoring tool for adaptive hypermedia , 1999 .

[25]  Michael Kohlhase,et al.  MBase: Representing mathematical knowledge in a relational data base , 1999, Calculemus.

[26]  J. Frederiksen,et al.  Enabling Students to Construct Theories of Collaborative Inquiry and Reflective Learning: Computer Support for Metacognitive Development , 1999 .

[27]  Jerry Andriessen,et al.  Where is Education Heading and How About AI , 1999 .

[28]  Wilfried Sieg,et al.  Normal Natural Deduction Proofs (in classical logic) , 1998, Stud Logica.

[29]  Helen Lowe,et al.  XBarnacle: Making Theorem Provers More Accessible , 1997, CADE.

[30]  Mary A. Mark,et al.  An Interview Reflection on “Intelligent Tutoring Goes to School in the Big City” , 2015, International Journal of Artificial Intelligence in Education.

[31]  Cristina Conati,et al.  On-Line Student Modeling for Coached Problem Solving Using Bayesian Networks , 1997 .

[32]  John R. Anderson,et al.  Cognitive Tutors: Lessons Learned , 1995 .

[33]  H. Ulrich Hoppe,et al.  Deductive error diagnosis and inductive error generalization for intelligent tutoring systems , 1994 .

[34]  K. Holyoak,et al.  Learning subgoals and methods for solving probability problems , 1990, Memory & cognition.

[35]  Matthew W. Lewis,et al.  Self-Explonations: How Students Study and Use Examples in Learning to Solve Problems , 1989, Cogn. Sci..

[36]  Alan H. Schoenfeld,et al.  Mathematical Problem Solving , 1985 .

[37]  Uri Leron,et al.  Structuring Mathematical Proofs. , 1983 .

[38]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[39]  G. Pólya,et al.  How to Solve It , 1945 .