On generalized Horn formulas and k-resolution.

Hans Kleine Büning

Published in: Theor. Comput. Sci. (1993)

Keyphrases

horn formulas
high resolution
knowledge acquisition
artificial intelligence
knowledge representation