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.

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

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