Login / Signup
Static logic implication with application to redundancy identification.
Jian-Kun Zhao
Elizabeth M. Rudnick
Janak H. Patel
Published in:
VTS (1997)
Keyphrases
</>
automatic identification
database
decision support
databases
data mining
artificial intelligence
multi agent
artificial neural networks
evolutionary algorithm
fuzzy logic
belief revision
multi valued
sound and complete axiomatization