Sergio Arzola, Claudia Zepeda. Modeling and Encoding Automated Planning Problems with the P-stable Semantics. In Mauricio Osorio, Claudia Zepeda, Ivan Olmos, José Luis Carballido, José Arrazola, Carolina Medina, editors, Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011. Volume 804 of CEUR Workshop Proceedings, pages 45-56, CEUR-WS.org, 2011. [doi]
Abstract is missing.