Login / Signup

Entrenchment-Based Horn Contraction.

Zhiqiang ZhuangMaurice Pagnucco
Published in: J. Artif. Intell. Res. (2014)
Keyphrases
  • horn contraction
  • propositional logic
  • horn logic
  • belief change
  • belief revision
  • first order logic
  • possibilistic logic