Foundations for Entailment Checking in Quantitative Separation Logic.
Kevin BatzIra FesefeldtMarvin JansenJoost-Pieter KatoenFlorian KeßlerChristoph MathejaThomas NollPublished in: ESOP (2022)
Keyphrases
- logic programming
- probabilistic logic
- modal logic
- artificial intelligence
- logic based argumentation
- qualitative and quantitative
- classical logic
- logic programs
- np complete
- quantitative and qualitative
- computational properties
- automated reasoning
- verification method
- linear logic
- default logic
- multi valued
- data sets
- predicate logic
- epistemic logic
- asynchronous circuits
- knowledge representation
- tableau calculus
- neural network