Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

We study the semantic foundation of expressive probabilistic programming languages, that support higher-order functions, continuous distributions, and soft constraints (such as Anglican, Church, and Venture). We define a metalanguage (an idealised version of Anglican) for probabilistic computation w...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Yang, H, Staton, S, Wood, F, Heunen, C, Kammar, O
Formáid:	Conference item
Foilsithe / Cruthaithe:	Association for Computing Machinery 2016

Míreanna comhchosúla

A convenient category for higher-order probability theory
de réir: Heunen, C, et al.
Foilsithe / Cruthaithe: (2017)

Commutative semantics for probabilistic programming
de réir: Staton, S
Foilsithe / Cruthaithe: (2017)

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

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)

Denotational validation of higher-order Bayesian inference
de réir: Scibior, A, et al.
Foilsithe / Cruthaithe: (2018)

On probabilistic termination of functional programs with continuous distributions
de réir: Beutner, R, et al.
Foilsithe / Cruthaithe: (2021)

Automatic inference for higher-order probabilistic programs
de réir: Paige, T
Foilsithe / Cruthaithe: (2016)

Higher order automatic differentiation of higher order functions
de réir: Huot, M, et al.
Foilsithe / Cruthaithe: (2022)

Higher Order Automatic Differentiation of Higher Order Functions
de réir: Mathieu Huot, et al.
Foilsithe / Cruthaithe: (2022-03-01)

On the Termination Problem for Probabilistic Higher-Order Recursive Programs
de réir: Naoki Kobayashi, et al.
Foilsithe / Cruthaithe: (2020-10-01)

𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes
de réir: Sherman, Benjamin, et al.
Foilsithe / Cruthaithe: (2021)

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

On Higher-Order Probabilistic Subrecursion
de réir: Flavien Breuvart, et al.
Foilsithe / Cruthaithe: (2021-12-01)

Extensional Semantics for Higher-Order Logic Programs with Negation
de réir: Panos Rondogiannis, et al.
Foilsithe / Cruthaithe: (2018-06-01)

Probabilistic Logic Programming with Conditional Constraints
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2001)

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

Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
de réir: Henning Kerstan, et al.
Foilsithe / Cruthaithe: (2013-12-01)

Higher-order semantics for quantum programming languages with classical control
de réir: Atzemoglou, GP
Foilsithe / Cruthaithe: (2012)

Game Semantics Based Equivalence Checking of Higher−Order Programs
de réir: Hopkins, D
Foilsithe / Cruthaithe: (2012)

Game semantics based equivalence checking of higher-order programs
de réir: Hopkins, D, et al.
Foilsithe / Cruthaithe: (2012)

Many−Valued First−Order Logics with Probabilistic Semantics
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (1999)

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

A Probabilistic Higher-order Fixpoint Logic
de réir: Yo Mitani, et al.
Foilsithe / Cruthaithe: (2021-12-01)

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

Concrete categories and higher-order recursion
de réir: Matache, C, et al.
Foilsithe / Cruthaithe: (2022)

Higher Order Unification and the Semantics of Focus
de réir: Pulman, S
Foilsithe / Cruthaithe: (1993)

Semantics of Higher-Order Recursion Schemes
de réir: Jiri Adamek, et al.
Foilsithe / Cruthaithe: (2011-04-01)

Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
de réir: Angelos Charalambidis, et al.
Foilsithe / Cruthaithe: (2015-09-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)

Categorical semantics for arrows
de réir: Jacobs, B, et al.
Foilsithe / Cruthaithe: (2009)

Categorical semantics for arrows
de réir: Jacobs, B, et al.
Foilsithe / Cruthaithe: (2009)

Modified converse duality for multiobjective higher order Wolfe type dual program with cone constraints
de réir: Sethi Sonali, et al.
Foilsithe / Cruthaithe: (2023-01-01)

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)

Local Soft Constraints in Distributed Energy Scheduling
de réir: Astrid Nieße, et al.
Foilsithe / Cruthaithe: (2016-10-01)