LANMR 2010
Latin American Workshop on Non-Monotonic Reasoning 2010

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