Meeting of the Association for Symbolic Logic: New York, 1975.
Paul BenacerrafSimon KochenGerald E. SacksPublished in: J. Symb. Log. (1977)
Keyphrases
- neural network
- symbolic representation
- multi valued
- logical framework
- data sets
- delay insensitive
- computer algebra
- neural learning
- predicate logic
- classical logic
- defeasible logic
- logic programming
- binary decision diagrams
- asynchronous circuits
- linear logic
- connectionist learning
- deontic logic
- connectionist models
- high level
- knowledge base
- real time
- meeting room