Complete Cuboidal Sets in Axiomatic Domain Theory.

Marcelo P. Fiore Gordon D. Plotkin A. John Power

Published in: LICS (1997)

Keyphrases

domain theory
explanation based learning
version spaces
domain knowledge
inductive learning
complex domains
knowledge based neural networks
domain specific knowledge
background knowledge
lazy learning
training examples
version space
bayesian networks
case base
case based reasoning
constructive induction
e learning