Meeting of the Association for Symbolic Logic: Indianapolis.
J. Michael DunnLeonard LipshitzPublished in: J. Symb. Log. (1987)
Keyphrases
- logic programming
- classical logic
- automated reasoning
- logical framework
- modal logic
- symbolic representation
- database
- defeasible logic
- digital circuits
- predicate logic
- computational properties
- symbolic description
- symbolic reasoning
- proof theory
- speaker diarization
- symbolic data
- asynchronous circuits
- multi valued
- neural network
- data sets