Meeting of the Association for Symbolic Logic Leeds 1967.

M. H. Lob F. R. Drake John Derrick

Published in: J. Symb. Log. (1968)

Keyphrases

logic programming
modal logic
classical logic
multi valued
machine learning
proof theory
predicate logic
real time
automated reasoning
symbolic representation
hidden markov models
defeasible logic
digital circuits
case study
binary decision diagrams
deontic logic
logic synthesis
symbolic reasoning