PRISM

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