Camilla Schwind. Belief Base Change on Implicant Sets: How to Give Up Elements of a Belief Based on Literal Level. In Yuping Wang, Yiu-ming Cheung, Ping Guo, Yingbin Wei, editors, Seventh International Conference on Computational Intelligence and Security, CIS 2011, Sanya, Hainan, China, December 3-4, 2011. pages 239-243, IEEE, 2011. [doi]
Abstract is missing.