A recursion-theoretic approach to NP.

Published in: Ann. Pure Appl. Log. (2011)

Keyphrases

computational complexity
np complete
deductive databases
np hard
complex objects
natural language
transitive closure
neural network
pattern recognition
artificial intelligence
decision making
decision trees
relational databases