Meeting of the Association for Symbolic Logic: Clermont-Ferrand, France, 1975.
M. GuillaumePublished in: J. Symb. Log. (1977)
Keyphrases
- logic programming
- classical logic
- modal logic
- symbolic description
- automated reasoning
- predicate logic
- multi valued
- probabilistic logic
- computational properties
- digital circuits
- meeting room
- artificial intelligence
- delay insensitive
- speaker diarization
- abductive reasoning
- united kingdom
- description logics
- high level
- website