KRRT: Knowledge Representation and Reasoning Tutor System-Reference-Cited by-同舟云学术

KRRT: Knowledge Representation and Reasoning Tutor System

Published: Issue: Volume: Page:400-407
ISSN:
Container-title:Computer Aided Systems Theory – EUROCAST 2007
language:
Short-container-title:

Author:

Alonso Jos A.,Aranda Gonzalo A.,Martn–Mateos Francisco J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-75867-9_51.pdf

Reference10 articles.

1. Logic software and logic education, http://www.cs.otago.ac.nz/staffpriv/hans/logiccourseware.html

2. Abraham, D., Crawford, L., Lesta, L., Merceron, A., Yacef, K.: The Logic Tutor: A multimedia presentation. Electronic Journal of Computer–Enhanced Learning (October 2001)

3. Alonso, J.A., Aranda, G.A., Martín.-Mateos, F.J.: FITS: Formalization with an Intelligent Tutor System. In: IV International Conference On Multimedia And Information And Communication Technologies In Education (2006)

4. Lecture Notes in Computer Science;R. Bornat,1997

5. Huth, M., Ryan, M.: LICS web tutor, http://www.cs.bham.ac.uk/research/projects/lics/tutor

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

1. The pedagogical model of SIAL: an adaptive and open-ended intelligent tutoring system for first order logic;Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education;2018-07-02

2. Assistance and Feedback Mechanism in an Intelligent Tutoring System for Teaching Conversion of Natural Language into Logic;International Journal of Artificial Intelligence in Education;2017-02-24

3. A Student Model for Teaching Natural Deduction Based on a Prover That Mimics Student Reasoning;Intelligent Tutoring Systems;2014

4. Difficulty Estimator for Converting Natural Language into First Order Logic;Intelligent Decision Technologies;2011

5. An Example-Tracing Tutor for Teaching NL to FOL Conversion;IFIP Advances in Information and Communication Technology;2010