On the Parameterized Complexity of Belief Revision.

Andreas Pfandler Stefan Rümmele Johannes Peter Wallner Stefan Woltran

Published in: IJCAI (2015)

Keyphrases

belief revision
parameterized complexity
propositional logic
belief change
fixed parameter tractable
logical properties
global constraints
minimal change
belief update
knowledge base
belief merging
temporal logic
np hard
symmetry breaking
plausible inference
np complete