19 search results - page 2 / 4 » Proof Explanation in the DR-DEVICE System |
AAAI
1990
13 years 5 months ago
1990
Cost-based abduction attempts to find the best explanation for a set of facts by finding a minimal cost proof for the facts. The costs are computed by summing the costs of the ass...
ENTCS
2002
13 years 4 months ago
2002
Solvers on finite domains use local consistency notions to remove values from the domains. This paper defines value withdrawal explanations. Domain reduction is formalized with ch...
IJCAI
1989
13 years 5 months ago
1989
This paper describes an explanation-based approach lo learning plans despite a computationally intractable domain theory. In this approach, the system learns an initial plan using...
ESWS
2005
Springer
13 years 10 months ago
2005
Springer
Managing semantic heterogeneity is a complex task. One solution involves matching like terms to each other. We view Match as an operator that takes two graph-like structures (e.g....
NDQA
2003
13 years 6 months ago
2003
The World Wide Web lacks support for explaining information provenance. When web applications return results, many users do not know what information sources were used, when they ...