Sequential logic rectifications with approximate SPFDs.

Yu-Shen Yang Subarna Sinha Andreas G. Veneris Robert K. Brayton Duncan Exon Smith

Published in: DATE (2009)

Keyphrases

stopping rules
modal logic
classical logic
automated reasoning
artificial intelligence
information systems
case study
artificial neural networks
computational properties
probabilistic logic
probabilistic model
linear logic
formal theory
databases
feature selection
genetic algorithm
information retrieval