Cyclic Proofs for Arithmetical Inductive Definitions.
Anupam DasLukas MelgaardPublished in: FSCD (2023)
Keyphrases
- fixed point semantics
- inductive learning
- theorem proving
- inductive logic programming
- inductive reasoning
- machine learning
- mathematical proofs
- equational theories
- theorem prover
- knowledge representation
- inductive inference
- functional programs
- interactive theorem proving
- cyclic scheduling
- knowledge acquisition
- logic programs
- multi agent systems
- high level
- image processing