Computability and recursion.

Robert I. Soare

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

Keyphrases

deductive databases
complex objects
datalog programs
transitive closure
artificial intelligence
knowledge discovery
databases
database
metadata
special case
prior knowledge
lower bound
query processing
nearest neighbor
collaborative filtering
domain specific
distributed systems