Research on the Similarity among Precomplete Sets Preserving m-ary Relations in Partial K-Valued Logic.

Published in: ISMVL (1999)

Keyphrases

truth values
valued logic
classical logic
inference rules
propositional logic
multi valued
genetic algorithm
neural network
machine learning
artificial neural networks
fuzzy logic
general purpose
model checking
horn clauses