Connexive Class Logic.

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

Keyphrases

search algorithm
class labels
multi class classification
automated reasoning
predicate logic
data mining
database systems
inference rules
defeasible logic