ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs.
Mathieu HuotAlexander K. LewVikash K. MansinghkaSam StatonPublished in: LICS (2023)
Keyphrases
- lower order
- higher order
- probabilistic logic
- high order
- probabilistic reasoning
- objective function
- probabilistic knowledge
- bayesian networks
- pairwise
- logical inference
- natural images
- knowledge representation
- low order
- reasoning systems
- causal networks
- recursive programs
- knowledge base
- automated reasoning
- reasoning process
- reasoning problems
- markov random field
- computational properties
- inference process
- spatial reasoning
- computer programs
- cervical cancer
- probabilistic model