Meeting of the Association for Symbolic Logic.
H. A. SchmidtK. SchutteErnst-Jochen ThieleM. J. CresswellPublished in: J. Symb. Log. (1967)
Keyphrases
- logic programming
- modal logic
- predicate logic
- search engine
- symbolic description
- dynamic logic
- association analysis
- set theory
- classical logic
- high level
- multi valued
- automated reasoning
- logic programs
- digital circuits
- multi agent systems
- binary decision diagrams
- information systems
- symbolic reasoning
- databases
- sound and complete axiomatization