Conferences in DBLP

Latin-American Workshop on Non-Monotonic Reasoning (lanmr)
2007 (conf/lanmr/2007)

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