| Vol-804 urn:nbn:de:0074-804-1 Copyright © 2011 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# LANMR 2011
Latin American Workshop on Non-Monotonic Reasoning 2011

### Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning 2011

### Universidad Autónoma del Estado de México, Toluca, Estado de México, México, November 7-8, 2011.

Edited by

### Mauricio Osorio *
Claudia Zepeda **
Ivan Olmos **
José Luis Carballido**
José Arrazola **
Carolina Medina ***

*Universidad de las Américas Puebla, Puebla, México
** Benemérita Universidad Autónoma de Puebla, Puebla, México
*** Universidad Autónoma Metropolitana-Iztapalapa, D.F., México

## Table of Contents

- Preface
- Organization

### Regular Papers

1. Towards a Logic-programming System to Debug ASP Knowledge Bases 3-12
   J. C. Acosta-Guadarrama
2. An Introduction to Belief Revision and Knowledge Representation with 2CNF 13-22
   Meliza Contreras, Miguel Rodríguez, Pedro Bello, Bárbara M. González
3. Intentional Reasoning as Non-monotonic Reasoning 23-34
   José Martín Castro-Manzano, Axel Arturo Barceló-Aspeitia, Alejandro Guerra-Hernández
4. Robot Platform Motion Planning using Answer Set Programming 35-44
   Julian J. Portillo, Carmen L. Garcia-Mata, Pedro R. Márquez-Gutiérrez, Rogelio Baray-Arana
5. Modeling and Encoding Automated Planning Problems with the P-stable Semantics 45-56
   Sergio Arzola, Claudia Zepeda
6. The Stable Abducible Argumentation Semantics 57-68
   Mauricio Osorio, Juan Carlos Nieves, José Luis Carballido
7. A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT 71-82
   J. Raymundo Marcial-Romero, Alejandra Y. Lucatero, J.A. Hernández
8. Logic, Linguistics and Connectionism An Exercise of Translation of Optimality Theory Constraints into Logic 83-94
   Teresita de Jesús Mijangos Martínez
9. A Note for Parametric Complexity of #2SAT 95-104
   Guillermo De Ita Luna, Fernando Zacarías Flores, Alejandro Rangel Huerta
10. Knowledge Capitalization in a Component-Based Software Factory: a Semantic Viewpoint 105-114
    Francisco Edgar Castillo-Barrera, Carolina Medina-Ramírez, Héctor A. Duran-Limón
11. SDCA: System to Detect Cancerous Abnormalities 115-122
    Eddy Sánchez de la Cruz, Homero Alpuín-Jiménez, Humberto de Jesús Ochoa Domínguez, Pilar Pozos-Parra
12. Formal Language and Reasoning for Playing Go 125-132
    Arturo Yee Rendón, Matías Alvarado
13. Ontology-based Descriptions of Image Collections 133-140
    Ma. Auxilio Medina, J. Alfredo Sánchez, J. de la Calleja, Antonio Benitez
14. A Logical Approach for Melodic Variations 141-150
    Flavio Omar Everardo Pérez
15. Defining and Maintaining Agent's Experience in Logical Agents 151-165
    Stefania Costantini

04-Nov-2011: submitted by Carolina Medina
04-Nov-2011: published on CEUR-WS.org