Flavio Everardo, Mauricio Osorio 0001. Towards an answer set programming methodology for constructing programs following a semi-automatic approach. In Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Pilar Pozos Parra, editors, Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019. Volume 2585 of CEUR Workshop Proceedings, pages 61-72, CEUR-WS.org, 2019. [doi]
Abstract is missing.