PRISM
From MaRDI portal
swMATH23359MaRDI QIDQ35132FDOQ35132
Author name not available (Why is that?)
Official website: http://rjida.meijo-u.ac.jp/prism/
Cited In (93)
- A survey of directed entity-relation-based first-order probabilistic languages
- P-log: refinement and a new coherency condition
- Symbolic DNN-Tuner
- Title not available (Why is that?)
- Abductive Logic Grammars
- On the probability and cost of ignorance, inconsistency, nonsense and more
- xclingo
- Symbolic DNN-tuner
- Title not available (Why is that?)
- Distributional logic programming for Bayesian knowledge representation
- Explanations as programs in probabilistic logic programming
- Constructing generative logical models for optimisation problems using domain knowledge
- eThor
- Structured machine learning: the next ten years
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
- DeepCoder
- 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
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
- Identification of biological transition systems using meta-interpreted logic programs
- Reference classes and relational learning
- Statistical model checking of stochastic component-based systems
- An approximate likelihood perspective on ABC methods
- A new approach to hybrid probabilistic logic programs
- Stochastic relational processes: efficient inference and applications
- Timbuk
- NETWORKINFERENCE
- CP-logic
- ProbLog
- PITA
- ATGen
- YAP-Prolog
- Church
- IBAL
- ProbView
- f2lp
- kLog
- SDE Toolbox
- FPsolve
- LBS
- SPOOK
- PrologCheck
- A new probabilistic constraint logic programming language based on a generalised distribution semantics
- Probabilistic (logic) programming concepts
- 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
- Probabilistic inductive constraint logic
- An OpenCL implementation of a forward sampling algorithm for CP-logic
- Learning failure-free PRISM programs
- Title not available (Why is that?)
- AIspace
- FactorBase
- SMProbLog
- Approximate Bayesian Computation for the Parameters of PRISM Programs
- A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
- Markov logic networks
- Lifted discriminative learning of probabilistic logic programs
- 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
- kProbLog: an algebraic Prolog for kernel programming
- A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics
This page was built for software: PRISM