On the implementation of the probabilistic logic programming language ProbLog
From MaRDI portal
Recommendations
- On the semantics and complexity of probabilistic logic programs
- Probabilistic logic programming
- ProbLog Technology for Inference in a Probabilistic First Order Logic
- scientific article; zbMATH DE number 7649893
- Probabilistic inductive logic programming. Theory and applications
- scientific article; zbMATH DE number 7102019
- Probabilistic logic programming (PLP) 2016
- A new approach to hybrid probabilistic logic programs
- Algorithmic Learning Theory
- Probabilistic Inductive Logic Programming
Cited in
(40)- Compressing probabilistic Prolog programs
- Causal inference in cplint
- Planning in hybrid relational MDPs
- Learning to rank in PRISM
- A probabilistic interval-based event calculus for activity recognition
- Explanations as programs in probabilistic logic programming
- Probabilistic abstract argumentation frameworks, a possible world view
- Distributional logic programming for Bayesian knowledge representation
- Improving the efficiency of Gibbs sampling for probabilistic logical models by means of program specialization
- Probabilistic event calculus for event recognition
- ProbLog Technology for Inference in a Probabilistic First Order Logic
- Probabilistic inductive querying using \texttt{ProbLog}
- The distribution semantics for normal programs with function symbols
- Complex event processing over distributed probabilistic event streams
- Advances in integrative statistics for logic programming
- Compacting Boolean formulae for inference in probabilistic logic programming
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
- 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
- kLog: a language for logical and relational learning with kernels
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- Implementing a library for probabilistic programming using non-strict non-determinism
- Learning effect axioms via probabilistic logic programming
- Declarative probabilistic programming with Datalog
- Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
- Revising Probabilistic Prolog Programs
- Learning Probabilistic Logic Models from Probabilistic Examples (Extended Abstract)
- On the Efficient Execution of ProbLog Programs
- Analysis and Transformation of Constrained Horn Clauses for Program Verification
- A landscape and implementation framework for probabilistic rough sets using \textsc{ProbLog}
- Answer-set programs for reasoning about counterfactual interventions and responsibility scores for classification
- Online event recognition over noisy data streams
- Semirings for probabilistic and neuro-symbolic logic programming
- Exploiting uncertainty for querying inconsistent description logics knowledge bases
- Probabilistic answer set programming with discrete and continuous random variables
- Symbol grounding in neuro-symbolic AI: a gentle introduction to reasoning shortcuts
- Probabilistic (logic) programming concepts
- Bandit-based Monte-Carlo structure learning of probabilistic logic programs
- An OpenCL implementation of a forward sampling algorithm for CP-logic
This page was built for publication: On the implementation of the probabilistic logic programming language ProbLog
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3008407)
