Annual Meeting of the Association for Symbolic Logic, New York City, December 1987.
Nicolas D. GoodmanHarold T. HodesCarl G. Jockusch Jr.Kenneth McAloonPublished in: J. Symb. Log. (1988)
Keyphrases
- modal logic
- logic programming
- high level
- classical logic
- predicate logic
- neural network
- data sets
- proof theory
- epistemic logic
- formal theory
- binary decision diagrams
- computational molecular biology
- connectionist models
- symbolic data
- linear logic
- nonmonotonic logics
- defeasible logic
- automated reasoning
- symbolic representation
- logic programs
- knowledge base
- genetic algorithm