Compiling With Classical Connectives.

Paul Downen Zena M. Ariola

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

inference rules
information systems
feature selection
case study
similarity measure
probability distribution