3321 search results - page 136 / 665 » The Future of Knowledge Representation |
LPNMR
2005
Springer
14 years 3 months ago
2005
Springer
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
ICAISC
2004
Springer
14 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...
STAIRS
2008
13 years 11 months ago
2008
Adaptation is a task of case-based reasoning systems that is largely domain-dependant. This motivates the study of adaptation knowledge acquisition (AKA) that can be carried out th...
FLAIRS
2004
13 years 11 months ago
2004
The paper aims at contributing to the problem of designing ontologies for spatio-temporal knowledge representation. We consider a linguistically oriented, situation-based methodol...
FLAIRS
2006
13 years 11 months ago
2006
The use of ontologies based on knowledge representation architectures to support search and other decision-making problems in production environments has become a critical compone...