On the implementation of the probabilistic logic programming language ProbLog
From MaRDI portal
Publication:3008407
DOI10.1017/S1471068410000566zbMath1220.68037OpenAlexW3105758438MaRDI QIDQ3008407
Angelika Kimmig, Vitor Costa, Luc De Raedt, Bart Demoen, Ricardo Rocha
Publication date: 15 June 2011
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068410000566
Related Items (25)
Compacting Boolean Formulae for Inference in Probabilistic Logic Programming ⋮ Distributional logic programming for Bayesian knowledge representation ⋮ The distribution semantics for normal programs with function symbols ⋮ Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics ⋮ Complex event processing over distributed probabilistic event streams ⋮ Explanations as programs in probabilistic logic programming ⋮ Causal inference in cplint ⋮ Probabilistic Event Calculus for Event Recognition ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Structure learning of probabilistic logic programs by searching the clause space ⋮ A probabilistic logic programming event calculus ⋮ Inference and learning in probabilistic logic programs using weighted Boolean formulas ⋮ Probabilistic (logic) programming concepts ⋮ Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism ⋮ A landscape and implementation framework for probabilistic rough sets using \textsc{ProbLog} ⋮ An OpenCL implementation of a forward sampling algorithm for CP-logic ⋮ Answer-set programs for reasoning about counterfactual interventions and responsibility scores for classification ⋮ Online event recognition over noisy data streams ⋮ Planning in hybrid relational MDPs ⋮ Learning Effect Axioms via Probabilistic Logic Programming ⋮ kLog: a language for logical and relational learning with kernels ⋮ Learning to rank in PRISM ⋮ A probabilistic interval-based event calculus for activity recognition ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Probabilistic abstract argumentation frameworks, a possible world view
Uses Software
This page was built for publication: On the implementation of the probabilistic logic programming language ProbLog
