Sciweavers

591 search results - page 81 / 119
» Probabilistic Assumption-Based Reasoning
Sort
View
AIMS
2008
Springer
15 years 6 months ago
Dynamic Consistency Analysis for Convergent Operators
It has been shown that sets of convergent operators with a shared fixed point can simulate autonomic control mechanisms, but many questions remain about this management technique....
Alva L. Couch, Marc Chiarini
CBMS
2007
IEEE
15 years 6 months ago
Auto-Extraction, Representation and Integration of a Diabetes Ontology Using Bayesian Networks
This paper describes how high level biological knowledge obtained from ontologies such as the Gene Ontology (GO) can be integrated with low level information extracted from a Baye...
Kenneth McGarry, Sheila Garfield, Stefan Wermter
QEST
2007
IEEE
15 years 6 months ago
Stochastic Game Logic
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
Christel Baier, Tomás Brázdil, Marcu...
ECSQARU
2007
Springer
15 years 6 months ago
Logical Compilation of Bayesian Networks with Discrete Variables
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...
Michael Wachter, Rolf Haenni
TARK
2007
Springer
15 years 6 months ago
Unawareness, beliefs and games
We define a generalized state-space model with interactive unawareness and probabilistic beliefs. Such models are desirable for many potential applications of asymmetric unawaren...
Aviad Heifetz, Martin Meier, Burkhard C. Schipper