Meeting of the Association for Symbolic Logic: Milwaukee, 1981.
Jon BarwiseRobert I. SoareTerrence MillarPublished in: J. Symb. Log. (1983)
Keyphrases
- modal logic
- logic programming
- information retrieval
- logic programs
- automated reasoning
- multi valued
- binary decision diagrams
- logical framework
- connectionist learning
- symbolic reasoning
- neural learning
- association analysis
- predicate logic
- computational properties
- classical logic
- probability theory
- boolean functions
- information systems