Enhancing Inductive Entailment Proofs in Separation Logic with Lemma Synthesis.
Quang Loc LePublished in: CoRR (2017)
Keyphrases
- functional programs
- logic programming
- natural deduction
- probabilistic logic
- cut elimination
- logic programs
- logic synthesis
- deductive reasoning
- sequent calculus
- inductive learning
- recursive programs
- proof search
- theorem proving
- knowledge representation
- logic based argumentation
- classical logic
- machine learning
- inductive logic programming
- functional language
- modal logic
- program synthesis
- theorem prover
- np complete
- maximum entropy
- inference rules
- predicate logic
- computational properties
- automated reasoning
- nonmonotonic reasoning
- textual entailment
- digital circuits
- inductive reasoning
- inductive inference
- proof procedure
- deontic logic
- formal proof
- probabilistic inductive logic programming
- johnson lindenstrauss