Movatterモバイル変換

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



Preface

Organization

---

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