Meeting of the Association for Symbolic Logic: Madison 1982.
H. Jerome KeislerPublished in: J. Symb. Log. (1983)
Keyphrases
- logic programming
- classical logic
- symbolic representation
- multi party
- asynchronous circuits
- binary decision diagrams
- high level
- proof theory
- multi valued
- real time
- predicate logic
- defeasible logic
- symbolic reasoning
- neural learning
- epistemic logic
- digital circuits
- nonmonotonic logics
- set theory
- logical framework
- probability theory
- bayesian networks
- databases