An OpenCL implementation of a forward sampling algorithm for CP-logic
type: Item
instance of: scholarly article
title: An OpenCL implementation of a forward sampling algorithm for CP-logic
zbMATH Open document ID: 1344.68045
author: Wiebe Van Ranst
author: Joost Vennekens
published in: International Journal of Approximate Reasoning
publication date: 2015-12-22T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T37
zbMATH DE Number: 6523300
zbMATH Keywords: probabilistic logic programming
zbMATH Keywords: CP-logic
zbMATH Keywords: OpenCL
zbMATH Keywords: Monte Carlo methods
describes a project that uses: ProbLog
describes a project that uses: MCINTYRE
describes a project that uses: PITA
describes a project that uses: CP-logic
describes a project that uses: PRISM
MaRDI profile type: Publication
full work available at URL: j.ijar.2015.05.008
OpenAlex ID: W925369523
cites work: Monte-Carlo algorithms for the planar multiterminal network reliability problem
cites work: Monte-Carlo approximation algorithms for enumeration problems
cites work: On the implementation of the probabilistic logic programming language ProbLog
cites work: Q3602746
cites work: CP-Logic Theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods
cites work: Abducing through negation as failure: stable models within the independent choice logic
cites work: \(k\)-optimal: a novel approximate inference algorithm for ProbLog
cites work: Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
cites work: Q3005897
cites work: The PITA system: Tabling and answer subsumption for reasoning under uncertainty
cites work: Q4533365
cites work: Q4888750
cites work: The well-founded semantics for general logic programs
cites work: CP-logic: A language of causal probabilistic events and its relation to logic programming
DOI: 10.1016/J.IJAR.2015.05.008
description: scientific article; zbMATH DE number 6523300