Semantics of higher-order probabilistic programs with conditioning.
Fredrik DahlqvistDexter KozenPublished in: CoRR (2019)
Keyphrases
- higher order
- probabilistic logic programs
- higher order logic
- high order
- control flow
- normal logic programs
- database languages
- logic programming
- generative model
- probabilistic knowledge
- formal semantics
- low order
- declarative semantics
- programming language constructs
- stable model semantics
- dynamic logic
- probabilistic logic
- pairwise
- stable models
- logic programs
- markov random field
- probabilistic model
- probabilistic reasoning
- uncertain data
- conditional random fields
- semantic information
- natural images
- bayesian networks
- default reasoning
- answer sets
- programming language