Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. - Mauricio Osorio 001; José R. Arrazola Ramírez; José Luis Carballido; Oscar Estrada (LoLaCOM, 2006)

An Axiomatization of G'3. - Mauricio Osorio 001; José R. Arrazola Ramírez; José Luis Carballido; Oscar Estrada (LoLaCOM, 2006)

Equivalence for the G3'-stable models semantics. - José Luis Carballido; José Arrazola; Mauricio Osorio 001 (LA-NMR, 2007)

Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints. - Claudia Zepeda; José Luis Carballido (ENC, 2008)

Semi-negative normal programs based on p-stable semantics. - Claudia Zepeda; José Luis Carballido (LA-NMR, 2008)

Logical Weak Completions of Paraconsistent Logics. - Mauricio Javier Osorio Galindo; José R. Arrazola Ramírez; José Luis Carballido (J. Log. Comput., 2008)

P-stable as an extension of WFS. - José Luis Carballido; Claudia Zepeda (LA-NMR, 2009)

Inferring Preferred Extensions by Pstable Semantics. - José Luis Carballido; Juan Carlos Nieves; Mauricio Osorio 001 (Inteligencia Artif., 2009)

G'3-Stable Semantics and Inconsistency. - Mauricio Osorio 001; Claudia Zepeda; Juan Carlos Nieves; José Luis Carballido (Computación y Sistemas, 2009)

P-stable models of strong kernel programs. - Claudia Zepeda; José Luis Carballido (J. Algorithms, 2009)

Expressing p-stable semantics based on stable semantics. - Mauricio Javier Osorio Galindo; José Luis Carballido; Claudia Zepeda (CONIELECOMP, 2010)

Yet another application of fuzzy logic. - Mauricio Javier Osorio Galindo; Claudia Zepeda; José Luis Carballido; David López 005 (CONIELECOMP, 2010)

Updates Based on ASP. - Claudia Zepeda; José Luis Carballido; Mario Rossainz López; Mauricio Osorio 001 (MICAI (Special Sessions), 2010)

Equivalence for the G'3-stable models semantics. - José Luis Carballido; Mauricio Osorio 001; José Arrazola (J. Appl. Log., 2010)

Modeling production of resources using Answer Set Planning. - Claudia Zepeda; José Luis Carballido; J. Manuel Amezcua; Oscar De Leon; Javier A. Martinez; Mauricio Osorio 001 (CONIELECOMP, 2011)

The Stable Abducible Argumentation Semantics. - Mauricio Osorio 001; Juan Carlos Nieves; José Luis Carballido (LA-NMR, 2011)

An Application of Clasp in the Study of Logics. - Mauricio Osorio 001; José Luis Carballido; Claudia Zepeda (LPNMR, 2011)

Characterization of Argumentation Semantics in Terms of the MM r Semantics. - Mauricio Osorio 001; José Luis Carballido; Claudia Zepeda; Zenaida Cruz (MICAI (1), 2011)

Evaluation of a parallel approach implementation of the p-stable semantics. - David López 005; Claudia Zepeda Cortés; José Luis Carballido (CONIELECOMP, 2012)

A general framework for representing preferences. - Claudia Zepeda; José Luis Carballido; Sergio Arzola (LA-NMR, 2012)

N'5 as an Extension of G'3. - Mauricio Osorio 001; José Luis Carballido; Claudia Zepeda (AMW, 2013)

Some Properties of Logic N-GLukG. - Mauricio Osorio 001; José Luis Carballido; Claudia Zepeda (MICAI (1), 2013)

Revisiting C1. - Mauricio Osorio 001; José Luis Carballido; Claudia Zepeda (LANMR, 2014)

Preferences for Argumentation Semantics. - Mauricio Osorio 001; Claudia Zepeda; José Luis Carballido (MICAI (1), 2014)

On Paraconsistent Extensions of C1. - Mauricio Osorio 001; José Luis Carballido; Claudia Zepeda (LANMR (Selected Papers), 2014)

Revisiting ℤ. - Mauricio Osorio 001; José Luis Carballido; Claudia Zepeda (Notre Dame J. Formal Log., 2014)

Modelado de un problema de iluminación inteligente de una oficina usando un enfoque de actualización basado en Answer Set Programming. - Mayra Cordero; Claudia Zepeda; José Luis Carballido (Res. Comput. Sci., 2014)

Weakening and Extending ℤ. - Mauricio Osorio 001; José Luis Carballido; Claudia Zepeda; José Abel Castellanos (Logica Universalis, 2015)

Characterizing stage argumentation semantics based on stable abducible semantics. - Mauricio Osorio 001; José Luis Carballido; Claudia Zepeda (LANMR, 2016)

Defining Stage Argumentation Semantics in Terms of an Abducible Semantics. - Mauricio Osorio 001; José Luis Carballido; Claudia Zepeda (LANMR (Selected Papers), 2016)

Abducible Semantics and Argumentation. - Mauricio Osorio 001; José Luis Carballido; Claudia Zepeda (Fundam. Informaticae, 2017)

Lukasiewicz' 3-valued logic can not be expressed in terms of SP3A logic. - Jaime Díaz; José Luis Carballido; Mauricio Osorio 001; Claudia Zepeda (LANMR, 2018)

An Extension of the Stable Semantics via Lukasiewicz Logic. - Mauricio Osorio 001; José Luis Carballido Carranza (LANMR (Selected Papers), 2019)

Béziau's SP3A Logic and Logic Programming. - Jaime Díaz; José Luis Carballido; Mauricio Osorio 001 (Res. Comput. Sci., 2019)

MyUBot: Towards an Artificial Intelligence Agent System Chat-bot for Well-being and Mental Health. - Mauricio Javier Osorio Galindo; Claudia Zepeda; José Luis Carballido (AAI4H@ECAI, 2020)

Thematic Section: Logic/Languages, Algorithms, Novel Methods of Reasoning. - Claudia Zepeda Cortés; José Luis Carballido Carranza; José Raymundo Marcial-Romero; Everardo Bárcenas (Computación y Sistemas, 2022)

Hyperparameter tuning for multi-label classification of feedbacks in online courses. - Dorian Ruiz Alonso; Claudia Zepeda Cortés; Hilda Castillo Zacatelco; José Luis Carballido Carranza (J. Intell. Fuzzy Syst., 2022)

Multi-label classification of feedbacks. - Dorian Ruiz Alonso; Claudia Zepeda Cortés; Hilda Castillo Zacatelco; José Luis Carballido Carranza; José Luis García-Cué (J. Intell. Fuzzy Syst., 2022)

A 4-Valued Logic that Extends the Paraconsistent Logic G'3. - Mauricio Osorio 001; José Luis Carballido (Computación y Sistemas (CyS), 2023)