Abstract is missing.
- Inferring preferred extensions by Pstable semanticsJuan Carlos Nieves, Mauricio Osorio. [doi]
- Analysis of the paraconsistency in some logicsEduardo Ariza, José Arrazola. [doi]
- Equivalence for the G3 -stable models semanticsJosé Luis Carballido, José Arrazola, Mauricio Osorio. [doi]
- Teaching natural deduction to improve text argumentation analysis in engineering studentsRogelio Dávila, Sara C. Hernández, Juan F. Corona. [doi]
- GLukG logic and its application for non-monotonic reasoningMauricio Osorio. [doi]
- Planning using situation calculus, prolog and a mobile robotPilar Pozos Parra, Edgardo Yescas, Jacob Vásquez. [doi]
- Dialetheic truth theory: inconsistency, non-triviality, soundness, incompletenessFederico Marulanda Rey. [doi]
- Handling Exceptions in nonmonotonic reasoningMarcelino C. Pequeno, Rodrigo de M. S. Veras, Wladimir A. Tavares. [doi]
- Efficient counting of models for boolean formulas represented by embedded cyclesGuillermo De Ita Luna, Pedro Bello López, Meliza Contreras González. [doi]
- Generating maximal models using the stable model semanticsJuan Carlos Nieves, Mauricio Osorio. [doi]