Meeting of the Association for Symbolic Logic: Orleans, France, 1972.
J. P. CalaisJohn DerrickGabriel SabbaghPublished in: J. Symb. Log. (1974)
Keyphrases
- classical logic
- multi valued
- logic programming
- modal logic
- information systems
- symbolic description
- asynchronous circuits
- predicate logic
- symbolic representation
- case study
- expert systems
- natural language
- high level
- binary decision diagrams
- dynamic logic
- proof theory
- deductive reasoning
- database
- connectionist learning
- meeting room