A Simplified Form of Condensed Detachment.

Martin W. Bunder

Published in: J. Log. Lang. Inf. (1995)

Keyphrases

data sets
trade off
data mining
decision trees
database systems
multiscale
pattern recognition
multi agent systems
spatio temporal
evolutionary algorithm
scheduling problem