59 search results - page 10 / 12 » Revisiting the Semantics of Interval Probabilistic Logic Pro... |
115
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
ESAW
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
ENTCS
2010
14 years 11 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
191
click to vote
POPL
2005
ACM
16 years 1 days ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
137
click to vote
UAI
1997
15 years 1 months ago
1997
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applicati...