A new probabilistic constraint logic programming language based on a generalised distribution semantics
From MaRDI portal
Publication:896427
DOI10.1016/j.artint.2015.06.008zbMath1346.68054OpenAlexW1789692117MaRDI QIDQ896427
Arjen Hommersom, Marina Velikova, Steffen Michels, Peter J. F. Lucas
Publication date: 9 December 2015
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2015.06.008
imprecise probabilitiescontinuous probability distributionsprobabilistic logic programmingexact probabilistic inference
Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)
Related Items
The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference ⋮ A semantics for hybrid probabilistic logic programs with function symbols ⋮ Complexity results for probabilistic answer set programming
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The No-U-Turn Sampler: Adaptively Setting Path Lengths in Hamiltonian Monte Carlo
- Constraint-based probabilistic modeling for statistical abduction
- Mixtures of truncated basis functions
- Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
- A new polynomial-time algorithm for linear programming
- Probabilistic logic
- Real quantifier elimination is doubly exponential
- Probabilistic logic programming
- Adaptive probabilistic networks with hidden variables
- Credal networks
- Towards a unified theory of imprecise probability
- Algorithms for propositional model counting
- MEBN: a language for first-order Bayesian knowledge bases
- On probabilistic inference by weighted model counting
- Markov logic networks
- Dedicated tabling for a probabilistic setting
- Extending ProbLog with Continuous Distributions
- The magic of logical inference in probabilistic programming
- CP-logic: A language of causal probabilistic events and its relation to logic programming
- Constructing Free-Energy Approximations and Generalized Belief Propagation Algorithms
- Handbook of Markov Chain Monte Carlo
- Complexity of Finding Embeddings in a k-Tree
- Variations on the Common Subexpression Problem
- On the complexity of integer programming
- Propagation of Probabilities, Means, and Variances in Mixed Graphical Association Models
- The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
- The well-founded semantics for general logic programs
- Exact sampling with coupled Markov chains and applications to statistical mechanics
- Inference in probabilistic logic programs with continuous random variables
- A linear time algorithm for finding tree-decompositions of small treewidth
- Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms
- Markov Logic
- New Advances in Logic-Based Probabilistic Modeling by PRISM
- The Independent Choice Logic and Beyond
- Theory and Applications of Satisfiability Testing
- On Information and Sufficiency
- Recursive conditioning
