Meeting of the Association for Symbolic Logic Washington, D.C., 1975.

James C. Owings Hilary Putnam Gerald E. Sacks

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

Keyphrases

modal logic
high level
formal theory
binary decision diagrams
predicate logic
defeasible logic
meeting room
neural learning
association analysis
real time
automated reasoning
data sets
computational properties
classical logic
expert systems
machine learning
symbolic description
connectionist learning