335 search results - page 6 / 67 » KRRT: Knowledge Representation and Reasoning Tutor System |
AAAI
1990
14 years 10 months ago
1990
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
AMAI
2006
Springer
14 years 9 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
OWLED
2007
14 years 11 months ago
2007
A new approach to spatioterminological reasoning is presented which is based on a hybrid knowledge representation system architecture and on a representation of the RCC family tree...
ICTAI
2007
IEEE
15 years 3 months ago
2007
IEEE
In this work we report results on the use of symbolic knowledge representation and reasoning (KRR) for perceptual anchoring. This is the creation and maintenance of a connection b...
IMSA
2001
14 years 11 months ago
2001
This paper deals with the coupling of AROM, an objectbased knowledge representation with V-STORM, a multimedia presentation system. We propose an AROM knowledge base which constit...