Login / Signup
Taxonomy of Improvement Operators and the Problem of Minimal Change.
Sébastien Konieczny
Mattia Medina Grespan
Ramón Pino Pérez
Published in:
KR (2010)
Keyphrases
</>
minimal change
belief revision
revision operators
belief update
belief change
logic program updates
belief base
model theoretic
ctl model update
reasoning about actions
update operations