2040 search results - page 3 / 408 » On the Complexity of Error Explanation |
ECAI
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of a...
DLOG
2011
12 years 9 months ago
2011
In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for DLs, where research focused on the...
EWCBR
2004
Springer
13 years 11 months ago
2004
Springer
Case-based Reasoning (CBR) is a mature technology for building knowledge-based systems that are capable to produce useful results even if no answer matches the query exactly. Often...
AAAI
1998
13 years 7 months ago
1998
Dynamically providing students with clear explanations of complex spatial concepts is critical for a broad range of knowledge-based educational and training systems. This calls fo...
AI
2004
Springer
13 years 5 months ago
2004
Springer
