IBAL - MaRDI portal

swMATH8945MaRDI QIDQ20941FDOQ20941

Author name not available (Why is that?)

Cited In (27)

Structured machine learning: the next ten years
PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
The magic of logical inference in probabilistic programming
Probabilistic modelling, inference and learning using logical theories
Probabilities on sentences in an expressive logic
Computable Exchangeable Sequences Have Computable de Finetti Measures
A model-learner pattern for bayesian reasoning
Formalization of the standard uniform random variable
Title not available (Why is that?)
An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages
Measure transformer semantics for Bayesian machine learning
Title not available (Why is that?)
A new approach for conditioning process-based geologic models to well data
Probabilistic (logic) programming concepts
Computable de Finetti measures
Formalization of Continuous Probability Distributions
A Survey of Directed Entity-Relation--Based First-Order Probabilistic Languages
A probabilistic language based upon sampling functions
On Applicative Similarity, Sequentiality, and Full Abstraction
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)
Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function
The logic of adaptive behavior. Knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains.
PR-OWL - a language for defining probabilistic ontologies
The complexity of Bayesian networks specified by propositional and relational languages
Reconstructing force-dynamic models from video sequences
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: IBAL