The following pages link to IBAL (Q20941):
Displaying 16 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)
