591 search results - page 18 / 119 » Probabilistic Assumption-Based Reasoning |
AMAI
2002
Springer
14 years 9 months ago
2002
Springer
Probabilistic argumentation systems are based on assumption-based reasoning for obtaining arguments supporting hypotheses and on probability theory to compute probabilities of sup...
106
click to vote
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
EUC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reaso...
97
Voted
UAI
2000
14 years 10 months ago
2000
Qualitative probabilistic networks have been designed for probabilistic reasoning in a qualitative way. Due to their coarse level of representation detail, qualitative probabilist...
106
click to vote
TACAS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...