Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
31
views
27
references
Top references
cited by
15
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,479
similar
All similar
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
Review
Review book
Invite someone to review
Bookmark
Cite as...
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
ScienceOpen Research
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
107
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:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 62
PSI: Exact Symbolic Inference for Probabilistic Programs
Similar content
2,479
Charmonium production in e+e- to \psi + X(c\bar c) and e+e- to D*D_J
Authors:
Clark Downum
,
Frank E. Close
Paul Scherrer Institute (PSI), 5232 Villigen, Switzerland
Authors:
Two-gluon form factor of the nucleon and \(J/\psi\) photoproduction
Authors:
Mark Strikman
,
Leonid F. Frankfurt
See all similar
Cited by
15
Securing Databases from Probabilistic Inference
Authors:
Marco Guarnieri
,
Srdjan Marinovic
,
David Basin
Probabilistic programming with densities in SlicStan: efficient, flexible, and deterministic
Authors:
Maria I. Gorinova
,
Andrew D. Gordon
,
Charles Sutton
An Introduction to Probabilistic Programming
Authors:
Jan-Willem Van de Meent
,
Brooks Paige
,
Hongseok Yang
…
See all cited by