Extensions of the Critical Theorem.

Published in: Discret. Math. (2005)

Keyphrases

efficient implementation
default logic
neural network
information retrieval
learning algorithm
knowledge base
multiresolution
knowledge representation
default theories