Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions.

Wanyun Su Zhilin Wu Mihaela Sighireanu

Published 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