Luís Moniz Pereira, Alexandre Miguel Pinto. Revised Stable Models - A Semantics for Logic Programs. In Carlos Bento, Amílcar Cardoso, Gaël Dias, editors, Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings. Volume 3808 of Lecture Notes in Computer Science, pages 29-42, Springer, 2005. [doi]
Abstract is missing.