Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning.
Matteo MioRalph SarkisValeria VignudelliPublished in: LICS (2021)
Keyphrases
- probability measures
- theorem proving
- htn planning
- probability distribution
- knowledge base
- cross entropy
- automated reasoning
- term rewriting
- metric space
- theorem prover
- probability theory
- model based reasoning
- reasoning systems
- qualitative reasoning
- equational theories
- legal reasoning
- probabilistic logic
- spatial reasoning
- distance function
- distance measure
- probabilistic model