[CEUR Workshop Proceedings] Vol-533

© 2009 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. This volume is published by its editors.

Latin American Workshop on Non-Monotonic Reasoning 2009

Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09),
Facultad de Ciencias Básicas, Ingeniería y Tecnología, Universidad Autónoma de Tlaxcala (UAT),
Apizaco, Tlaxcala, México, November 5-6, 2009.

Edited by

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

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



Table of Contents

    Invited Paper

  1. Stable versus Layered Logic Program Semantics
    Luís Moniz Pereira and Alexandre Miguel Pinto, pages 3-27

    Regular Papers

  2. Extension-Based Argumentation Semantics via Logic Programming Semantics with Negation as Failure
    Juan Carlos Nieves and Ignasi Gomez-Sebastià, pages 31-45
  3. Functional first order de definability of LRTp
    J. Raymundo Marcial-Romero and J. A. Hernández, pages 46-60
  4. Modelling autonomic dataspaces using answer sets
    Gabriela Montiel-Moreno, José Luis Zechinelli-Martini and Genoveva Vargas-Solar, pages 61-75
  5. An Introduction to Intention Revision: Issues and Problems
    José Martín Castro-Manzano, pages 76-89
  6. Implementing the p-stable semantics
    Angel Marín George and Claudia Zepeda Cortés, pages 90-106
  7. A complete algorithm to solve the graph-coloring problem
    Huberto Ayanegui and Alberto Chavez-Aragon, pages 107-117
  8. Efficient Computation of the Degree of Belief for a Subclass of Two Conjuctive Forms
    Guillermo De Ita, Carlos Guillén and Ali Khanafer, pages 118-129
  9. Selecting the Best Cluster of a Collection of Technical Reports
    Ma. Auxilio Medina, J. Alfredo Sánchez, Silvia Titla, Rebeca Rodríguez and Pedro Vargas, pages 130-141
  10. P-stable as an extension of WFS
    José Luis Carballido and Claudia Zepeda, pages 142-156
  11. Computing the Stratified Minimal Models Semantic
    Mauricio Osorio, Angel Marin-George and Juan Carlos Nieves, pages 157-171
  12. Structured Motifs Recognition in DNA sequences
    Yuridia P. Mejía, Ivan Olmos, Jesus A. Gonzalez, pages 172-182
  13. A Lower-Bound for Answer Set Solver Computation
    Stefania Costantini and Alessandro Provetti, pages 183-198


  14. Modelling Data Segmentation for Image Retrieval Systems
    Leticia Flores-Pulido, Oleg Starostenko, Gustavo Rodríguez-Gómez and Vicente Alarcón-Aquino, pages 201-208
  15. Applying Fuzzy Sets Intersection in the Sizing of Voltage Followers
    G. Flores-Becerra, E.Tlelo-Cuautle and S.Polanco-Martagón, pages 209-216
  16. Can Paraconsistency Replace Non-Monotonicity?
    Luis Estrada-González and Claudia Olmedo-García, pages 217-224

04-Nov-2009: submitted by Carolina Medina-Ramirez
06-Nov-2009: published on CEUR-WS.org