Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions.

Jens Katelaan Florian Zuleger

Published 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