A model-learner pattern for bayesian reasoning

DOI10.1145/2429069.2429119MaRDI QIDQ2931816zbMATH OpenOpenAlexFDO

Authors Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Claudio Russo, Sriram K. Rajamani

Publication date 27 November 2014

Published in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2429069.2429119

zbMATH Keywords

machine learningprobabilistic programmingBayesian reasoningmodel-learner pattern

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1746697
• Le raisonnement bayésien
• scientific article; zbMATH DE number 2118904
• Basic Principles of Learning Bayesian Logic Programs
• Empirical Bayesian Learning
• A class of models for Bayesian predictive inference
• Bayesian model learning based on predictive entropy
• scientific article; zbMATH DE number 1222289
• A Tutorial on Learning with Bayesian Networks
• Bayesian learning of stochastic dynamical models

Cited in

(5)

• Measure transformer semantics for Bayesian machine learning
• Correctness of sequential Monte Carlo inference for probabilistic programming languages
• On Lexicographic Proof Rules for Probabilistic Termination
• On lexicographic proof rules for probabilistic termination
• A decision-theoretic approach for model interpretability in Bayesian framework

Describes a project that uses

Uses Software

• Filzbach
• trueskill
• FACTORIE
• Church
• IBAL
• CUDD

This page was built for publication: A model-learner pattern for bayesian reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2931816)