The pedagogical model of SIAL: an adaptive and open-ended intelligent tutoring system for first order logic-Reference-Cited by-同舟云学术

The pedagogical model of SIAL: an adaptive and open-ended intelligent tutoring system for first order logic

Published:2018-07-02 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education
language:
Short-container-title:

Author:

Maestro-Prieto Jose A.¹,Simon-Hurtado Arancha¹

Affiliation:

1. University of Valladolid, Spain

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3197091.3197100

Reference23 articles.

1. V. Aleven B. McLaren J. Sewall and K. R. Koedinger. 2009. Example-tracing tutors: A new paradigm for intelligent tutoring systems. International Journal of Artificial Intelligence in Education (IJAIED) 19 (2009) 105–154. V. Aleven B. McLaren J. Sewall and K. R. Koedinger. 2009. Example-tracing tutors: A new paradigm for intelligent tutoring systems. International Journal of Artificial Intelligence in Education (IJAIED) 19 (2009) 105–154.

2. José A. Alonso Gonzalo A. Aranda-Corral and Francisco J. Martín-Mateos. 2007. KRRT: Knowledge Representation and Reasoning Tutor System. In Computer Aided Systems Theory – EUROCAST 2007 (LNCS) Roberto Moreno-Díaz Franz Pichler and Alexis Quesada-Arencibia (Eds.) Vol. 4739. Springer Berlin Heidelberg 400–407. José A. Alonso Gonzalo A. Aranda-Corral and Francisco J. Martín-Mateos. 2007. KRRT: Knowledge Representation and Reasoning Tutor System. In Computer Aided Systems Theory – EUROCAST 2007 (LNCS) Roberto Moreno-Díaz Franz Pichler and Alexis Quesada-Arencibia (Eds.) Vol. 4739. Springer Berlin Heidelberg 400–407.

3. Spanning seven orders of magnitude: a challenge for cognitive modeling

4. User Interaction with the Matita Proof Assistant

5. Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Intelligent Support for All?;Proceedings of the 53rd ACM Technical Symposium on Computer Science Education;2022-02-22