Advanced search
Publication Cover
International Journal of Computational Intelligence Systems Volume 3, 2010 - Issue 1
Journal homepage
35
Views
2
CrossRef citations to date
0
Altmetric
Original Articles

Geometry Tutoring Supported by an Intelligent Drawing Interface and Automatic Problem Solving

Hyung Joon Kook Department of Computer Engineering, Sejong University, Seoul, Korea E-mail: [email protected]
Pages 21-27 | Received 15 May 2009, Accepted 01 Dec 2009, Published online: 12 Mar 2012

References

  • Kohlhase , A. and Kohlhase , M. 2008 . Semantic Knowledge Management for Education . Proc. IEEE , 96 ( 6 ) : 970 – 989 .
  • Mitchell , M. T. 2007 . An Architecture of an Intelligent Tutoring System to Support Distance Learning . Computing and Informatics , 26 : 564 – 576 .
  • Hatzilygeroudis , I. and Prentzas , J. Knowledge Representation Requirements for Intelligent Tutoring Systems . Proc. Intelligent Tutoring Systems (Lecture Notes in Computer Science 3220) . pp. 87 – 97 .
  • Jarvis , M. P. , Nuzzo-Jones , G. and Heffernan , N. T. Applying Machine Learning Techniques to Rule Generation in Intelligent Tutoring Systems . Proc. Intelligent Tutoring Systems (Lecture Notes in Computer Science 3220) . pp. 541 – 543 .
  • Anderson , J. R. , Boyle , F. , Corbett , A. and Lewis , M. 1990 . Cognitive Modeling and Intelligent Tutoring . Artificial Intelligence , 42 : 7 – 49 .
  • McDougal , T. and Hammond , K. Representing and Using Procedural Knowledge to Build Geometry Proofs . Proc. AAAI . pp. 60 – 65 .
  • Mitrovic , A. , Koedinger , K. R. and Martin , B. A Comparative Analysis of Cognitive Tutoring and Constraint-Based Modeling . Proc. User Modeling . pp. 313 – 322 .
  • Cadoli , M. and Donini , F. M. 1997 . A Survey on Knowledge Compilation . AI Communications , 10 ( 3–4 ) : 137 – 150 .
  • Kerber , M. , Kohlhase , M. and Sorge , V. 1998 . Integrating Computer Algebra into Proof Planning . J. Automated Reasoning , 21 ( 3 ) : 327 – 355 .
  • Chou , S. C. , Gao , X. S. and Zhang , J. Z. 1994 . Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems , World Scientific .
  • Botana , F. and Recio , T. , eds. 2008 . Automated Deduction in Geometry , Springer .
  • Bhansali , S. and Hoar , T. J. 1998 . Automated Software Synthesis: An Application in Mechanical CAD . IEEE Trans. on Software Engineering , 24 ( 10 ) : 848 – 862 .
  • Anolona , A. 2007 . Advances in Intelligent Tutoring Systems: Problem-Solving Modes and Model of Hints . Int. J. of Computers, Communications & Control , 2 : 48 – 55 .
  • Koedinger , K. R. and Anderson , J. R. 1993 . “ Reifying Implicit Planning in Geometry: Guidelines for Model-Based Intelligent Tutoring System Design ” . In Computers as Cognitive Tools , 15 – 45 . Erlbaum .
  • Matsuda , N. and VanLehn , K. Modeling Hinting Strategies for Geometry Theorem Proving . Proc. User Modeling . pp. 373 – 377 .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.