Equivalences for Truth Predicates.

Published in: Rev. Symb. Log. (2017)

Keyphrases

connected components
truth values
neural network
user defined
learning algorithm
artificial intelligence
relational algebra
predicate invention
knowledge base
binary images