Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions.
Makoto TatsutaKoji NakazawaDaisuke KimuraPublished in: APLAS (2019)
Keyphrases
- formal proofs
- equational theories
- fixed point semantics
- inductive learning
- theorem prover
- symbolic representation
- machine learning
- knowledge representation
- inductive logic programming
- inductive reasoning
- connectionist models
- theorem proving
- evolutionary algorithm
- databases
- neural network
- formal proof
- data sets
- high level
- natural deduction
- decision procedures
- connectionist learning
- e learning
- logic programming