-Horn Formulas.

Akira Miyashiro Eiji Takimoto Yoshifumi Sakai Akira Maruoka

Published in: ALT (1995)

Keyphrases

horn formulas
knowledge compilation
revision operators
information retrieval
artificial intelligence
knowledge acquisition
normal form