General Synthetic Domain Theory - A Logical Approach.

Bernhard Reus Thomas Streicher

Published in: Category Theory and Computer Science (1997)

Keyphrases

domain theory
special case
domain knowledge
explanation based learning
version spaces
inductive learning
training examples
data mining
relational databases
prior knowledge
small number
complex domains
lazy learning