of Universal Logic and Its Completeness.

Minxia Luo Huacan He

Published in: FSKD (1) (2005)

Keyphrases

multi valued
logic programming
automated reasoning
classical logic
kolmogorov complexity
database
data sets
genetic algorithm
knowledge base
clustering algorithm
data warehouse
data quality
probabilistic logic
logical framework
predicate logic
dynamic logic