PITA
From MaRDI portal
Cited in
(46)- Viterbi training in PRISM
- A functional account of probabilistic programming with possible worlds. Declarative pearl
- Probabilistic abstract argumentation frameworks, a possible world view
- scientific article; zbMATH DE number 7453105 (Why is no real title available?)
- Learning Effect Axioms via Probabilistic Logic Programming
- The distribution semantics for normal programs with function symbols
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
- WHIRL
- CP-logic
- ProbLog
- YAP-Prolog
- IBAL
- HermiT
- SPOOK
- foxPSL
- XSB
- PRISM
- Datafun
- BLOG
- cplint
- MCINTYRE
- ClaimEval
- HyPER
- NoHR
- KL-ONE
- PFLP
- FASILL
- FactorBase
- HgMUS
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- Inference in probabilistic logic programs using lifted explanations
- Bandit-based Monte-Carlo structure learning of probabilistic logic programs
- Probabilistic (logic) programming concepts
- An OpenCL implementation of a forward sampling algorithm for CP-logic
- BousiProlog
- Efficient Knowledge Compilation Beyond Weighted Model Counting
- Lifted discriminative learning of probabilistic logic programs
- RelNN
- Structure learning of probabilistic logic programs by searching the clause space
- Constraint-based inference in probabilistic logic programs
- Learning hierarchical probabilistic logic programs
- MAP inference for probabilistic logic programming
- Causal inference in cplint
- Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
- Hinge-loss Markov random fields and probabilistic soft logic
- Constructing generative logical models for optimisation problems using domain knowledge
This page was built for software: PITA
