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 .