Meeting of the Association for Symbolic Logic.

John T. Baldwin Donald A. Martin Robert I. Soare William W. Tait

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

Keyphrases

modal logic
logic programming
epistemic logic
databases
artificial intelligence
automated reasoning
database
machine learning
social networks
website
natural language
symbolic representation
multi valued
logical framework
computer algebra
symbolic reasoning