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

DOI10.1016/j.ijar.2016.10.002zbMath1400.68226OpenAlexW2531711132WikidataQ58063524 ScholiaQ58063524MaRDI QIDQ2374532

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

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

variable eliminationdistribution semanticsprobabilistic logic programmingProbLoglifted inferencestatistical relational artificial intelligence

Mathematics Subject Classification ID

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

Related Items (10)

The Bayesian ontology language \(\mathcal {BEL}\) ⋮ Tableau reasoning for description logics and its extension to probabilities ⋮ Lifted inference for statistical statements in probabilistic answer set programming ⋮ Lifted discriminative learning of probabilistic logic programs ⋮ The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference ⋮ GPS trajectory data segmentation based on probabilistic logic ⋮ An Automata View to Goal-Directed Methods ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Complexity results for probabilistic answer set programming ⋮ Distributed Parameter Learning for Probabilistic Ontologies

Uses Software

• ProbLog
• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The distribution semantics for normal programs with function symbols
• Probabilistic (logic) programming concepts
• Probabilistic Horn abduction and Bayesian networks
• The independent choice logic for modelling multiple agents under uncertainty
• Lifted graphical models: a survey
• On probabilistic inference by weighted model counting
• Probabilistic inductive logic programming. Theory and applications
• Lifted Variable Elimination: Decoupling the Operators from the Constraint Language
• Lifted Variable Elimination for Probabilistic Logic Programming
• A Survey of Fast Exponentiation Methods
• Inference and learning in probabilistic logic programs using weighted Boolean formulas
• Evaluating Inference Algorithms for the Prolog Factor Language
• Logic Programming
• The Independent Choice Logic and Beyond

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