Classical Gentzen-Type Methods in Propositional Many-Valued Logics.

Published in: ISMVL (2001)

Keyphrases

learning algorithm
modal logic
neural network
information retrieval
search algorithm
association rules
significant improvement
inference rules
horn clauses
classical methods