335 search results - page 3 / 67 » KRRT: Knowledge Representation and Reasoning Tutor System |
DIAGRAMS
2006
Springer
15 years 1 months ago
2006
Springer
This paper describes the evaluation of ERST, an adaptive system which is designed to improve its users' external representation (ER) selection accuracy on a range of database ...
APIN
2000
14 years 9 months ago
2000
The Context Interchange Project presents a unique approach to the problem of semantic conflict resolution among multiple heterogeneous data sources. The system presents a semantic...
IJCAI
1993
14 years 11 months ago
1993
ICAISC
2004
Springer
15 years 3 months ago
2004
Springer
ActiveMath is a web-based intelligent tutoring system for mathematics. This article presents the technical and pedagogical goals of ActiveMath, its principles of design and archite...
ITS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...