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