Meeting of the Association for Symbolic Logic Los Angeles 1971.
David KaplanPublished in: J. Symb. Log. (1971)
Keyphrases
- los angeles
- south east
- symbolic representation
- modal logic
- symbolic description
- real time
- automated reasoning
- logic programming
- multi valued
- classical logic
- high level
- defeasible logic
- nonmonotonic logics
- predicate logic
- neural learning
- meeting room
- hidden markov models
- natural language
- computational properties
- association analysis
- artificial intelligence
- machine learning
- neural network