Enforcing Logically Weaker Knowledge in Classical Logic

Philippe Besnard, Éric Grégoire, Sébastien Ramon. Enforcing Logically Weaker Knowledge in Classical Logic. In Hui Xiong, W. B. Lee, editors, Knowledge Science, Engineering and Management - 5th International Conference, KSEM 2011, Irvine, CA, USA, December 12-14, 2011. Proceedings. Volume 7091 of Lecture Notes in Computer Science, pages 44-55, Springer, 2011. [doi]

Abstract

Abstract is missing.