Skolem Reduction Classes.

Warren D. Goldfarb Harry R. Lewis

Published in: J. Symb. Log. (1975)

Keyphrases

first order logic
neural network
real time
learning algorithm
class labels
multi agent
object classes
database
support vector machine
probabilistic model
information technology
expert systems
data analysis
data structure
image processing
genetic algorithm
information retrieval