Login / Signup
On the formal characterization of the FORTE_MBC theory revision operators.
Ana Luísa Duboc
Aline Paes
Gerson Zaverucha
Published in:
J. Log. Comput. (2017)
Keyphrases
</>
revision operators
belief revision
horn formulas