An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic.
Quang Loc LeXuan-Bach D. LePublished in: CoRR (2022)
Keyphrases
- logic programming
- tableau calculus
- probabilistic logic
- knowledge base
- computational properties
- knowledge representation
- fixed point semantics
- description logics
- logic programs
- automata theoretic
- proof procedure
- logic based argumentation
- neural network
- deontic logic
- probabilistic knowledge
- textual entailment
- multi valued
- probabilistic reasoning
- search procedure
- genetic algorithm