Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic.

Rasmus Ejlers Møgelberg Lars Birkedal Giuseppe Rosolini

Published in: MFPS (2005)

Keyphrases

domain theory
data sets
domain knowledge
inductive learning
information retrieval
similarity measure
prior knowledge
low level
natural language processing
logic programming
explanation based learning
knowledge based neural networks