Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation.
Kentaro KikuchiTakahito AotoIsao SasanoPublished in: PPDP (2019)
Keyphrases
- theorem proving
- rewriting systems
- automatic programming
- automated deduction
- first order logic
- term rewriting
- decision procedures
- consequence finding
- theorem prover
- inference rules
- parallel search
- proof planning
- logical inference
- automated reasoning
- proof procedure
- machine learning
- automated theorem proving
- rewriting rules
- geometry theorem proving
- transformation rules
- knowledge representation
- equational theories
- bayesian networks