Meeting of the Association for Symbolic Logic: Jerusalem, Israel, 1975.
Haim GaifmanAzriel LevyGert H. MullerPublished in: J. Symb. Log. (1977)
Keyphrases
- logic programming
- multi valued
- modal logic
- multi party
- epistemic logic
- logical framework
- predicate logic
- meeting room
- deontic logic
- classical logic
- automated reasoning
- defeasible logic
- binary decision diagrams
- formal theory
- symbolic representation
- asynchronous circuits
- connectionist models
- speaker diarization
- real time