Completeness of Nominal PROPs.

Samuel Balco Alexander Kurz

Published in: CoRR (2020)

Keyphrases

data quality
high level
neural network
machine learning
social networks
knowledge base
preprocessing
image retrieval
co occurrence
computational intelligence
formal proofs