Classifying topoi in synthetic guarded domain theory.

Daniele Palombi Jonathan Sterling

Published in: CoRR (2022)

Keyphrases

domain theory
explanation based learning
inductive learning
domain knowledge
explanation based generalization
domain specific knowledge
complex domains
background knowledge
knowledge based neural networks
lazy learning
case base
version spaces
real world
previously learned
training examples
version space
web pages