LANMR 2011
Latin American Workshop on Non-Monotonic Reasoning 2011

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