335 search results - page 14 / 67 » KRRT: Knowledge Representation and Reasoning Tutor System |
DLOG
1998
14 years 11 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
SAC
2009
ACM
15 years 2 months ago
2009
ACM
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
UM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
KR
1998
Springer
15 years 1 months ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
CLA
2006
14 years 11 months ago
2006
In this paper, we present research trends carried out in the Orpailleur team at loria, showing how knowledge discovery and knowledge processing may be combined. The knowledge disco...