Compiling With Classical Connectives.

Paul Downen Zena M. Ariola

Published in: CoRR (2019)

Keyphrases

databases
neural network
knowledge representation
inference rules
classical methods
pattern recognition