Login / Signup
axiom(*).
Paul Larson
Published in:
Ann. Pure Appl. Log. (2000)
Keyphrases
</>
modal logic
inference rules
prior knowledge
feature selection
training set
classification accuracy