Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984.
John T. BaldwinMatt KaufmannJulia F. KnightPublished in: J. Symb. Log. (1985)
Keyphrases
- logic programming
- computational properties
- proof theory
- machine learning
- real time
- symbolic description
- classical logic
- modal logic
- symbolic representation
- automated reasoning
- multi valued
- symbolic reasoning
- meeting room
- computer algebra
- speaker diarization
- dynamic logic
- asynchronous circuits
- deontic logic
- formal theory
- digital circuits
- probability theory
- learning algorithm