Related Books
Language: en
Pages: 583
Pages: 583
Type: BOOK - Published: 2020-12-03 - Publisher: Cambridge University Press
This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, securit
Language: en
Pages:
Pages:
Type: BOOK - Published: 2020-12-03 - Publisher: Cambridge University Press
What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary qu
Language: en
Pages: 422
Pages: 422
Type: BOOK - Published: 2022-09-01 - Publisher: CRC Press
Probabilistic Logic Programming extends Logic Programming by enabling the representation of uncertain information by means of probability theory. Probabilistic
Language: en
Pages: 513
Pages: 513
Type: BOOK - Published: 2016-04-04 - Publisher: Cambridge University Press
This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
Language: en
Pages: 412
Pages: 412
Type: BOOK - Published: 2005 - Publisher: Springer Science & Business Media
Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused su