Compositional entailment checking for a fragment of separation logic.
Constantin EneaOndrej LengálMihaela SighireanuTomás VojnarPublished in: Formal Methods Syst. Des. (2017)
Keyphrases
- logic programming
- probabilistic logic
- modal logic
- logic programs
- maximum entropy
- logic based argumentation
- np complete
- verification method
- multi valued
- consistency checking
- data sets
- automata theoretic
- predicate logic
- classical logic
- set theory
- logical framework
- truth values
- probabilistic knowledge
- nonmonotonic reasoning
- recognizing textual entailment
- integrity constraints
- database