Login / Signup
Proving Harder Theorems by Axiom Reduction.
Geoff Sutcliffe
Alexander Dvorský
Published in:
FLAIRS Conference (2003)
Keyphrases
</>
modal logic
feature extraction
digital libraries
np hard
np complete
inference rules
reduction method
digital topology
databases
feature selection
knowledge base
decision trees
pattern recognition
natural language
artificial neural networks