no code implementations • 15 Mar 2017 • Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang, Bela Stantic
Recent methods have adapted the well-established AGM and belief base frameworks for belief change to cover belief revision in logic programs.