A Unified View of Propositional Knowledge Base Updates.

Hirofumi Katsuno Alberto O. Mendelzon

Published in: IJCAI (1989)

Keyphrases

propositional knowledge base
knowledge base
conjunctive normal form
minimal change
learning algorithm