PRISM
From MaRDI portal
Cited in
(99)- P-log: refinement and a new coherency condition
- Structured machine learning: the next ten years
- A survey of directed entity-relation-based first-order probabilistic languages
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
- Predicate logic based image grammars for complex pattern recognition
- Probabilistic modelling, inference and learning using logical theories
- Variational Bayes via propositionalized probability computation in PRISM
- Abductive Logic Grammars
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
- Identification of biological transition systems using meta-interpreted logic programs
- On the probability and cost of ignorance, inconsistency, nonsense and more
- Symbolic DNN-tuner
- Reference classes and relational learning
- scientific article; zbMATH DE number 7453105 (Why is no real title available?)
- An approximate likelihood perspective on ABC methods
- Statistical model checking of stochastic component-based systems
- Distributional logic programming for Bayesian knowledge representation
- SOLAR
- TopLog
- HYPROLOG
- MEBN
- LOGEN
- WHIRL
- Timbuk
- NETWORKINFERENCE
- CP-logic
- ProbLog
- PITA
- ATGen
- YAP-Prolog
- Church
- IBAL
- ProbView
- f2lp
- kLog
- SDE Toolbox
- FPsolve
- LBS
- SPOOK
- PrologCheck
- Figaro
- kProbLog
- PrASP
- MayBMS
- SCIFF
- CoVaC
- BLOG
- cplint
- MCINTYRE
- Dyna
- kFOIL
- abc-sde
- CosmoPMC
- GOLEM
- msBayes
- onesamp
- PopABC
- REJECTOR
- Serial SimCoal
- synlik
- ProBase
- Tuffy
- UnBBayes
- Lantern
- RoughSets
- AIspace
- FactorBase
- Stochastic relational processes: efficient inference and applications
- A new approach to hybrid probabilistic logic programs
- Inference in probabilistic logic programs using lifted explanations
- Explanations as programs in probabilistic logic programming
- A new probabilistic constraint logic programming language based on a generalised distribution semantics
- Probabilistic (logic) programming concepts
- An OpenCL implementation of a forward sampling algorithm for CP-logic
- Learning failure-free PRISM programs
- Probabilistic inductive constraint logic
- scientific article; zbMATH DE number 7471710 (Why is no real title available?)
- A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
- Approximate Bayesian Computation for the Parameters of PRISM Programs
- Symbolic DNN-Tuner
- DeepCoder
- Markov logic networks
- Lifted discriminative learning of probabilistic logic programs
- SMProbLog
- DeepProbLog
- NeurASP
- NLProlog
- Structured probabilistic inference
- PRL: a probabilistic relational language
- Abduction with probabilistic logic programming under the distribution semantics
- kProbLog: an algebraic Prolog for machine learning
- ILP turns 20. Biography and future challenges
- Causal inference in cplint
- Negative probabilities in probabilistic logic programs
- Constructing generative logical models for optimisation problems using domain knowledge
- kProbLog: an algebraic Prolog for kernel programming
- A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics
- eThor
- xclingo
This page was built for software: PRISM
