Co-induction Simply - Automatic Co-inductive Proofs in a Program Verifier.
K. Rustan M. LeinoMichal MoskalPublished in: FM (2014)
Keyphrases
- functional programs
- inductive learning
- inductive logic programming
- program synthesis
- machine learning
- computer programs
- recursive programs
- constructive induction
- inductive concept learning
- inductive inference
- inductive reasoning
- semi automatic
- concept learning
- logic programs
- domain knowledge
- program execution
- background knowledge
- data driven
- knowledge base
- explanation based learning
- rule induction
- fully automatic
- artificial intelligence
- neural network
- knowledge representation