Effective Entailment Checking for Separation Logic with Inductive Definitions.

Jens Katelaan Christoph Matheja Florian Zuleger

Published in: TACAS (2) (2019)

Keyphrases

logic programming
machine learning
logic programs
np complete
data sets
neural network
information retrieval
learning algorithm
high quality
knowledge representation
inductive learning
theorem prover
propositional logic
automated reasoning
classical logic