A Model of Intuitionistic Affine Logic From Stable Domain Theory.

Torben Braüner

Published in: ICALP (1994)

Keyphrases

high level
learning algorithm
training set
prior knowledge
training examples
explanation based learning