Universal Logic Modules and Their Applications.
Stephen S. YauCalvin K. TangPublished in: IEEE Trans. Computers (1970)
Keyphrases
- multi valued
- classical logic
- logic programming
- modal logic
- genetic algorithm
- building blocks
- neural network
- modular structure
- functional modules
- knowledge structures
- knowledge representation
- data sets
- automated reasoning
- artificial intelligence
- real world
- modular architecture
- delay insensitive
- kolmogorov complexity
- sound and complete axiomatization