The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard.

Emanuel Kieronski

Published in: FoSSaCS (2003)

Keyphrases

guarded fragment
first order logic
transitive closure
expressive power
description logics
knowledge representation
incomplete information
machine learning
artificial intelligence
special case
query language
spatial databases
relational algebra