Meeting of the Association for Symbolic Logic.
Yiannis N. MoschovakisPublished in: J. Symb. Log. (1969)
Keyphrases
- classical logic
- logic programming
- multi valued
- set theory
- modal logic
- learning algorithm
- symbolic representation
- nonmonotonic logics
- computational properties
- data mining
- data sets
- sound and complete axiomatization
- computer algebra
- symbolic reasoning
- binary decision diagrams
- connectionist learning
- real time
- association analysis
- defeasible logic
- logical framework
- automated reasoning
- natural language
- high level
- social networks