On Inductive and Coinductive Proofs via Unfold/Fold Transformations.
Hirohisa SekiPublished in: LOPSTR (2009)
Keyphrases
- inductive learning
- rule learning
- inductive inference
- formal proof
- concept learning
- databases
- preserving transformations
- inductive reasoning
- theorem proving
- theorem prover
- knowledge representation
- computer vision
- machine learning
- artificial neural networks
- multi agent
- information retrieval
- geometric transformations
- rewrite rules
- natural deduction
- real world
- real time
- automated theorem provers
- mathematical proofs