Record: found
Abstract: not found
Book Chapter: not found

PSI: Exact Symbolic Inference for Probabilistic Programs

other

Author(s): Timon Gehr , Sasa Misailovic , Martin Vechev

Publication date (Online): July 13 2016

Publisher: Springer International Publishing

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 27

Record: found
Abstract: not found
Article: not found

A Language and Program for Complex Bayesian Modelling

D J Spiegelhalter, W. R. Gilks, A. Thomas (1994)

0 comments Cited 121 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Stan

Andrew Gelman, Daniel T Lee, Jiqiang Guo (2016)

0 comments Cited 108 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Approximating probabilistic inference in Bayesian belief networks is NP-hard

Paul Dagum, Michael Luby (1993)

0 comments Cited 81 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2016

Publication date (Online): July 13 2016

Pages: 62-83

DOI: 10.1007/978-3-319-41528-4_4

SO-VID: c8749113-799d-4d9b-ac90-890eba6a9d35

History

Data availability:

PSI: Exact Symbolic Inference for Probabilistic Programs

Read this book at

Related collections

ScienceOpen Research

Most cited references 27

A Language and Program for Complex Bayesian Modelling

Stan

Approximating probabilistic inference in Bayesian belief networks is NP-hard

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,688

Cited by 15