Implementing the p-stable semantics

Angel Marín George, Claudia Zepeda Cortés. Implementing the p-stable semantics. In Mauricio Osorio, Claudia Zepeda, Ivan Olmos, Carolina Medina, José Arrazola, editors, Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias Básicas, Ingeniería y Tecnología , Universidad Autónoma de Tlaxcala (UAT) , Apizaco, Tlaxcala, México, November 5-6, 2009. Volume 533 of CEUR Workshop Proceedings, pages 90-106, CEUR-WS.org, 2009. [doi]

Abstract

Abstract is missing.