The following pages link to IBAL (Q20941):
Displaying 27 items.
- Computable de Finetti measures (Q764273) (← links)
- Reconstructing force-dynamic models from video sequences (Q814526) (← links)
- Probabilistic modelling, inference and learning using logical theories (Q841641) (← links)
- Probabilistic (logic) programming concepts (Q894692) (← links)
- Formalization of the standard uniform random variable (Q995466) (← links)
- Structured machine learning: the next ten years (Q1009285) (← links)
- PR-OWL - a language for defining probabilistic ontologies (Q1679648) (← links)
- The complexity of Bayesian networks specified by propositional and relational languages (Q1711881) (← links)
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control (Q1726305) (← links)
- A new approach for conditioning process-based geologic models to well data (Q1789191) (← links)
- The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws (Q2283277) (← links)
- Probabilities on sentences in an expressive logic (Q2446673) (← links)
- An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages (Q2802487) (← links)
- A model-learner pattern for bayesian reasoning (Q2931816) (← links)
- Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) (Q2942772) (← links)
- The magic of logical inference in probabilistic programming (Q3087451) (← links)
- On Applicative Similarity, Sequentiality, and Full Abstraction (Q3449626) (← links)
- Computable Exchangeable Sequences Have Computable de Finetti Measures (Q3576054) (← links)
- Formalization of Continuous Probability Distributions (Q3608759) (← links)
- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function (Q3608890) (← links)
- (Q3632898) (← links)
- (Q4420276) (← links)
- (Q4637032) (← links)
- A Survey of Directed Entity-Relation--Based First-Order Probabilistic Languages (Q5178091) (← links)
- A probabilistic language based upon sampling functions (Q5276144) (← links)
- Measure Transformer Semantics for Bayesian Machine Learning (Q5891171) (← links)
- Measure Transformer Semantics for Bayesian Machine Learning (Q5892490) (← links)
