A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics

DOI10.1016/J.IJAR.2016.10.002MaRDI QIDQ2374532zbMATH OpenOpenAlexWikidataFDO

Authors Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma

Publication date 15 December 2016

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ijar.2016.10.002

zbMATH Keywords

distribution semanticsprobabilistic logic programmingProbLogvariable eliminationlifted inferencestatistical relational artificial intelligence

Mathematics Subject Classification ID

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

Recommendations

• Lifted variable elimination for probabilistic logic programming
• Inference in probabilistic logic programs using lifted explanations
• Lifted discriminative learning of probabilistic logic programs
• Evaluating inference algorithms for the Prolog factor language
• Generalized counting for lifted variable elimination

Cites work

• scientific article; zbMATH DE number 5296741 (Why is no real title available?)
• scientific article; zbMATH DE number 1149408 (Why is no real title available?)
• A Survey of Fast Exponentiation Methods
• Evaluating inference algorithms for the Prolog factor language
• Inference and learning in probabilistic logic programs using weighted Boolean formulas
• Learning ground GP-logic theories by leveraging Bayesian network learnng techniques
• Lifted graphical models: a survey
• Lifted variable elimination for probabilistic logic programming
• Lifted variable elimination: decoupling the operators from the constraint language
• Logic Programming
• On probabilistic inference by weighted model counting
• Probabilistic (logic) programming concepts
• Probabilistic Horn abduction and Bayesian networks
• Probabilistic inductive logic programming. Theory and applications
• The Independent Choice Logic and Beyond
• The distribution semantics for normal programs with function symbols
• The independent choice logic for modelling multiple agents under uncertainty

Cited in

(21)

• Lifted inference for statistical statements in probabilistic answer set programming
• Inference in probabilistic logic programs using lifted explanations
• The Bayesian ontology language \(\mathcal {BEL}\)
• Lower complexity bounds for lifted inference
• An automata view to goal-directed methods
• Complexity results for probabilistic answer set programming
• Distributed Parameter Learning for Probabilistic Ontologies
• Languages for probabilistic modeling over structured and relational domains
• GPS trajectory data segmentation based on probabilistic logic
• Tableau reasoning for description logics and its extension to probabilities
• scientific article; zbMATH DE number 7330888 (Why is no real title available?)
• Lifted variable elimination for probabilistic logic programming
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
• Lifted discriminative learning of probabilistic logic programs
• Generalized counting for lifted variable elimination
• Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
• Lifted algorithms for symmetric weighted first-order model sampling
• Lifted graphical models: a survey
• Evaluating inference algorithms for the Prolog factor language
• \textsc{Xeggora}: exploiting immune-to-evidence symmetries with full aggregation in statistical relational models

Describes a project that uses

Uses Software

• ProbLog
• PRISM

This page was built for publication: A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics

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