Meeting of the Association for Symbolic Logic Seattle 1973.
Anne C. MorelRonald HarropMiriam LucianDavid PincusPublished in: J. Symb. Log. (1974)
Keyphrases
- logic programming
- symbolic representation
- entry point
- modal logic
- symbolic description
- predicate logic
- multi valued
- computational properties
- sound and complete axiomatization
- meeting room
- classical logic
- probabilistic logic
- programming language
- real time
- high level
- association analysis
- epistemic logic
- deontic logic
- connectionist models
- neural learning
- computer algebra
- website
- san francisco
- information retrieval
- neural network
- databases