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
(39)- Improving the efficiency of Gibbs sampling for probabilistic logical models by means of program specialization
- Learning to rank in PRISM
- Declarative probabilistic programming with Datalog
- Analysis and Transformation of Constrained Horn Clauses for Program Verification
- Semirings for probabilistic and neuro-symbolic logic programming
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
- A landscape and implementation framework for probabilistic rough sets using \textsc{ProbLog}
- Learning Probabilistic Logic Models from Probabilistic Examples (Extended Abstract)
- Probabilistic abstract argumentation frameworks, a possible world view
- Probabilistic answer set programming with discrete and continuous random variables
- A probabilistic logic programming event calculus
- Learning Effect Axioms via Probabilistic Logic Programming
- Inference and learning in probabilistic logic programs using weighted Boolean formulas
- A probabilistic interval-based event calculus for activity recognition
- Compacting Boolean formulae for inference in probabilistic logic programming
- The distribution semantics for normal programs with function symbols
- Complex event processing over distributed probabilistic event streams
- Distributional logic programming for Bayesian knowledge representation
- Probabilistic event calculus for event recognition
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- On the Efficient Execution of ProbLog Programs
- Explanations as programs in probabilistic logic programming
- Bandit-based Monte-Carlo structure learning of probabilistic logic programs
- Revising Probabilistic Prolog Programs
- Probabilistic (logic) programming concepts
- Compressing probabilistic Prolog programs
- Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
- Advances in integrative statistics for logic programming
- kLog: a language for logical and relational learning with kernels
- An OpenCL implementation of a forward sampling algorithm for CP-logic
- Probabilistic inductive querying using \texttt{ProbLog}
- Structure learning of probabilistic logic programs by searching the clause space
- ProbLog Technology for Inference in a Probabilistic First Order Logic
- Planning in hybrid relational MDPs
- Online event recognition over noisy data streams
- Answer-set programs for reasoning about counterfactual interventions and responsibility scores for classification
- Causal inference in cplint
- Exploiting uncertainty for querying inconsistent description logics knowledge bases
- Implementing a library for probabilistic programming using non-strict non-determinism
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)
