Sciweavers

591 search results - page 26 / 119
» Probabilistic Assumption-Based Reasoning
Sort
View
CONCUR
1994
Springer
15 years 3 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 5 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
FLAIRS
2007
15 years 2 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
15 years 1 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 6 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