Meeting of the Association for Symbolic Logic: New York 1979.
George BoolosSy D. FriedmanHarold HodesPublished in: J. Symb. Log. (1981)
Keyphrases
- high level
- modal logic
- symbolic representation
- automated reasoning
- multi valued
- social networks
- meeting room
- computer algebra
- asynchronous circuits
- epistemic logic
- binary decision diagrams
- association analysis
- set theory
- classical logic
- logic programming
- computational properties
- defeasible logic
- stock exchange
- predicate logic
- logical framework
- probabilistic logic
- boolean functions
- proof theory
- expert systems
- logic synthesis
- databases