Keyphrases
- automated reasoning
- decision procedures
- complexity bounds
- query containment
- modal logic
- tree automata
- temporal logic
- satisfiability problem
- agent programming
- description logics
- query answering
- worst case
- conjunctive queries
- situation calculus
- transitive closure
- search algorithm
- np complete
- context free grammars
- finite automata
- game theoretic
- relational databases