LA-NMR 2007: Puebla, Mexico

José Arrazola, Pilar Pozos Parra, Mauricio Osorio, Claudia Zepeda (Eds.): Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th - 19th September 2007. CEUR Workshop Proceedings 286 CEUR-WS.org 2007

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