A new probabilistic constraint logic programming language based on a generalised distribution semantics
From MaRDI portal
(Redirected from Publication:896427)
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
Cites work
- scientific article; zbMATH DE number 3123490 (Why is no real title available?)
- scientific article; zbMATH DE number 5296741 (Why is no real title available?)
- scientific article; zbMATH DE number 43398 (Why is no real title available?)
- scientific article; zbMATH DE number 408795 (Why is no real title available?)
- scientific article; zbMATH DE number 566078 (Why is no real title available?)
- scientific article; zbMATH DE number 1946869 (Why is no real title available?)
- scientific article; zbMATH DE number 2203240 (Why is no real title available?)
- scientific article; zbMATH DE number 3222422 (Why is no real title available?)
- scientific article; zbMATH DE number 3372034 (Why is no real title available?)
- A linear time algorithm for finding tree-decompositions of small treewidth
- A new polynomial-time algorithm for linear programming
- Adaptive probabilistic networks with hidden variables
- Algorithms for propositional model counting
- CP-logic: A language of causal probabilistic events and its relation to logic programming
- Complexity of Finding Embeddings in a k-Tree
- Constraint-based probabilistic modeling for statistical abduction
- Constructing Free-Energy Approximations and Generalized Belief Propagation Algorithms
- Credal networks
- Dedicated tabling for a probabilistic setting
- Exact sampling with coupled Markov chains and applications to statistical mechanics
- Extending ProbLog with Continuous Distributions
- Handbook of Markov Chain Monte Carlo
- Imprecise probabilistic Horn clause logic
- Inference in probabilistic logic programs with continuous random variables
- Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
- MEBN: a language for first-order Bayesian knowledge bases
- Markov Logic
- Markov logic networks
- Mixtures of truncated basis functions
- New Advances in Logic-Based Probabilistic Modeling by PRISM
- On Information and Sufficiency
- On probabilistic inference by weighted model counting
- On the complexity of integer programming
- Probabilistic logic
- Probabilistic logic programming
- Propagation of Probabilities, Means, and Variances in Mixed Graphical Association Models
- Real quantifier elimination is doubly exponential
- Reasoning with probabilistic and deterministic graphical models. Exact algorithms
- Recursive conditioning
- The Independent Choice Logic and Beyond
- The magic of logical inference in probabilistic programming
- The no-U-turn sampler: adaptively setting path lengths in Hamiltonian Monte Carlo
- 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
- Theory and Applications of Satisfiability Testing
- Towards a unified theory of imprecise probability
- Variations on the Common Subexpression Problem
Cited in
(13)- Complexity results for probabilistic answer set programming
- Syntactic requirements for well-defined hybrid probabilistic logic programs
- Distribution-aware sampling of answer sets
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
- A semantics for hybrid probabilistic logic programs with function symbols
- Optimizing probabilities in probabilistic logic programs
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
- The distribution semantics for normal programs with function symbols
- Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
- Inference in probabilistic logic programs with continuous random variables
- Imprecise probabilistic Horn clause logic
- Declarative probabilistic logic programming in discrete-continuous domains
- Probabilistic logic programming for hybrid relational domains
Describes a project that uses
Uses Software
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)
