Meeting of the Association for Symbolic Logic.
John Alan RobinsonNorman M. MartinPublished in: J. Symb. Log. (1967)
Keyphrases
- modal logic
- meeting room
- logic programming
- classical logic
- neural network
- proof theory
- binary decision diagrams
- logical framework
- defeasible logic
- deontic logic
- computational properties
- multi valued
- symbolic representation
- data sets
- truth values
- connectionist models
- information retrieval
- computer algebra
- delay insensitive
- symbolic description
- machine learning
- connectionist systems