[CEUR Workshop Proceedings] 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

    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