Inter-Definability of Horn Contraction and Horn Revision.

Zhiqiang Zhuang Maurice Pagnucco Yan Zhang

Published in: J. Philos. Log. (2017)

Keyphrases

horn contraction
propositional logic
horn logic
belief revision
first order logic
belief change
possibilistic logic
knowledge base
default reasoning
relational databases
machine learning
bayesian networks
expressive power
fixed point
belief update