Meeting of the Association for Symbolic Logic.
Paul C. GilmoreDonald A. MartinElliott MendelsonPublished in: J. Symb. Log. (1975)
Keyphrases
- logic programming
- neural learning
- predicate logic
- databases
- neural network
- database
- set theory
- binary decision diagrams
- connectionist learning
- deductive reasoning
- proof theory
- natural deduction
- dynamic logic
- asynchronous circuits
- classical logic
- logical framework
- probabilistic logic
- multi valued
- modal logic
- high level
- information retrieval