Foundations of probabilistic programming

✍ Scribed by Alexandra Silva; Joost-Pieter Katoen; Gilles Barthe (eds.)

Publisher: Cambridge University Press
Year: 2021
Tongue: English
Leaves: 584
Category: Library

No coin nor oath required. For personal study only.

✦ Table of Contents

Cover
Half-title
Title page
Copyright information
Contents
Contributors
Preface
1 Semantics of Probabilistic Programming: A Gentle Introduction
2 Probabilistic Programs as Measures
3 An Application of Computable Distributions to the Semantics of Probabilistic Programs
4 On Probabilistic λ-Calculi
5 Probabilistic Couplings from Program Logics
6 Expected Runtime Analysis by Program Verification
7 Termination Analysis of Probabilistic Programs with Martingales
8 Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities
9 The Logical Essentials of Bayesian Reasoning
10 Quantitative Equational Reasoning
11 Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy
12 Quantitative Information Flow with Monads in Haskell
13 Luck: A Probabilistic Language for Testing
14 Tabular: Probabilistic Inference from the Spreadsheet
15 Programming Unreliable Hardware

📜 SIMILAR VOLUMES

Foundations of Probabilistic Programming

📁 Foundations of Probabilistic Programming

✍ Gilles Barthe 📂 Library 📅 2021 🏛 Cambridge University Press 🌐 English

What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their app

Foundations of Probabilistic Programming

📁 Foundations of Probabilistic Programming

✍ Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva 📂 Library 📅 2021 🏛 Cambridge University Press 🌐 English

Foundations of Probabilistic Logic Progr

📁 Foundations of Probabilistic Logic Programming. Languages, Semantics, Inference and Learning

✍ Fabrizio Riguzzi 📂 Library 📅 2018 🏛 River 🌐 English

Foundations of Probabilistic Logic Progr

📁 Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning

✍ Fabrizio Riguzzi 📂 Library 📅 2023 🏛 River Publishers 🌐 English

The computational foundations of Artificial Intelligence (AI) are supported by two comer stones: logics and Machine Leaming. Computationallogic has found its realization in a number of frameworks for logic-based approaches to knowledge representation and automated reasoning, such as Logic Program m

Foundations of Probabilistic Logic Progr

📁 Foundations of Probabilistic Logic Programming. Languages, Semantics, lnference and Learning

✍ Fabrizio Riguzzi 📂 Library 📅 2023 🏛 River Publishers, Routledge 🌐 English

Probabilistic Programming

📁 Probabilistic Programming

✍ Steven Vajda 📂 Library 📅 1972 🏛 Academic Press Inc 🌐 English

Probabilistic Programming discusses a high-level language known as probabilistic programming.<br><br>This book consists of three chapters. Chapter I deals with “wait-and-see problems that require waiting until an observation is made on the random elements, while Chapter II contains the analysis of