Lifted inference for statistical statements in probabilistic answer set programming

DOI10.1016/j.ijar.2023.109040OpenAlexW4387398550MaRDI QIDQ6064257

Damiano Azzolini, Fabrizio Riguzzi

Publication date: 12 December 2023

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

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

zbMATH Keywords

lifted inferencestatistical statementsprobabilistic answer-set programming

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An analysis of first-order logics of probability
• On the computational cost of disjunctive logic programming: Propositional case
• Learning hierarchical probabilistic logic programs
• Abduction with probabilistic logic programming under the distribution semantics
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
• A semantics for hybrid probabilistic logic programs with function symbols
• Complexity results for probabilistic answer set programming
• A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
• Lifted discriminative learning of probabilistic logic programs
• Statistical statements in probabilistic logic programming
• Lifted Variable Elimination: Decoupling the Operators from the Constraint Language
• Lifted Variable Elimination for Probabilistic Logic Programming
• The PITA system: Tabling and answer subsumption for reasoning under uncertainty
• Probabilistic reasoning with answer sets
• Solution Enumeration for Projected Boolean Search Problems
• ASP-Core-2 Input Language Format
• Multi-shot ASP solving with clingo
• Logic Programming
• Logics in Artificial Intelligence

This page was built for publication: Lifted inference for statistical statements in probabilistic answer set programming