IBAL

swMATH8945MaRDI QIDQ20941

No author found.

Related Items (27)

A probabilistic language based upon sampling functions ⋮ On Applicative Similarity, Sequentiality, and Full Abstraction ⋮ Probabilistic modelling, inference and learning using logical theories ⋮ Unnamed Item ⋮ A model-learner pattern for bayesian reasoning ⋮ Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) ⋮ PR-OWL - a language for defining probabilistic ontologies ⋮ Probabilistic (logic) programming concepts ⋮ Unnamed Item ⋮ The complexity of Bayesian networks specified by propositional and relational languages ⋮ Probabilities on sentences in an expressive logic ⋮ PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control ⋮ Computable Exchangeable Sequences Have Computable de Finetti Measures ⋮ A Survey of Directed Entity-Relation--Based First-Order Probabilistic Languages ⋮ A new approach for conditioning process-based geologic models to well data ⋮ Formalization of Continuous Probability Distributions ⋮ Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function ⋮ Formalization of the standard uniform random variable ⋮ The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws ⋮ Measure Transformer Semantics for Bayesian Machine Learning ⋮ An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages ⋮ Measure Transformer Semantics for Bayesian Machine Learning ⋮ Structured machine learning: the next ten years ⋮ The magic of logical inference in probabilistic programming ⋮ Computable de Finetti measures ⋮ Unnamed Item ⋮ Reconstructing force-dynamic models from video sequences

This page was built for software: IBAL