Bounded Induction and Satisfaction Classes.

Henryk Kotlarski

Published in: Math. Log. Q. (1986)

Keyphrases

user satisfaction
information systems
evolutionary algorithm
active learning
knowledge acquisition
np complete
inductive logic programming
program synthesis