Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving.
Kangfeng YeSimon FosterJim WoodcockPublished in: RAMiCS (2021)
Keyphrases
- automated reasoning
- theorem proving
- automatic programming
- logical inference
- theorem prover
- decision procedures
- first order logic
- probabilistic reasoning
- reasoning tasks
- automated deduction
- proof procedure
- parallel search
- inference rules
- term rewriting
- geometry theorem proving
- automated theorem proving
- bayesian networks
- consequence finding
- probabilistic model
- proof planning
- knowledge representation and reasoning
- probability theory
- graphical models
- propositional satisfiability
- belief networks
- heuristic search
- machine learning
- equational theories
- data mining