Abduction with probabilistic logic programming under the distribution semantics

DOI10.1016/j.ijar.2021.11.003OpenAlexW3215648770MaRDI QIDQ2076968

Damiano Azzolini, Stefano Ferilli, Riccardo Zese, Fabrizio Riguzzi, Elena Bellodi

Publication date: 22 February 2022

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

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

zbMATH Keywords

abductiondistribution semanticsprobabilistic logic programmingstatistical relational artificial intelligence

Mathematics Subject Classification ID

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

Related Items (2)

Lifted inference for statistical statements in probabilistic answer set programming ⋮ Statistical statements in probabilistic logic programming

Uses Software

• SOLAR
• ProbLog
• CP-logic
• XSB
• PrASP
• SCIFF
• cplint
• PRISM
• DeepProbLog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The distribution semantics for normal programs with function symbols
• Applying the information bottleneck to statistical relational learning
• Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
• Probabilistic logic
• Probabilistic Horn abduction and Bayesian networks
• Tableau reasoning for description logics and its extension to probabilities
• Probabilistic inductive constraint logic
• Probabilistic inductive logic programming. Theory and applications
• Markov logic networks
• A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics
• On Minimality and Integrity Constraints in Probabilistic Abduction
• Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
• Abductive Inference in Probabilistic Logic Programs
• XSB: Extending Prolog with Tabled Logic Programming
• Parallel Abductive Query Answering in Probabilistic Logic Programs
• CP-logic: A language of causal probabilistic events and its relation to logic programming
• Probabilistic reasoning with answer sets
• Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
• The Complexity of Enumeration and Reliability Problems
• The well-founded semantics for general logic programs
• Tabled evaluation with delaying for general logic programs
• The IFF proof procedure for abductive logic programming
• Abducing through negation as failure: stable models within the independent choice logic
• Computing LP^MLN using ASP and MLN solvers
• Structure learning of probabilistic logic programs by searching the clause space
• Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
• MAP Inference for Probabilistic Logic Programming
• Automated Reasoning with Analytic Tableaux and Related Methods
• Verifiable agent interaction in abductive logic programming
• Abductive Logic Programming
• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
• Logic Programming

This page was built for publication: Abduction with probabilistic logic programming under the distribution semantics