The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs

Yan Zhang, Yun Bai. The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs. In Ning Zhong, Zbigniew W. Ras, Shusaku Tsumoto, Einoshin Suzuki, editors, Foundations of Intelligent Systems, 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings. Volume 2871 of Lecture Notes in Computer Science, pages 349-356, Springer, 2003. [doi]

Abstract

Abstract is missing.