Definability of Horn Revision from Horn Contraction.

Zhi Qiang Zhuang Maurice Pagnucco Yan Zhang

Published in: IJCAI (2013)

Keyphrases

horn contraction
propositional logic
horn logic
belief revision
first order logic
belief change
possibilistic logic
expressive power
machine learning
knowledge base