2040 search results - page 2 / 408 » On the Complexity of Error Explanation |
83
Voted
COMPLEXITY
2007
15 years 1 months ago
2007
SYNTHESE
2011
14 years 8 months ago
2011
A scientific explanatory project, part-whole explanation, and a kind of science, part-whole science are premised on identifying, investigating, and using parts and wholes. In the ...
116
click to vote
ICFP
2001
ACM
16 years 1 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
113
click to vote
IJCAI
1989
15 years 2 months ago
1989
In this paper, we address an issue that arises when the background knowledge used by explanationbased learning is incorrect. In particular, we consider the problems that can be ca...
126
Voted
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...