494 search results - page 1 / 99 » Probabilistic Programming in Anglican |
135
Voted
LANMR
2004
15 years 1 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...
101
click to vote
FGCS
1992
15 years 1 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 ...
78
Voted
MPC
2004
Springer
15 years 5 months ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
130
click to vote
ICLP
2005
Springer
15 years 5 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
15 years 4 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...