Login / Signup
Deciding Horn Classes by Hyperresolution.
Alexander Leitsch
Published in:
CSL (1989)
Keyphrases
</>
np hard
propositional logic
neural network
multiscale
multi agent systems
feature space
class labels