Meeting of the Association for Symbolic Logic: Stanford, California, 1985.
Jon BarwiseSolomon FefermanDavid IsraelPublished in: J. Symb. Log. (1986)
Keyphrases
- automated reasoning
- logic programming
- modal logic
- classical logic
- multi valued
- high level
- los angeles
- sound and complete axiomatization
- connectionist systems
- meeting room
- proof theory
- deontic logic
- predicate logic
- asynchronous circuits
- nonmonotonic logics
- logical framework
- logic synthesis
- connectionist learning
- symbolic representation
- expressive power
- data sets