Distribution-aware sampling of answer sets

DOI10.1007/978-3-030-00461-3_12MaRDI QIDQ6109614zbMATH OpenOpenAlexFDO

Authors Matthias Nickles

Publication date 28 July 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-00461-3_12

zbMATH Keywords

answer set programming (ASP)nonmonotonic probabilistic logic programmingprobabilistic programmingrelational artificial intelligence

Mathematics Subject Classification ID

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

Recommendations

• Complexity results for probabilistic answer set programming
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
• A new probabilistic constraint logic programming language based on a generalised distribution semantics
• Probabilistic logic programming with conditional constraints
• Sampling-based SAT/ASP multi-model optimization as a framework for probabilistic inference

Cited in

(3)

• Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
• Sampling-based SAT/ASP multi-model optimization as a framework for probabilistic inference
• An OpenCL implementation of a forward sampling algorithm for CP-logic

This page was built for publication: Distribution-aware sampling of answer sets

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