[CEUR Workshop Proceedings] Vol-286

© 2007 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material on this page requires permission by the copyright owners.

Third Latin American Workshop on Non-Monotonic Reasoning 2007

Proceedings of the LANMR07 Workshop,
Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th - 19th September 2007.

Edited by

José Arrazola, Benemérita Universidad Autónoma de Puebla, arrazola@fcfm.buap.mx

Pilar Pozos, Universidad Juárez Autónoma de Tabasco, maripozos@gmail.com

Mauricio Osorio, Universidad de las Américas Puebla, osoriomauri@gmail.com

Claudia Zepeda, Universidad Politécnica de Puebla, czepedac@gmail.com



Table of Contents

  1. Teaching natural deduction to improve text argumentation analysis in engineering students
    Rogelio Dávila, Sara C. Hernández, Juan F. Corona
  2. Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness
    Federico Marulanda Rey
  3. Efficient counting of models for boolean formulas represented by embedded cycles
    Guillermo de Ita Luna, Pedro Bello López, Meliza Contreras González
  4. Handling Exceptions in nonmonotonic reasoning
    Marcelino C. Pequeno, Rodrigo de M. S. Veras, Wladimir A. Tavares
  5. Equivalence for the G3'-stable models semantics
    José Luis Carballido, José Ramón Arrazola, Mauricio Osorio
  6. Planning using situation calculus, prolog and a mobile robot
    Pilar Pozos, Edgardo Yescas, Jacob Vásquez
  7. Analysis of the paraconsistency in some logics
    Eduardo Ariza, José Arrazola
  8. GLukG logic and its application for non-monotonic reasoning
    Mauricio Osorio Galindo
  9. Generating maximal models using the stable model semantics
    Juan Carlos Nieves, Mauricio Osorio
  10. Inferring preferred extensions by Pstable semantics
    Juan Carlos Nieves, Mauricio Osorio

submitted by Claudia Zepeda, 11-Oct-2007
published on CEUR-WS.org, 12-Oct-2007