On Stratified Belief Base Compilation.

Sylvie Coste-Marquis Pierre Marquis

Published in: Ann. Math. Artif. Intell. (2004)

Keyphrases

belief base
belief change
belief revision
belief merging
possibilistic logic
logical properties
update operators
minimal change
knowledge base
propositional logic
preference relations
knowledge compilation
computational complexity
nonmonotonic reasoning
default reasoning
belief update