On revision operators.

Philip D. Welch

Published in: J. Symb. Log. (2003)

Keyphrases

revision operators
belief revision
classical logic
default theories
prime implicants
prime implicates
logic programming
merging operators
belief change
propositional logic
theory revision
abductive reasoning
minimal change
nonmonotonic reasoning
belief base
logical properties
np complete
programming language