Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985.
Walter Alexandre CarnielliPublished in: J. Symb. Log. (1986)
Keyphrases
- logic programming
- latin america
- multi valued
- classical logic
- symbolic representation
- modal logic
- high level
- real time
- binary decision diagrams
- digital circuits
- automated reasoning
- database
- neural network
- defeasible logic
- multi party
- case study
- linear logic
- dynamic logic
- connectionist models
- neural learning
- proof theory
- computer algebra
- natural language