Fifteenth Meeting of the Association for Symbolic Logic.
Atwell R. TurquettePublished in: J. Symb. Log. (1953)
Keyphrases
- logic programming
- modal logic
- information systems
- multi valued
- epistemic logic
- predicate logic
- classical logic
- logical framework
- formal theory
- symbolic representation
- expressive power
- natural language
- high level
- automated reasoning
- dynamic logic
- connectionist models
- speaker diarization
- symbolic reasoning
- digital circuits
- computational properties
- database
- privacy preserving
- logic programs
- artificial neural networks
- bayesian networks
- real time