Meeting of the Association for Symbolic Logic: San Diego, 1979.
Alfred B. ManasterThomas H. PayneDavid HarrahPublished in: J. Symb. Log. (1981)
Keyphrases
- san diego
- stanford university
- project highlights
- invited talk
- modal logic
- symbolic representation
- san diego supercomputer center
- state university
- classical logic
- multi valued
- logic programming
- symbolic description
- recent advances
- high level
- meeting room
- artificial intelligence
- neural network
- international conference