Extending Explanation-Based Generalization with Metalogic Programming.

S. Bertarello Stefania Costantini Gaetano Aurelio Lanzarone

Published in: GULP-PRODE (2) (1994)

Keyphrases

explanation based generalization
partial evaluation
domain theory
programming language
logic programming
higher order
modal logic
small number
object oriented programming
computer programming
data sets
learning algorithm
high dimensional
inductive learning