Logic Machine Architecture: Kernel Funtions.

Ewing L. Lusk William McCune Ross A. Overbeek

Published in: CADE (1982)

Keyphrases

real time
multiprocessor database
management system
logic programming
data sets
logic synthesis
reasoning engine
multi valued
software architecture
similarity function
modal logic
network architecture
expert systems
kernel learning
support vector
similarity measure
face recognition