Inference in probabilistic logic programs using lifted explanations

DOI10.4230/OASICS.ICLP.2016.15MaRDI QIDQ5240217zbMATH OpenFDO

Authors Arun Nampally, C. R. Ramakrishnan

Publication date 24 October 2019

Full work available at URL https://arxiv.org/abs/1608.05763

zbMATH Keywords

constraintslifted inferenceprobabilistic inferenceprobabilistic logic programssymbolic evaluation

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Lifted variable elimination for probabilistic logic programming
• The complexity of inferences and explanations in probabilistic logic programming
• A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
• Lifted discriminative learning of probabilistic logic programs
• Lifted variable elimination: decoupling the operators from the constraint language

Cites work

• A Survey of First-Order Probabilistic Models
• Compact data structures and state-space reduction for model-checking real-time systems
• Constraint-based inference in probabilistic logic programs
• scientific article; zbMATH DE number 1753155 (Why is no real title available?)
• Lifted variable elimination: decoupling the operators from the constraint language
• New Advances in Logic-Based Probabilistic Modeling by PRISM
• The octagon abstract domain
• The PITA system: tabling and answer subsumption for reasoning under uncertainty

Cited in

(15)

• Structured probabilistic inference
• Explanations as programs in probabilistic logic programming
• Generating contrastive explanations for inductive logic programming based on a near miss approach
• A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
• The complexity of inferences and explanations in probabilistic logic programming
• Lifted discriminative learning of probabilistic logic programs
• Lifted variable elimination: decoupling the operators from the constraint language
• Lifted variable elimination for probabilistic logic programming
• Generalized counting for lifted variable elimination
• scientific article; zbMATH DE number 4162322 (Why is no real title available?)
• Lower complexity bounds for lifted inference
• Evaluating inference algorithms for the Prolog factor language
• scientific article; zbMATH DE number 7330888 (Why is no real title available?)
• Lifted inference for statistical statements in probabilistic answer set programming
• Automatic conjecturing of P-recursions using lifted inference

Describes a project that uses

Uses Software

• PITA
• PRISM
• ProbLog

This page was built for publication: Inference in probabilistic logic programs using lifted explanations

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