Probabilistic Programming Inference via Intensional Semantics.
Simon CastellanHugo PaquetPublished in: ESOP (2019)
Keyphrases
- bayesian networks
- inference process
- probabilistic reasoning
- probabilistic networks
- belief networks
- bayesian reasoning
- programming language
- logic programming
- probabilistic model
- generative model
- conceptual schema
- probabilistic logic
- probabilistic modeling
- logical inference
- formal semantics
- computer programming
- bayesian inference
- variable elimination
- factor graphs
- bayesian model
- programming environment
- bayes nets
- conceptual model
- semantic information
- databases
- probabilistic knowledge
- lexical semantics
- programming language constructs
- inference mechanism
- independence assumption
- programming course
- probability theory
- object oriented programming
- probabilistic inference
- uncertain data
- first order logic
- knowledge base