Credibility-Limited Revision Operators in Propositional Logic.

Richard Booth Eduardo Fermé Sébastien Konieczny Ramón Pino Pérez

Published in: KR (2012)

Keyphrases

propositional logic
belief revision
revision operators
default reasoning
nonmonotonic reasoning
belief change
possibilistic logic
first order logic
minimal change
knowledge base
propositional satisfiability
temporal logic
logical framework
propositional formulas
belief update
belief base