Reconfigurable nanoscale logic cells : a comparison study.
Pierre-Emmanuel GaillardonFabien ClermidyIan O'ConnorRenaud DaviotPublished in: ICECS (2009)
Keyphrases
- modal logic
- low cost
- atomic force microscopy
- classical logic
- automated reasoning
- multi valued
- predicate logic
- computational properties
- sound and complete axiomatization
- microscope images
- microscopy images
- hardware implementation
- genetic algorithm
- defeasible logic
- real time
- truth values
- expressive power
- deontic logic
- mechanical properties
- multi objective evolutionary
- artificial intelligence