494 search results - page 1 / 99 » Probabilistic Programming in Anglican |
LANMR
2004
13 years 6 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
FGCS
1992
13 years 6 months ago
1992
Probabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted ...
MPC
2004
Springer
13 years 10 months ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
ICLP
2005
Springer
13 years 10 months ago
2005
Springer
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
APLAS
2007
ACM
13 years 8 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...