Meeting of the Association for Symbolic Logic.
Anil NerodeK. Jon BarwisePublished in: J. Symb. Log. (1973)
Keyphrases
- high level
- symbolic reasoning
- proof theory
- classical logic
- connectionist models
- linear logic
- multi valued
- defeasible logic
- computational properties
- symbolic description
- delay insensitive
- formal theory
- predicate logic
- set theory
- data sets
- logical framework
- inference rules
- modal logic
- logic programming
- case study
- website
- information retrieval