Probabilistic answer set programming with discrete and continuous random variables

DOI10.1017/S1471068424000437MaRDI QIDQ7008045zbMATH OpenFDO

Authors Damiano Azzolini, Fabrizio Riguzzi

Publication date 24 March 2025

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1471068424000437

zbMATH Keywords

statistical relational artificial intelligenceexact and approximate inferencealgebraic model countingcredal semanticshybrid probabilistic answer-set programming

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 1946853 (Why is no real title available?)
• scientific article; zbMATH DE number 3249395 (Why is no real title available?)
• A new probabilistic constraint logic programming language based on a generalised distribution semantics
• A semantics for hybrid probabilistic logic programs with function symbols
• Algebraic model counting
• Clingo goes linear constraints over reals and integers
• Complexity results for probabilistic answer set programming
• Computational Complexity of Probabilistic Turing Machines
• Efficient Knowledge Compilation Beyond Weighted Model Counting
• Extending ProbLog with Continuous Distributions
• Inference in probabilistic logic programs with continuous random variables
• Lifted inference for statistical statements in probabilistic answer set programming
• On the implementation of the probabilistic logic programming language ProbLog
• On the semantics and complexity of probabilistic logic programs
• Probabilistic reasoning with answer sets
• Probability and computing. Randomization and probabilistic techniques in algorithms and data analysis
• Solution Enumeration for Projected Boolean Search Problems
• Statistical statements in probabilistic logic programming
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
• The magic of logical inference in probabilistic programming
• \textsc{sm}ProbLog: stable model semantics in ProbLog for probabilistic argumentation

This page was built for publication: Probabilistic answer set programming with discrete and continuous random variables

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