Equivalence of inductive definitions and cyclic proofs under arithmetic.
Stefano BerardiMakoto TatsutaPublished in: LICS (2017)
Keyphrases
- fixed point semantics
- inductive learning
- theorem proving
- machine learning
- formal proofs
- theorem prover
- inductive inference
- inductive logic programming
- equational theories
- arithmetic operations
- data sets
- formal proof
- inductive reasoning
- equivalence relation
- concept learning
- knowledge representation
- rule learning
- floating point
- functional programs
- expert systems
- logic programming