IBAL
From MaRDI portal
Software:20941
swMATH8945MaRDI QIDQ20941FDOQ20941
Author name not available (Why is that?)
Official website: http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.1299
Cited In (38)
- 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
- Church
- FACTORIE
- Filzbach
- foxPSL
- A new approach for conditioning process-based geologic models to well data
- Probabilistic (logic) programming concepts
- PRISM
- BLOG
- PR-OWL
- Dyna
- ClaimEval
- HyPER
- Swift
- 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
