895 search results - page 5 / 179 » A Spectrum of Applications of Automated Reasoning |
ICCBR
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Distributed case-based reasoning architectures have the potential to improve the overall performance of case-based reasoning systems. In this paper we describe a collabor...
IJCAI
2003
13 years 6 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
CADE
2005
Springer
14 years 5 months ago
2005
Springer
DLOG
2006
13 years 6 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
ICLP
1993
Springer
13 years 9 months ago
1993
Springer
