On Automated Lemma Generation for Separation Logic with Inductive Definitions.
Constantin EneaMihaela SighireanuZhilin WuPublished in: CoRR (2015)
Keyphrases
- deductive reasoning
- classical logic
- logic programming
- machine learning
- generation process
- multi valued
- inductive learning
- inductive reasoning
- fully automated
- abductive reasoning
- inductive inference
- modal logic
- data driven
- johnson lindenstrauss
- epistemic logic
- fixed point semantics
- data mining
- formal theory
- set theory
- defeasible logic
- semi automated
- concept learning
- model checking
- information systems
- learning algorithm