Normalization and Partial Evaluation.

Peter Dybjer Andrzej Filinski

Published in: APPSEM (2000)

Keyphrases

partial evaluation
explanation based generalization
normalization method
preprocessing
database
training set
pairwise
domain knowledge
logic programming