Addendum to Early History of the Association for Symbolic Logic.
C. J. DucasseHaskell B. CurryPublished in: J. Symb. Log. (1963)
Keyphrases
- symbolic representation
- binary decision diagrams
- automated reasoning
- multi valued
- classical logic
- real time
- neural network
- information retrieval
- predicate logic
- logic programming
- modal logic
- connectionist learning
- symbolic description
- connectionist models
- defeasible logic
- probability theory
- search algorithm
- high level
- case study
- decision making
- real world
- data sets