Church

swMATH8946MaRDI QIDQ20942FDOQ20942

Author name not available (Why is that?)

Cited In (54)

• Lifted Bayesian Filtering in Multiset Rewriting Systems
• The scope and limits of simulation in automated reasoning
• Probabilistic logic programming for hybrid relational domains
• PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
• Title not available (Why is that?)
• A Convenient Category for Higher-Order Probability Theory
• The magic of logical inference in probabilistic programming
• Probabilistic modelling, inference and learning using logical theories
• Probabilities on sentences in an expressive logic
• A functional account of probabilistic programming with possible worlds. Declarative pearl
• Semiring programming: a semantic framework for generalized sum product problems
• Computable Exchangeable Sequences Have Computable de Finetti Measures
• A model-learner pattern for bayesian reasoning
• Title not available (Why is that?)
• The EfProb Library for Probabilistic Calculations
• On Higher-Order Probabilistic Subrecursion
• Optimal speech motor control and token-to-token variability: a Bayesian modeling approach
• Probabilistic Programming Language and its Incremental Evaluation
• Probabilistic Termination by Monadic Affine Sized Typing
• Distributional logic programming for Bayesian knowledge representation
• Learning Probabilistic Logic Programs over Continuous Data
• \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
• Controlling procedural modeling programs with stochastically-ordered sequential Monte Carlo
• An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages
• Measure transformer semantics for Bayesian machine learning
• Probabilistic abductive logic programming using Dirichlet priors
• Title not available (Why is that?)
• Title not available (Why is that?)
• Commutative Semantics for Probabilistic Programming
• Title not available (Why is that?)
• Program logic for higher-order probabilistic programs in Isabelle/HOL
• Metric Reasoning About $$\lambda $$-Terms: The General Case
• Purely functional lazy non-deterministic programming
• A new probabilistic constraint logic programming language based on a generalised distribution semantics
• A new approach for conditioning process-based geologic models to well data
• Probabilistic (logic) programming concepts
• Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism
• TensorLog: A Probabilistic Database Implemented Using Deep-Learning Infrastructure
• Title not available (Why is that?)
• Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring
• Probabilistic Inference by Program Transformation in Hakaru (System Description)
• Computable de Finetti measures
• Beginner's luck: a language for property-based generators
• A denotational semantics for low-level probabilistic programs with nondeterminism
• RankPL: a qualitative probabilistic programming language
• Moment-based analysis of Bayesian network properties
• Planning in hybrid relational MDPs
• A generalization of hierarchical exchangeability on trees to directed acyclic graphs
• Structured learning modulo theories
• Herded Gibbs sampling
• The geometry of Bayesian programming
• Conditioning in probabilistic programming
• The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws
• Measure Transformer Semantics for Bayesian Machine Learning

This page was built for software: Church