The Architecture of Cognition
An application of knowledge-base technology in education: a geometry theorem prover
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Some considerations on intelligent tutoring systems
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Diagrammatic Reasoning for Geometry ITS to Teach Auxiliary Line Construction Problems
ITS '98 Proceedings of the 4th International Conference on Intelligent Tutoring Systems
Intelligent understanding of handwritten geometry theorem proving
Proceedings of the 15th international conference on Intelligent user interfaces
Modeling hinting strategies for geometry theorem proving
UM'03 Proceedings of the 9th international conference on User modeling
Usability engineering for the adaptive web
The adaptive web
Design of an intelligent system for the automatic demonstration of geometry theorems
TELE-INFO'10 Proceedings of the 9th WSEAS international conference on Telecommunications and informatics
From intelligent tutoring to computerized psychotherapy
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Building a community memory for intelligent tutoring systems
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
From intelligent tutoring to computerized psychotherapy
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Building a community memory for intelligent tutoring systems
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
WSEAS Transactions on Computers
FITS: a fraction intelligent tutoring system
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Layered evaluation of interactive adaptive systems: framework and formative methods
User Modeling and User-Adapted Interaction
Synthesizing geometry constructions
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Intelligent tutoring systems: An overview
Expert Systems: The Journal of Knowledge Engineering
Hi-index | 0.00 |
We describe an intelligent tutor for LISP programming. This tutor achieves a set of pedagogical objectives derived from Anderson's (1983) learning theory provide instruction in the context of problem-solving, have the student generate as much of each ...