Meeting of the Association for Symbolic Logic: Singapore 1981.

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

Keyphrases

logic programming
automated reasoning
proof theory
modal logic
national university
neural network
probabilistic logic
multi valued
hong kong
information retrieval
symbolic representation
decision trees
classical logic
asynchronous circuits
neural learning
social networks
connectionist learning