The Complexity of Boundedness for Guarded Logics.

Michael Benedikt Balder ten Cate Thomas Colcombet Michael Vanden Boom

Published in: LICS (2015)

Keyphrases

worst case
expressive power
information retrieval
computational cost
sufficient conditions
decision procedures
data mining
artificial intelligence
computational complexity
classical logic
lower complexity