General synthetic domain theory - a logical approach.

Bernhard Reus Thomas Streicher

Published in: Math. Struct. Comput. Sci. (1999)

Keyphrases

domain theory
special case
explanation based learning
version spaces
inductive learning
domain specific knowledge
domain knowledge
database
knowledge acquisition
explanation based generalization
data sets
decision trees
lazy learning
knowledge based neural networks