IBAL
From MaRDI portal
Cited in
(56)- A model-learner pattern for bayesian reasoning
- PR-OWL - a language for defining probabilistic ontologies
- The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws
- Formalization of the standard uniform random variable
- An application of computable distributions to the semantics of probabilistic programming languages
- Computable de Finetti measures
- Hinge-loss Markov random fields and probabilistic soft logic
- A survey of directed entity-relation-based first-order probabilistic languages
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
- On applicative similarity, sequentiality, and full abstraction
- Reconstructing force-dynamic models from video sequences
- Measure transformer semantics for Bayesian machine learning
- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function
- A probabilistic language based upon sampling functions
- MEBN
- WHIRL
- YACS
- CP-logic
- PITA
- Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)
- Probabilities on sentences in an expressive logic
- FluCaP
- Infer.NET
- Measure transformer semantics for Bayesian machine learning
- Church
- FACTORIE
- CARMEN
- trueskill
- SPOOK
- Filzbach
- foxPSL
- Hakaru
- PRISM
- KnowRob
- BLOG
- PR-OWL
- Dyna
- ClaimEval
- HyPER
- HBC
- Swift
- Blaise
- Dimple
- UnBBayes
- scientific article; zbMATH DE number 1964824 (Why is no real title available?)
- BayesOWL
- Computable exchangeable sequences have computable de Finetti measures
- The complexity of Bayesian networks specified by propositional and relational languages
- Structured machine learning: the next ten years
- Trio
- A new approach for conditioning process-based geologic models to well data
- The magic of logical inference in probabilistic programming
- The logic of adaptive behavior. Knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains.
- Probabilistic (logic) programming concepts
- Formalization of Continuous Probability Distributions
- Probabilistic modelling, inference and learning using logical theories
This page was built for software: IBAL
