Login / Signup
Entrenchment-Based Horn Contraction.
Zhiqiang Zhuang
Maurice Pagnucco
Published in:
J. Artif. Intell. Res. (2014)
Keyphrases
</>
horn contraction
propositional logic
horn logic
belief change
belief revision
first order logic
possibilistic logic