On the Categorizing of Simply Separable Relations in Partial Four-Valued Logic.

Renren Liu Zhiwei Gong Fen Xu

Published in: ICNC (3) (2005)

Keyphrases

valued logic
truth values
classical logic
propositional logic
fuzzy logic
first order logic
fuzzy sets
background knowledge
logic programs
database
natural language
expressive power
knowledge base
automated reasoning
artificial intelligence
datalog programs
genetic algorithm
machine learning