EXPSPACE-Complete Variant of Guarded Fragment with Transitivity.

Emanuel Kieronski

Published in: STACS (2002)

Keyphrases

pspace complete
np complete
satisfiability problem
temporal logic
database
artificial intelligence
conjunctive queries
guarded fragment
relational databases
state space
model checking
road network