Sciweavers

50 search results - page 2 / 10
» Probabilistic Arc Consistency: A Connection between Constrai...
Sort
View
FGCS
1992
107views more  FGCS 1992»
13 years 6 months ago
Logic Programming, Abduction and Probability
Probabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted ...
David Poole
BMVC
2000
13 years 6 months ago
Resolving Visual Uncertainty and Occlusion through Probabilistic Reasoning
Tracking interacting human body parts from a single two-dimensional view is difficult due to occlusion, ambiguity and spatio-temporal discontinuities. We present a Bayesian networ...
Jamie Sherrah, Shaogang Gong
AI
2010
Springer
13 years 5 months ago
Implementing logical connectives in constraint programming
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language...
Christopher Jefferson, Neil C. A. Moore, Peter Nig...
LPAR
2010
Springer
13 years 3 months ago
The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...
Pavel Klinov, Bijan Parsia, David Picado-Mui&ntild...
CSDA
2006
109views more  CSDA 2006»
13 years 5 months ago
Possibility theory and statistical reasoning
Numerical possibility distributions can encode special convex families of probability measures. The connection between possibility theory and probability theory is potentially fru...
Didier Dubois