Login / Signup
Surprise Minimization Revision Operators.
Adrian Haret
Published in:
CoRR (2021)
Keyphrases
</>
revision operators
belief revision
classical logic
objective function
default theories
prime implicants
fixed point
propositional logic
merging operators