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