Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice.
Alejandro AguirreLars BirkedalPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- probabilistic logic
- probabilistic knowledge
- logical structure
- monotonicity constraints
- markov chain
- information retrieval
- logical reasoning
- situation calculus
- uncertain data
- probabilistic model
- bayesian networks
- data sets
- semantic relations
- conditional probabilities
- post processing
- causal relations
- truth values
- social networks
- probabilistic relational
- logical theories