Commutative semantics for probabilistic programming

Commutative semantics for probabilistic programming

We show that a measure-based denotational semantics for probabilistic programming is commutative. The idea underlying probabilistic programming languages (Anglican, Church, Hakaru, ...) is that programs express statistical models as a combination of prior distributions and likelihood of observations...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Staton, S
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer, Berlin, Heidelberg 2017

Míreanna comhchosúla

Compositional semantics for probabilistic programs with exact conditioning
de réir: Stein, D, et al.
Foilsithe / Cruthaithe: (2021)

Probabilistic programming semantics for name generation
de réir: Sabok, M, et al.
Foilsithe / Cruthaithe: (2021)

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
de réir: Yang, H, et al.
Foilsithe / Cruthaithe: (2016)

Probabilistic programming with exact conditions
de réir: Stein, D, et al.
Foilsithe / Cruthaithe: (2024)

Coalgebraic Semantics for Probabilistic Logic Programming
de réir: Tao Gu, et al.
Foilsithe / Cruthaithe: (2021-04-01)

A domain theory for statistical probabilistic programming
de réir: Vákár, M, et al.
Foilsithe / Cruthaithe: (2019)

Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (1999)

Exploiting semantic commutativity in hardware speculation
de réir: Zhang, Guowei, et al.
Foilsithe / Cruthaithe: (2017)

Expressiveness of Commutative Quantum Circuits: A Probabilistic Approach
de réir: Jorge M. Ramirez, et al.
Foilsithe / Cruthaithe: (2024-01-01)

ADEV: Sound Automatic Differentiation of Expected Values of probabilistic programs
de réir: Lew, AK, et al.
Foilsithe / Cruthaithe: (2023)

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2007)

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs
de réir: Lew, Alexander K., et al.
Foilsithe / Cruthaithe: (2023)

Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2008)

Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2001)

Monads for measurable queries in probabilistic databases
de réir: Dash, S, et al.
Foilsithe / Cruthaithe: (2021)

Algorithmic probabilistic game semantics
de réir: Kiefer, S, et al.
Foilsithe / Cruthaithe: (2013)

Semantic Probabilistic Inference of Predictions
de réir: E. E. Vityaev
Foilsithe / Cruthaithe: (2017-08-01)

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
de réir: Robert W. J. Furber, et al.
Foilsithe / Cruthaithe: (2015-06-01)

Individual Commute Time Recognition Based on the Hierarchical Semantic Model
de réir: Wei Liu, et al.
Foilsithe / Cruthaithe: (2020-01-01)

Termination and semantics of probabilistic lambda calculus
de réir: Kenyon-Roberts, A
Foilsithe / Cruthaithe: (2024)

Quantitative Automata under Probabilistic Semantics
de réir: Krishnendu Chatterjee, et al.
Foilsithe / Cruthaithe: (2019-08-01)

Similarity Semantics and Building Probabilistic Semantic Maps from Parallel Texts
de réir: Bernhard Wälchli
Foilsithe / Cruthaithe: (2010-01-01)

Verification of semantic commutativity conditions and inverse operations on linked data structures
de réir: Kim, Deokhwan, et al.
Foilsithe / Cruthaithe: (2012)

Verification of Semantic Commutativity Conditions and Inverse Operations on Linked Data Structures
de réir: Kim, Deokhwan, et al.
Foilsithe / Cruthaithe: (2010)

Verification of semantic commutativity conditions and inverse operations on linked data structures
de réir: Kim, Deokhwan, Ph. D. Massachusetts Institute of Technology.
Foilsithe / Cruthaithe: (2012)

On the Probabilistic Latent Semantic Analysis Generalization as the Singular Value Decomposition Probabilistic Image
de réir: Pau Figuera Vinué, et al.
Foilsithe / Cruthaithe: (2020-06-01)

Multimodal Semantic SLAM with Probabilistic Data Association
de réir: Doherty, Kevin, et al.
Foilsithe / Cruthaithe: (2022)

Multimodal Semantic SLAM with Probabilistic Data Association
de réir: Doherty, Kevin, et al.
Foilsithe / Cruthaithe: (2021)

An Approach to Probabilistic Data Integration for the Semantic Web
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2006)

Convex language semantics for nondeterministic probabilistic automata
de réir: Van Heerdt, G, et al.
Foilsithe / Cruthaithe: (2018)

An Approach to Probabilistic Data Integration for the Semantic Web
de réir: Cali, A, et al.
Foilsithe / Cruthaithe: (2008)

An Approach to Probabilistic Data Integration for the Semantic Web
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2008)

Probabilistic Distributional Semantics with Latent Variable Models
de réir: Diarmuid Ó Séaghdha, et al.
Foilsithe / Cruthaithe: (2021-03-01)

Probabilistic and semantic descriptions of image manifolds and their applications
de réir: Peter Tu, et al.
Foilsithe / Cruthaithe: (2023-11-01)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
de réir: Ackerman, NL, et al.
Foilsithe / Cruthaithe: (2024)

Probabilistic data analysis with probabilistic programming
de réir: Saad, Feras Ahmad Khaled
Foilsithe / Cruthaithe: (2018)

Probabilistic programming /
de réir: 314398 Vadja, Stefan
Foilsithe / Cruthaithe: (1972)

Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets
de réir: Ackerman, Nate, et al.
Foilsithe / Cruthaithe: (2024)