A Hybrid Approach to Online and Offline Partial Evaluation.

Eijiro Sumii Naoki Kobayashi

Published in: High. Order Symb. Comput. (2001)

Keyphrases

partial evaluation
explanation based generalization
real time
online learning
database
database systems
data sets
data mining
general purpose
first order logic