Testing QCA Modular Logic.
Sayeeda SultanaShahriar Al-ImamKatarzyna RadeckaPublished in: ICECS (2006)
Keyphrases
- cellular automata
- derivation rules
- logic programming
- modal logic
- modular structure
- knowledge representation
- automated reasoning
- asynchronous circuits
- classical logic
- test cases
- video sequences
- software testing
- machine learning
- multi valued
- computational properties
- defeasible logic
- deontic logic
- test set
- proof theory
- genetic algorithm