Belief revision within fragments of propositional logic.

Nadia Creignou Odile Papini Reinhard Pichler Stefan Woltran

Published in: J. Comput. Syst. Sci. (2014)

Keyphrases

belief revision
propositional logic
belief change
nonmonotonic reasoning
default reasoning
possibilistic logic
knowledge base
minimal change
logical framework
temporal logic
belief update
propositional satisfiability
prime implicates
artificial intelligence
possibility theory
reasoning tasks
belief state