An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic.

Quang Loc Le Xuan-Bach D. Le

Published in: FoSSaCS (2023)

Keyphrases

logic programming
tableau calculus
probabilistic logic
proof procedure
classical logic
knowledge base
modal logic
theorem proving
fixed point semantics
machine learning
artificial intelligence
answer sets
automated reasoning
logical framework
asynchronous circuits
recognizing textual entailment