Sciweavers

494 search results - page 2 / 99
» Probabilistic Programming in Anglican
Sort
View
IJCAI
2007
13 years 6 months ago
Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning
P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...
Chitta Baral, Matt Hunsaker
AAAI
2008
13 years 7 months ago
Revising Imprecise Probabilistic Beliefs in the Framework of Probabilistic Logic Programming
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
Anbu Yue, Weiru Liu
GECCO
2005
Springer
13 years 10 months ago
Probabilistic distribution models for EDA-based GP
This paper proposes a novel technique for a program evolution based on probabilistic models. In the proposed method, two probabilistic distribution models with probabilistic depen...
Kohsuke Yanai, Hitoshi Iba
ICALP
1992
Springer
13 years 9 months ago
Barbed Bisimulation
This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence resu...
Robin Milner, Davide Sangiorgi
CDC
2008
IEEE
137views Control Systems» more  CDC 2008»
13 years 11 months ago
An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...