The Mechanization of Existence Proofs of Recursive Predicates.

Published in: CADE (1984)

Keyphrases

datalog programs
machine intelligence
query answering
real time
learning algorithm
recursive algorithm
recursive queries
iterative refinement
formal proofs
data sets
data mining
machine learning
knowledge base
fixed point