An EXPTIME-Complete Entailment Problem in Separation Logic.
Nicolas PeltierPublished in: WoLLIC (2024)
Keyphrases
- exptime complete
- description logics
- pspace complete
- logic programming
- np complete
- data complexity
- tableau calculus
- probabilistic logic
- expressive power
- expressive description logics
- modal logic
- knowledge representation
- knowledge base
- query evaluation
- model checking
- decision problems
- automated reasoning
- logic programs
- logic based argumentation
- conjunctive queries
- reasoning tasks
- satisfiability problem
- query answering
- computational complexity