Sciweavers

1300 search results - page 140 / 260
» Probabilistic logic with independence
Sort
View
ICFP
2009
ACM
14 years 9 months ago
Purely functional lazy non-deterministic programming
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
IPPS
2007
IEEE
14 years 3 months ago
A Markov Reward Model for Software Reliability
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
YoungMin Kwon, Gul Agha
ICALP
2007
Springer
14 years 3 months ago
Continuous Capacities on Continuous State Spaces
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...
Jean Goubault-Larrecq
IJCAI
2007
13 years 10 months ago
Argumentation Based Contract Monitoring in Uncertain Domains
Few existing argumentation frameworks are designed to deal with probabilistic knowledge, and none are designed to represent possibilistic knowledge, making them unsuitable for man...
Nir Oren, Timothy J. Norman, Alun D. Preece
EUSFLAT
2009
114views Fuzzy Logic» more  EUSFLAT 2009»
13 years 6 months ago
The Use of Interval-Valued Probability Measures in Fuzzy Linear Programming: a constraint set approach
This paper uses a constraint set approach to linear programming problems with equality constraints whose coefficients and/or right-hand side values could be uncertain. We consider ...
Phantipa Thipwiwatpotjana, Weldon A. Lodwick