Syntax-Preserving Belief Change Operators for Logic Programs

Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang +1

Recent methods have adapted the well-established AGM and belief base frameworks for belief change to cover belief revision in logic programs. In this study here, we present two new…