Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983.
Xavier CaicedoRolando ChuaquiNewton C. A. da CostaCarlos A. Di PriscoPublished in: J. Symb. Log. (1984)
Keyphrases
- modal logic
- classical logic
- high level
- logic programming
- predicate logic
- neural learning
- asynchronous circuits
- genetic algorithm
- natural language
- symbolic representation
- proof theory
- connectionist models
- sound and complete axiomatization
- information retrieval
- meeting room
- connectionist learning
- formal theory
- binary decision diagrams
- defeasible logic
- computational properties
- multi valued
- automated reasoning