A probabilistic language based upon sampling functions

DOI10.1145/1040305.1040320zbMath1369.68083OpenAlexW2009776842MaRDI QIDQ5276144

Sungwoo Park, Sebastian Thrun, Frank Pfenning

Publication date: 14 July 2017

Published in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://figshare.com/articles/journal_contribution/A_probabilistic_language_based_upon_sampling_functions/6591221

zbMATH Keywords

probability distributionroboticssampling functionprobabilistic language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Artificial intelligence for robotics (68T40) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (14)

On bisimilarity in lambda calculi with continuous probabilistic choice ⋮ Probabilistic modelling, inference and learning using logical theories ⋮ Probabilistic operational semantics for the lambda calculus ⋮ Automation of Quantitative Information-Flow Analysis ⋮ Probabilistic reasoning in a classical logic ⋮ Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language ⋮ Proofs of randomized algorithms in Coq ⋮ A Type Theory for Probabilistic $$\lambda $$–calculus ⋮ Correctness of sequential Monte Carlo inference for probabilistic programming languages ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Formalization of the standard uniform random variable ⋮ An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages ⋮ Measure Transformer Semantics for Bayesian Machine Learning

Uses Software

• OCaml
• IBAL
• CARMEN
• FastSLAM

This page was built for publication: A probabilistic language based upon sampling functions