Revised Stable Models - A Semantics for Logic Programs

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]

Authors

Luís Moniz Pereira

This author has not been identified. Look up 'Luís Moniz Pereira' in Google

Alexandre Miguel Pinto

This author has not been identified. Look up 'Alexandre Miguel Pinto' in Google