Romeo and Juliet Is EXPTIME-Complete.
Harmender GahlawatJan Matyás KristanTomás VallaPublished in: MFCS (2024)
Keyphrases
- exptime complete
- description logics
- expressive power
- data complexity
- pspace complete
- expressive description logics
- np complete
- transitive closure
- decision problems
- query containment
- tree automata
- model checking
- satisfiability problem
- knowledge base
- query answering
- knowledge representation
- relational algebra
- conjunctive queries
- query evaluation
- reasoning tasks
- data exchange
- first order logic
- spatial databases
- decision procedures
- query language
- artificial intelligence