On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics.

Ian Pratt-Hartmann

Published in: Bull. Symb. Log. (2008)

Keyphrases

computational complexity
closely related
np hard
worst case
np complete
database
data sets
modal logic
decision problems
special case
inference rules
computationally efficient
multiscale
computer vision
information retrieval
data mining
real time