European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979.
F. R. DrakeStanley S. WainerPublished in: J. Symb. Log. (1981)
Keyphrases
- modal logic
- logic programming
- classical logic
- search engine
- computer algebra
- predicate logic
- multi valued
- sound and complete axiomatization
- databases
- connectionist learning
- linear logic
- epistemic logic
- symbolic representation
- temporal logic
- model checking
- expert systems
- multi agent systems
- bayesian networks
- high level
- neural network