Confluent Rewriting systems in Non-Monotonic Reasoning. - José Arrazola; Jürgen Dix; Mauricio Osorio 001 (Computación y Sistemas, 1999)

Equivalence in Answer Set Programming. - Mauricio Osorio 001; Juan Antonio Navarro Pérez; José Arrazola (LOPSTR, 2001)

Debugging in A-Prolog: A Logical Approach. - Mauricio Osorio 001; Juan Antonio Navarro Pérez; José Arrazola (ICLP, 2002)

A logical approach to A-Prolog. - Mauricio Osorio 001; Juan Antonio Navarro Pérez; José Arrazola (WoLLIC, 2002)

Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. - Mauricio Osorio 001; Verónica Borja Macías; José Arrazola (IBERAMIA, 2004)

Closing the Gap between the Stable Semantics and Extensions of WFS. - Mauricio Osorio 001; Verónica Borja Macías; José Arrazola (MICAI, 2004)

Applications of Intuitionistic Logic in Answer Set Programming. - Mauricio Osorio 001; Juan Antonio Navarro Pérez; José Arrazola (Theory Pract. Log. Program., 2004)

Safe beliefs for propositional theories. - Mauricio Osorio 001; Juan Antonio Navarro Pérez; José Arrazola (Ann. Pure Appl. Log., 2005)

Ground Nonmonotonic Modal Logic S5: New Results. - Mauricio Javier Osorio Galindo; Juan Antonio Navarro Pérez; José R. Arrazola Ramírez; Verónica Borja Macías (J. Log. Comput., 2005)

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)

Rational Agents under ASP in Games theory. - Fernando Zacarías Flores; Dionicio Zacarías; José R. Arrazola Ramírez; Rosalba Cuapa (STAIRS, 2006)

Logics with Common Weak Completions. - Mauricio Osorio 001; Juan Antonio Navarro Pérez; José R. Arrazola Ramírez; Verónica Borja Macías (J. Log. Comput., 2006)

Analysis of the paraconsistency in some logics. - Eduardo Ariza; José Arrazola (LA-NMR, 2007)

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

Advances in Computer Science and Artificial Intelligence. - Fernando Zacarías Flores; José R. Arrazola Ramírez; Oscar Hernán Estrada-Estrada (Eng. Lett., 2007)

The Pac Logic in the properties of C(w) and C(min). - José Arrazola; Eduardo Ariza; Verónica Borja Macías (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)

A Possibilistic Intuitionistic Logic. - Oscar Estrada; José Arrazola; Mauricio Osorio 001 (MICAI (1), 2010)

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

Possibilistic intermediate logic. - Oscar Hernán Estrada-Estrada; José R. Arrazola Ramírez; Mauricio Javier Osorio Galindo (Int. J. Adv. Intell. Paradigms, 2012)

Preface. - José R. Arrazola Ramírez; José Raymundo Marcial-Romero (LANMR (Selected Papers), 2016)

Revisiting da Costa logic. - Mauricio Javier Osorio Galindo; Verónica Borja Macías; José R. Arrazola Ramírez (J. Appl. Log., 2016)

23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). - Jouko Väänänen; Ruy J. G. B. de Queiroz; Mauricio Javier Osorio Galindo; Claudia Zepeda Cortés; José R. Arrazola Ramírez (Log. J. IGPL, 2017)

The Pursuit of an Implication for the Logics L3A and L3B. - Alejandro Hernández-Tello; José R. Arrazola Ramírez; Mauricio Javier Osorio Galindo (Logica Universalis, 2017)

An axiomatic approach to CG′3 logic. - Miguel Pérez-Gaspar; Alejandro Hernández-Tello; José R. Arrazola Ramírez; Mauricio Javier Osorio Galindo (Log. J. IGPL, 2020)