A Web-Based Interactive System for Learning NL to FOL Conversion-Reference-Cited by-同舟云学术

A Web-Based Interactive System for Learning NL to FOL Conversion

Published:2009 Issue: Volume: Page:297-307
ISSN:1860-949X
Container-title:New Directions in Intelligent Interactive Multimedia Systems and Services - 2
language:
Short-container-title:

Author:

HATZILYGEROUDIS Ioannis,PERIKOS Isidoros

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02937-0_27.pdf

Reference18 articles.

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

2. Lecture Notes in Computer Science;D. Abraham,2002

3. Alonso, J.A., Aranda, G.A., Martín.-Matceos, F.J.: FITS: Formalization with an Intelligent Tutor System. In: Proceedings of the IV International Conference on Multimedia and Information and Communication Technologies in Education (2006)

4. Lecture Notes in Computer Science;J.A. Alonso,2007

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

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

1. 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

2. An Intelligent System for Learning First Order Logic to Clause Form Conversion;Multicultural Awareness and Technology in Higher Education;2014

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

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