PRISM

swMATH23359MaRDI QIDQ35132FDOQ35132

Author name not available (Why is that?)

Cited In (41)

• P-log: refinement and a new coherency condition
• Structured machine learning: the next ten years
• PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
• Predicate logic based image grammars for complex pattern recognition
• Title not available (Why is that?)
• 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
• kProbLog: An Algebraic Prolog for Kernel Programming
• A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics
• Identification of biological transition systems using meta-interpreted logic programs
• Symbolic DNN-tuner
• Reference classes and relational learning
• Title not available (Why is that?)
• Statistical model checking of stochastic component-based systems
• An approximate likelihood perspective on ABC methods
• Distributional logic programming for Bayesian knowledge representation
• A new approach to hybrid probabilistic logic programs
• Stochastic relational processes: efficient inference and applications
• Explanations as programs in probabilistic logic programming
• A new probabilistic constraint logic programming language based on a generalised distribution semantics
• Probabilistic (logic) programming concepts
• 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?)
• Approximate Bayesian Computation for the Parameters of PRISM Programs
• A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
• A Survey of Directed Entity-Relation--Based First-Order Probabilistic Languages
• Markov logic networks
• Lifted discriminative learning of probabilistic logic programs
• Structured probabilistic inference
• PRL: a probabilistic relational language
• Title not available (Why is that?)
• 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

This page was built for software: PRISM