Semantics of higher-order probabilistic programs with conditioning.
Fredrik DahlqvistDexter KozenPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- higher order
- probabilistic logic programs
- higher order logic
- probabilistic model
- stable model semantics
- declarative semantics
- natural images
- high order
- logic programming
- pairwise
- formal semantics
- bayesian networks
- conditional random fields
- probabilistic logic
- generative model
- stable models
- logic programs
- markov random field
- lambda calculus
- control flow
- low order
- predicate calculus
- probabilistic knowledge
- lower order
- fixpoint semantics
- database query languages
- graphical models
- dynamic logic
- model theoretic
- fixpoint
- deductive databases