S. Russell and P. Norvig, Artificial Intelligence: a modern approach, 2003.

G. F. Luger, Artificial Intelligence: Structures and Strategies for Complex Problem Solving, 2004.

R. J. Brachman and H. J. Levesque, Knowledge Representation and Reasoning, 2004.

M. R. Genesereth and N. J. Nilsson, Logical Foundations of AI, 1987.

I. Hatzilygeroudis, Teaching NL to FOL and FOL to CL Conversions, Proceedings of the 20th International FLAIRS Conf., Key West, FL, pp.309-314, 2007.

I. Hatzilygeroudis and I. Perikos, A Web-Based Interactive System for Learning NL to FOL Conversion, New Directions in Intelligent Interactive Multimedia Systems and Services ? 2, pp.297-307, 2009.
DOI : 10.1007/978-3-642-02937-0_27

V. Aleven, B. M. Mclaren, J. Sewall, and K. R. Koedinger, A new paradigm for intelligent tutoring systems: Example-tracing tutors, International Journal of Artificial Intelligence in Education, vol.19, issue.2, pp.105-154, 2009.

V. Aleven, B. M. Mclaren, J. Sewall, and K. R. Koedinger, The Cognitive Tutor Authoring Tools (CTAT): Preliminary Evaluation of Efficiency Gains, the Proceedings of the 8th International Conference on Intelligent Tutoring Systems (ITS-06), pp.61-70, 2006.
DOI : 10.1007/11774303_7

K. Koedinger, V. Aleven, N. Heffernan, B. Mclaren, and M. Hockenberry, Opening the Door to Non-programmers: Authoring Intelligent Tutor Behavior by Demonstration, Proceedings ITS-2004, pp.162-174, 2004.
DOI : 10.1007/978-3-540-30139-4_16
URL : http://www.pitt.edu/%7Ebmclaren/tutor-tools-ITS04.pdf

K. R. Koedinger and V. Aleven, Toward a Rapid Development Environment for Cognitive Tutors, Proceedings of the 11th International Conference on Artificial Intelligence in Education, AI-ED 2003, pp.455-457, 2003.

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

D. Abraham and K. Yacef, Adaptation in the Web-Based Logic-ITA, LNCS, vol.2347, pp.456-461, 2002.
DOI : 10.1007/3-540-47952-X_60

S. Lukins, A. Levicki, and J. Burg, A tutorial program for propositional logic with human/computer interactive learning, pp.381-385, 2002.
DOI : 10.1145/563340.563490
URL : http://www.cs.wfu.edu/~burg/papers/PropLogic.pdf

J. A. Alonso, G. A. Aranda, and F. J. Mart?n.-matceos, KRRT: Knowledge Representation and Reasoning Tutor System, Proceedings of EUROCAST 2007, LNCA 4739, pp.400-407
DOI : 10.1007/978-3-540-75867-9_51

V. Aleven, J. Sewall, B. M. Mclaren, and K. R. Koedinger, Rapid Authoring of Intelligent Tutors for Real-World and Experimental Use, Sixth IEEE International Conference on Advanced Learning Technologies (ICALT'06), pp.847-851, 2006.
DOI : 10.1109/ICALT.2006.1652575

Y. Zhou, R. Freedman, M. Glass, J. A. Michael, A. A. Rovick et al., Delivering Hints in a Dialogue-Based Intelligent Tutoring System, Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99), pp.128-134, 1999.