Reasoning about "reasoning about reasoning": semantics and contextual equivalence for probabilistic programs with nested queries and recursion.
Yizhou ZhangNada AminPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- probabilistic knowledge
- qualitative reasoning
- spatial reasoning
- probabilistic logic
- probabilistic databases
- uncertain databases
- formal semantics
- probabilistic reasoning
- complete axiomatization
- default reasoning
- open world
- causal reasoning
- inference rules
- logic programming
- query processing
- context sensitive
- query evaluation
- reasoning tasks
- datalog programs
- probabilistic model
- knowledge base
- database query languages
- null values
- data sources
- complex objects
- spatial relations
- answer sets