| Vol-677 urn:nbn:de:0074-677-8 Copyright © 2010 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 2010
Latin American Workshop on Non-Monotonic Reasoning 2010

### Proceedings of the Sixth Latin American Workshop on Non-Monotonic Reasoning 2010

### Facultad de Ciencias Físico Matématicas de la Benemérita Universidad Autónoma de Puebla, Puebla, México, November 4-5, 2010.

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

- Preface
- Organization

### Regular Papers

1. Graph representations of logic programs: properties and comparison 1-14
   Stefania Costantini, Alessandro Provetti
2. A cooperative policy for conflict resolution to multi-agent exploratio 15-24
   Ket-ziquel Hernández G., Abraham Sánchez L., Francisco Sosa H.
3. The N'5 logic 25-36
   José Arrazola, Mauricio Osorio, Eduardo Ariza
4. Algorithms for stellar populations in 3D spectroscopy 37-46
   Luis Alvarez-Ochoa, Leticia Flores-Pulido, Roberto Terlevich, Oleg Starostenko
5. Possibilistic safe beliefs 47-54
   Oscar Estrada, José Arrazola, Mauricio Osorio
6. Nested logic programs with ordered disjunction 55-66
   Roberto Confalonieri, Juan Carlos Nieves
7. Updates based on p-stable and properties 67-76
   José Luis Carballido, Claudia Zepeda, Sergio Herrera, Mario Rossainz
8. Assistance in making decisions to promote planting and conservation of maize in the state of Puebla of Mexico through answer set programming 77-88
   Luis A. Montiel, Claudia Zepeda, Pedro Wesche, Javier A. Cervantes
9. Bringing action language C+ to normative contexts: preliminary report 89-98
   Dario Garcia Gasulla, Juan Carlos Nieves
10. Revisiting Kalmar completeness metaproof 99-106
    Angélica Olvera Badillo

    ### Short Papers

11. A minimum spanning tree for the #2SAT problem 107-112
    Guillermo de Ita, Meliza Contreras, Pedro Bello
12. Building CORTUPP: a digital collection of technical reports with semantic features 113-118
    Ma. Auxilio Medina, Argelia B. Urbina, Antonio Benitez R., J. de la Calleja, E. López L., Rebeca Rodríguez
13. Reasoning with multiple ontologies in OWL language 119-124
    Liliana Ibeth Barbosa Santillan, Juan Jaime Sanchez Escobar, Claudia Rosa Maria Muñoz Cano

08-Nov-2010: submitted by Claudia Zepeda
10-Nov-2010: published on CEUR-WS.org