1941 search results - page 48 / 389 » On the Hardness of Approximate Reasoning |
100
click to vote
ICSR
2004
Springer
15 years 5 months ago
2004
Springer
Object-oriented frameworks are sophisticated software artifacts that significantly impact productivity when building applications in a given domain. However, frameworks are complex...
105
click to vote
IJCAI
2003
15 years 1 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...
104
click to vote
ICFEM
2009
Springer
15 years 6 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
106
click to vote
FPL
2000
Springer
15 years 3 months ago
2000
Springer
Coarse-grain reconfigurable architectures have been a matter of intense research in the last few years. They promise to be more adequate for computational tasks due to their better...
ECSQARU
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...