The disjunctive decomposition of logic functions.

Valeria Bertacco Maurizio Damiani

Published in: ICCAD (1997)

Keyphrases

multi valued
logic programming
data mining
modal logic
basis functions
learning algorithm
case study
decision trees
artificial intelligence
temporal logic
theorem proving
wavelet packet
real time
decomposition method
probabilistic logic
defeasible logic
hierarchical decomposition
deontic logic