A new probabilistic constraint logic programming language based on a generalised distribution semantics

DOI10.1016/J.ARTINT.2015.06.008zbMATH Open1346.68054OpenAlexW1789692117MaRDI QIDQ896427FDOQ896427

Authors: Steffen Michels, Arjen Hommersom, Peter Lucas, Marina Velikova 

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

Recommendations

• Probabilistic logic programming with conditional constraints
• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
• Probabilistic logic programming
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• Extending ProbLog with Continuous Distributions

zbMATH Keywords

imprecise probabilitiescontinuous probability distributionsprobabilistic logic programmingexact probabilistic inference

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)

Cites Work

• MEBN: a language for first-order Bayesian knowledge bases
• CP-logic: A language of causal probabilistic events and its relation to logic programming
• The no-U-turn sampler: adaptively setting path lengths in Hamiltonian Monte Carlo
• On Information and Sufficiency
• A new polynomial-time algorithm for linear programming
• Handbook of Markov Chain Monte Carlo
• Propagation of Probabilities, Means, and Variances in Mixed Graphical Association Models
• Mixtures of truncated basis functions
• Title not available (Why is that?)
• Towards a unified theory of imprecise probability
• The well-founded semantics for general logic programs
• Title not available (Why is that?)
• Probabilistic logic
• Adaptive probabilistic networks with hidden variables
• Algorithms for propositional model counting
• Constructing Free-Energy Approximations and Generalized Belief Propagation Algorithms
• Complexity of Finding Embeddings in a k-Tree
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Variations on the Common Subexpression Problem
• A linear time algorithm for finding tree-decompositions of small treewidth
• On probabilistic inference by weighted model counting
• Markov logic networks
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• Exact sampling with coupled Markov chains and applications to statistical mechanics
• Probabilistic logic programming
• On the complexity of integer programming
• The Independent Choice Logic and Beyond
• Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
• The magic of logical inference in probabilistic programming
• New Advances in Logic-Based Probabilistic Modeling by PRISM
• Credal networks
• Real quantifier elimination is doubly exponential
• Recursive conditioning
• Constraint-based probabilistic modeling for statistical abduction
• Extending ProbLog with Continuous Distributions
• Inference in probabilistic logic programs with continuous random variables
• Markov Logic
• Theory and Applications of Satisfiability Testing
• Dedicated tabling for a probabilistic setting
• Imprecise probabilistic Horn clause logic
• Reasoning with probabilistic and deterministic graphical models. Exact algorithms
• Title not available (Why is that?)

Cited In (13)

• Probabilistic logic programming for hybrid relational domains
• A semantics for hybrid probabilistic logic programs with function symbols
• Distribution-aware sampling of answer sets
• The distribution semantics for normal programs with function symbols
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• Optimizing probabilities in probabilistic logic programs
• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
• Syntactic requirements for well-defined hybrid probabilistic logic programs
• Inference in probabilistic logic programs with continuous random variables
• Imprecise probabilistic Horn clause logic
• Declarative probabilistic logic programming in discrete-continuous domains
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
• Complexity results for probabilistic answer set programming

Uses Software

• MEBN
• Yices
• z3
• ProbLog
• CP-logic
• Church
• FACTORIE
• BLOG
• PRISM
• Figaro
• NUTS
• Dsharp

This page was built for publication: A new probabilistic constraint logic programming language based on a generalised distribution semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q896427)