Login / Signup
Foundations for Entailment Checking in Quantitative Separation Logic (extended version).
Kevin Batz
Ira Fesefeldt
Marvin Jansen
Joost-Pieter Katoen
Florian Keßler
Christoph Matheja
Thomas Noll
Published in:
CoRR (2022)
Keyphrases
</>
logic programming
probabilistic logic
logic programs
automated reasoning
logic based argumentation
np complete
classical logic
data sets
artificial intelligence
natural language
quantitative and qualitative
autoepistemic logic
quantitative measures
textual entailment
derivation rules