Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions.
Wanyun SuZhilin WuMihaela SighireanuPublished in: CoRR (2024)
Keyphrases
- deductive reasoning
- micron cmos
- data structure
- logic programming
- modal logic
- inductive learning
- classical logic
- recursive programs
- inductive logic programming
- functional programs
- computational properties
- sound and complete axiomatization
- quantifier free
- deontic logic
- epistemic logic
- multi valued
- machine learning
- arithmetic operations
- inductive reasoning
- defeasible logic
- data sets
- rule learning
- knowledge representation