Semantics of Probabilistic Programs using s-Finite Kernels in Coq.
Reynald AffeldtCyril CohenAyumu SaitoPublished in: CPP (2023)
Keyphrases
- probabilistic logic programs
- probabilistic model
- kernel function
- declarative semantics
- support vector
- fixpoint semantics
- kernel methods
- uncertain data
- dynamic logic
- programming language constructs
- bayesian networks
- probabilistic logic
- formal semantics
- logic programs
- stable models
- theorem prover
- semantic information
- generative model
- logic programming
- fixpoint
- control flow
- model theoretic
- stable model semantics
- complete axiomatization