Primitive Recursion for Rank-2 Inductive Types.

Andreas Abel Ralph Matthes

Published in: FICS (2003)

Keyphrases

machine learning
inductive learning
database
artificial intelligence
search algorithm
query processing
hidden markov models
web search
higher level
inductive logic programming
rule learning