Login / Signup
European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984.
Peter Aczel
Jeff B. Paris
A. J. Wilkie
George M. Wilmers
C. E. M. Yates
Published in:
J. Symb. Log. (1986)
Keyphrases
</>
high level
logic programming
modal logic
automated reasoning
data sets
symbolic representation
classical logic
binary decision diagrams
formal theory
neural learning
machine learning
probabilistic logic
truth values
abductive reasoning
delay insensitive
eu funded