Meeting of the Association for Symbolic Logic: Washington, D. C., 1985.
Martin DavisE. G. K. López-EscobarWilfried SiegPublished in: J. Symb. Log. (1986)
Keyphrases
- artificial intelligence
- asynchronous circuits
- modal logic
- binary decision diagrams
- predicate logic
- defeasible logic
- connectionist learning
- connectionist models
- classical logic
- symbolic representation
- high level
- probabilistic logic
- computational properties
- data sets
- set theory
- multi valued
- logic programs
- symbolic data
- multi agent systems
- delay insensitive
- san francisco
- symbolic description
- meeting room