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.
Last update Thu May 23 02:39:45 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
