The Kernel Strategy and Its Use for the Study of Combinatory Logic.

Published in: J. Autom. Reason. (1993)

Keyphrases

expert systems
modal logic
real time
data sets
databases
machine learning
search algorithm
logic programming
kernel methods
search strategy
inference rules