IBAL - MaRDI portal

swMATH8945MaRDI QIDQ20941FDOQ20941

Author name not available (Why is that?)

Cited In (27)

A survey of directed entity-relation-based first-order probabilistic languages
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
A model-learner pattern for bayesian reasoning
An application of computable distributions to the semantics of probabilistic programming languages
Formalization of the standard uniform random variable
On applicative similarity, sequentiality, and full abstraction
Title not available (Why is that?)
Measure transformer semantics for Bayesian machine learning
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 probabilistic language based upon sampling functions
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)
Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function
Computable exchangeable sequences have computable de Finetti measures
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
Hinge-loss Markov random fields and probabilistic soft logic
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