Belnap, Urquhart and Relevant Decidability & Complexity. "Das ist nicht Mathematik, das ist Theologie.".

Jaques Riche Robert K. Meyer

Published in: CSL (1998)

Keyphrases

worst case
computational complexity
lower bound
description logics
database
computational cost
space complexity
memory requirements
expressive power
closely related
higher level
data management
expert systems
objective function
decision trees
artificial intelligence
real world