Will Logicians be Replaced by Machines?

Published in: TACS (1991)

Keyphrases

real world
data mining
high level
artificial intelligence
social networks
similarity measure
data structure
support vector
data streams
lower bound
scheduling problem