Annual Meeting of the Association for Symbolic Logic: Washington, DC 1977.
Richard BoydPublished in: J. Symb. Log. (1981)
Keyphrases
- modal logic
- logic programming
- sound and complete axiomatization
- predicate logic
- classical logic
- computational properties
- logical framework
- symbolic representation
- nonmonotonic logics
- binary decision diagrams
- proof theory
- multi valued
- knowledge representation
- machine learning
- digital circuits
- association rules
- asynchronous circuits
- computational molecular biology
- meeting room
- objective function