1544 search results - page 151 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
171
click to vote
CSL
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Focusing is traditionally seen as a means of reducing inessential nondeterminism in backward-reasoning strategies such as uniform proof-search or tableaux systems. In thi...
162
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
The complexity and high construction cost of case bases make it very difficult, if not impossible, to evaluate a CBR system, especially a knowledge-intensive CBR system, using stat...
197
click to vote
DLOG
2011
14 years 10 months ago
2011
Abstract. The pressing need for scalable query answering has motivated the development of many incomplete ontology-based reasoners. Improving the completeness of such systems witho...
167
click to vote
EWCBR
2004
Springer
15 years 12 months ago
2004
Springer
Over the years, many successful applications of case-based reasoning (CBR) systems have been developed in different areas. The performance of CBR systems depends on several factor...
148
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
Traffic information systems based on mobile, in-car sensor technology are a challenge for data management systems as a huge amount of data has to be processed in real-time. Data m...