Sciweavers

591 search results - page 26 / 119
» Probabilistic Assumption-Based Reasoning
Sort
View
CONCUR
1994
Springer
15 years 1 months ago
Composition and Behaviors of Probabilistic I/O Automata
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark
ECAI
2004
Springer
15 years 2 months ago
Axiomatizing Noisy-OR
The Noisy-OR function is extensively used in probabilistic reasoning, and usually justified with heuristic arguments. This paper investigates sets of conditions that imply the No...
Fabio Gagliardi Cozman
80
Voted
FLAIRS
2007
14 years 11 months ago
Learning Uncertain Rules with CONDORCKD
CONDORCKD is a system implementing a novel approach to discovering knowledge from data. It addresses the issue of relevance of the learned rules by algebraic means and explicitly ...
Jens Fisseler, Gabriele Kern-Isberner, Christoph B...
KR
2010
Springer
14 years 11 months ago
Independence and Functional Dependence Relations on Secrets
We study logical principles connecting two relations: independence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different e...
Robert Kelvey, Sara Miner More, Pavel Naumov, Benj...
LFCS
2009
Springer
15 years 4 months ago
Temporalization of Probabilistic Propositional Logic
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
Pedro Baltazar, Paulo Mateus