Meeting of the Association for Symbolic Logic: Chicago, 1985.
Andreas BlassLouise HayPeter G. HinmanPublished in: J. Symb. Log. (1986)
Keyphrases
- modal logic
- symbolic representation
- multi valued
- classical logic
- connectionist learning
- asynchronous circuits
- predicate logic
- sound and complete axiomatization
- neural network
- neural learning
- binary decision diagrams
- computational properties
- connectionist models
- expressive power
- computer algebra
- symbolic description
- information systems
- artificial intelligence