A constructive approach for threshold logic circuit synthesis.
Augusto NeutzlingMayler G. A. MartinsRenato P. RibasAndré Inácio ReisPublished in: ISCAS (2014)
Keyphrases
- classical logic
- asynchronous circuits
- threshold selection
- logic programming
- multi valued
- information systems
- query language
- modal logic
- automated reasoning
- sound and complete axiomatization
- data sets
- adaptive threshold
- deontic logic
- predicate logic
- defeasible logic
- computational properties
- logical framework
- bayesian networks
- decision trees
- artificial intelligence
- machine learning
- neural network