Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions.
Jens KatelaanFlorian ZulegerPublished in: LPAR (2020)
Keyphrases
- deductive reasoning
- inductive learning
- logic based argumentation
- classical logic
- recursive programs
- modal logic
- logic programming
- inductive logic programming
- symbolic representation
- probabilistic logic
- database
- machine learning
- fixed point semantics
- binary decision diagrams
- defeasible logic
- computational properties
- logical framework
- inductive inference
- formal theory
- epistemic logic
- asynchronous circuits
- proof theory
- knowledge acquisition
- connectionist learning
- genetic algorithm
- concept learning