| 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.

# LANMR'09
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

### Frontmatter

### Preface

### Organization

## 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

    ### Posters

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