2869 search results - page 276 / 574 » The Inference Problem: A Survey |
216
click to vote
ISIPTA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper reviews algorithms for local computation with imprecise probabilities. These algorithms try to solve problems of inference calculation of conditional or unconditional p...
216
click to vote
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
We show that rigid reachability, the non-symmetric form of rigid E-unification, is undecidable already in the case of a single constraint. From this we infer the undecidability of ...
189
click to vote
CADE
1992
Springer
15 years 11 months ago
1992
Springer
Theorem provers based on model elimination have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption. In this paper we repor...
171
click to vote
SAC
1995
ACM
15 years 11 months ago
1995
ACM
A trigger system in High Energy Physics Experiments (HEPE) has to decide, in few µs, if the data related to a nuclear event have to be stored or not. Normally, these data, are co...
165
click to vote
AI
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties ...