Primitive Recursion and the Chain Antichain Principle.

Alexander Kreuzer

Published in: Notre Dame J. Formal Log. (2012)

Keyphrases

complex objects
high level
deductive databases
database
artificial intelligence
knowledge base
learning environment
feature space
higher level
transitive closure