The Problem of Finding a Strategy to Control Binary Paramodulation.

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

Keyphrases

inference rules
control system
neural network
data mining
search engine
information systems
video sequences
expert systems
search strategy
database
computer vision
clustering algorithm
data structure
multi class
optimal control
control method