Ground Confluence Prover based on Rewriting Induction.
Takahito AotoYoshihito ToyamaPublished in: FSCD (2016)
Keyphrases
- proof search
- theorem proving
- inductive learning
- theorem prover
- program synthesis
- rewriting rules
- inductive logic programming
- rewrite rules
- machine learning
- explanation based learning
- conjunctive queries
- constructive induction
- rewrite systems
- version space
- termination analysis
- concept learning
- presburger arithmetic
- oblique decision trees
- rewriting systems
- query rewriting
- sequence prediction
- database
- inference rules
- relational databases
- real time