Belief Update in the Horn Fragment.

Nadia Creignou Adrian Haret Odile Papini Stefan Woltran

Published in: IJCAI (2018)

Keyphrases

belief update
belief revision
formal theory
belief change
propositional logic
np hard
planning under uncertainty
computational properties
maximal tractable
belief set
minimal change
database
lower bound
expressive power
horn clauses