Church

swMATH8946MaRDI QIDQ20942

No author found.

Related Items (54)

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

This page was built for software: Church