494 search results - page 3 / 99 » Probabilistic Programming in Anglican |
IJAR
2008
13 years 6 months ago
2008
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider g...
SEW
2006
IEEE
14 years 6 hour ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
ICLP
2009
Springer
14 years 6 months ago
2009
Springer
PRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing ...
POPL
2001
ACM
14 years 6 months ago
2001
ACM
ESOP
2001
Springer
13 years 10 months ago
2001
Springer