An OpenCL implementation of a forward sampling algorithm for CP-logic

DOI10.1016/j.ijar.2015.05.008zbMath1344.68045OpenAlexW925369523MaRDI QIDQ900368

Joost Vennekens, Wiebe Van Ranst

Publication date: 22 December 2015

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

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

zbMATH Keywords

OpenCLMonte Carlo methodsprobabilistic logic programmingCP-logic

Mathematics Subject Classification ID

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

Uses Software

• ProbLog
• CP-logic
• PITA
• MCINTYRE
• PRISM

Cites Work

• Monte-Carlo algorithms for the planar multiterminal network reliability problem
• \(k\)-optimal: a novel approximate inference algorithm for ProbLog
• On the implementation of the probabilistic logic programming language ProbLog
• The PITA system: Tabling and answer subsumption for reasoning under uncertainty
• CP-logic: A language of causal probabilistic events and its relation to logic programming
• CP-Logic Theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods
• Monte-Carlo approximation algorithms for enumeration problems
• The well-founded semantics for general logic programs
• Abducing through negation as failure: stable models within the independent choice logic
• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An OpenCL implementation of a forward sampling algorithm for CP-logic