Symbolic Semantics for Probabilistic Programs (extended version).
Erik VoogdEinar Broch JohnsenAlexandra SilvaZachary J. SusagAndrzej WasowskiPublished in: CoRR (2023)
Keyphrases
- probabilistic logic programs
- intermediate level
- probabilistic model
- stable model semantics
- semantic information
- neural network
- bayesian networks
- logic programming
- stable models
- derivation rules
- probabilistic logic
- formal semantics
- generative model
- dynamic logic
- programming language constructs
- logic programs
- fuzzy description logics
- uncertain data
- default reasoning
- control flow
- argumentation frameworks
- probabilistic knowledge
- probability theory
- normal logic programs
- declarative semantics
- conceptual spaces
- fixpoint semantics
- computer programs
- databases