Tensorial structure of the lifting doctrine in constructive domain theory.

Jonathan Sterling

Published in: CoRR (2023)

Keyphrases

domain theory
explanation based learning
domain knowledge
machine learning
data mining
prior knowledge
training examples
background knowledge
inductive learning