Mauricio Osorio, Juan A. Navarro. Answer Set Programming and S4. In Christian Lemaître, Carlos A. Reyes, Jesus A. González, editors, Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, México, November 22-26, 2004, Proceedings. Volume 3315 of Lecture Notes in Computer Science, pages 353, Springer, 2004. [doi]
Abstract is missing.