Meeting of the Association for Symbolic Logic Santiago, Chile 1970.

Rolando Chuaqui

Published in: J. Symb. Log. (1971)

Keyphrases

logic programming
symbolic representation
multi valued
predicate logic
classical logic
proof theory
computational properties
connectionist learning
neural learning
epistemic logic
logical framework
modal logic
information systems
set theory
asynchronous circuits
symbolic data
artificial intelligence
neural network