2040 search results - page 3 / 408 » On the Complexity of Error Explanation |
118
click to vote
ECAI
2000
Springer
15 years 5 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...
129
click to vote
DLOG
2011
14 years 5 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...
134
click to vote
EWCBR
2004
Springer
15 years 7 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
15 years 3 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
15 years 1 months ago
2004
Springer
