Finite Axiomatizability Using Additional Predicates.

William Craig Robert L. Vaught

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

Keyphrases

artificial intelligence
user defined
data sets
genetic algorithm
information systems
feature selection
website
decision trees
three dimensional
data structure
expert systems
information technology
artificial neural networks
finite number
monotonicity constraints