1544 search results - page 112 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
162
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
187
click to vote
DLOG
2009
15 years 4 months ago
2009
We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reaso...
215
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
Case-based reasoning aims at solving a problem by the adaptation of the solution of an already solved problem that has been retrieved in a case base. This paper defines an approach...
216
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
169
click to vote
ICCBR
2005
Springer
15 years 12 months ago
2005
Springer
TIELT is a software testbed that facilitates the integration and testing of learning-embedded decision systems on user-selected tasks from virtual gaming simulators. A key componen...