Subset Assertions and Negation As Failure. - Mauricio Osorio 001; Bharat Jayaraman (ILPS, 1993)

Partial Order Programming (Revisited). - Bharat Jayaraman; Mauricio Osorio 001; Kyonghee Moon (AMAST, 1995)

Aggregation and Well-Founded Semantics. - Mauricio Osorio 001; Bharat Jayaraman (NMELP, 1996)

On Well-Behaved Semantics Suitable for Aggregation. - Jürgen Dix; Mauricio Osorio 001 (ILPS, 1997)

Integrating the Completion and the Well Founded Semantics. - Mauricio Osorio 001; Bharat Jayaraman (IBERAMIA, 1998)

Semantics of Partial-Order Programs. - Mauricio Osorio 001 (JELIA, 1998)

Declarative Pruning in a Functional Query Language. - Mauricio Osorio 001; Bharat Jayaraman; Juan Carlos Nieves (ICLP, 1999)

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

Aggregation and Negation-As-Failure. - Mauricio Osorio 001; Bharat Jayaraman (New Gener. Comput., 1999)

Theory of Partial-Order Programming. - Mauricio Osorio 001; Bharat Jayaraman; David A. Plaisted (Sci. Comput. Program., 1999)

Application of Simplification Theories. - Mauricio Osorio 001; Juan Carlos Nieves; Gabriel Cervantes (ARW, 2000)

High-Level Logic Programming. - Mauricio Osorio 001; Fernando Zacarías Flores (FoIKS, 2000)

Knowledge Representation Using High-Level Non-monotonic Reasoning. - Mauricio Osorio 001; Juan Carlos Nieves; Fernando Zacarías Flores; Erika Saucedo (MICAI, 2000)

Stratified Partial-Order Logic Programming. - Mauricio Osorio 001; Juan Carlos Nieves (AI, 2001)

Useful Transformations in Answer set programming. - Mauricio Osorio 001; Juan Carlos Nieves; Chris Giannella (Answer Set Programming, 2001)

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

A general theory of confluent rewriting systems for logic programming and its applications. - Jürgen Dix; Mauricio Osorio 001; Claudia Zepeda (Ann. Pure Appl. Log., 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)

Towards Modelling an Intelligent Calendar Agent with LUPS. - Juan Carlos Acosta Guadarrama; Mauricio Javier Osorio Galindo (Applied Informatics, 2003)

The A-Pol System. - Mauricio Osorio 001; Enrique Corona (Answer Set Programming, 2003)

New properties on the update operator oplus. - Mauricio Osorio 001; Fernando Zacarías Flores (Answer Set Programming, 2003)

Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS. - Mauricio Osorio 001; Claudia Zepeda (Answer Set Programming, 2003)

Formalizing the Learner Model for CSCL Environments. - Magdalena Ortiz 001; Gerardo Ayala 001; Mauricio Osorio 001 (ENC, 2003)

Usefulness of Solution Algorithms of the Traveling Salesman Problem in the Typing of Biological Sequences in a Clinical Laboratory Setting. - Javier Garcés Eisele; Carolina Yolanda Castañeda Roldán; Mauricio Javier Osorio Galindo; Ma. del Pilar Gómez Gil (CONIELECOMP, 2004)

On Updates of Logic Programs: A Properties-Based Approach. - Mauricio Osorio 001; Fernando Zacarías Flores (FoIKS, 2004)

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

Answer Set Programming and S4. - Mauricio Osorio 001; Juan Antonio Navarro Pérez (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)

Aggregation in Functional Query Languages. - Mauricio Osorio 001; Juan Carlos Nieves; Bharat Jayaraman (J. Funct. Log. Program., 2004)

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

Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. - Magdalena Ortiz 001; Mauricio Osorio 001 (Answer Set Programming, 2005)

Applications of Preferences using Answer Set Programming. - Claudia Zepeda; Mauricio Osorio 001; Juan Carlos Nieves; Christine Solnon; David Sol (Answer Set Programming, 2005)

Mining Common Patterns on Graphs. - Iván Olmos; Jesus A. Gonzalez; Mauricio Osorio 001 (CIS (1), 2005)

Algorithms for the Typing of Related DNA Sequences. - Rocío Santillán Rodríguez; Carolina Yolanda Castañeda Roldán; Javier Garcés Eisele; Ma. del Pilar Gómez Gil; Mauricio Javier Osorio Galindo (CONIELECOMP, 2005)

Modeling Evacuation Planning Using A-Prolog. - Claudia Zepeda; Mauricio Osorio 001; David Sol (CONIELECOMP, 2005)

Agent Modelling for CSCL Environments using Answer Sets Programming. - Gerardo Ayala 001; Magdalena Ortiz 001; Mauricio Osorio 001 (ENC, 2005)

Inferring acceptable arguments with Answer Set Programming. - Mauricio Osorio 001; Claudia Zepeda; Juan Carlos Nieves; Ulises Cortés (ENC, 2005)

Subgraph Isomorphism Detection Using a Code Based Representation. - Iván Olmos; Jesus A. Gonzalez; Mauricio Osorio 001 (FLAIRS, 2005)

Application of ASP for Agent Modelling in CSCL Environments. - Gerardo Ayala 001; Magdalena Ortiz 001; Mauricio Osorio 001 (MICAI, 2005)

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)

Defining new argumentation-based semantics by minimal models. - Juan Carlos Nieves; Ulises Cortés; Mauricio Osorio 001; Iván Olmos; Jesus A. Gonzalez (ENC, 2006)

Inexact Graph Matching: A Case of Study. - Iván Olmos; Jesus A. Gonzalez; Mauricio Osorio 001 (FLAIRS, 2006)

Supporting decision making in organ transplanting using argumentation theory. - Juan Carlos Nieves; Ulises Cortés; Mauricio Osorio 001 (LA-NMR, 2006)

Preferences using Answer Sets. - Mauricio Osorio 001; Claudia Zepeda (LA-NMR, 2006)

Expressing the Stable Semantics in Terms of the Pstable Semantics. - Mauricio Osorio 001; Alejandra López (LoLaCOM, 2006)

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)

Answer Set General Theories and Preferences. - Mauricio Osorio 001; Claudia Zepeda (MICAI, 2006)

Minimal Generalized Answer-Sets and their Applications. - Mauricio Osorio 001; Claudia Zepeda (LoLaCOM, 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)

Reasoning about actions under uncertainty: A possibilistic approach. - Juan Carlos Nieves; Mauricio Osorio 001; Ulises Cortés; Francisco Caballero; Antonio López-Navidad (CCIA, 2007)

Reductions between the Subgraph Isomorphism Problem and Hamiltonian and SAT Problems. - Iván Olmos; Jesús A. González; Mauricio Osorio 001 (CONIELECOMP, 2007)

A semantics for updates consisting of a sequence of programs. - Mauricio Osorio 001; Claudia Zepeda (CONIELECOMP, 2007)

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

Generating maximal models using the stable model semantics. - Juan Carlos Nieves; Mauricio Osorio 001 (LA-NMR, 2007)

Inferring preferred extensions by Pstable semantics. - Juan Carlos Nieves; Mauricio Osorio 001 (LA-NMR, 2007)

GLukG logic and its application for non-monotonic reasoning. - Mauricio Osorio 001 (LA-NMR, 2007)

PStable Semantics for Possibilistic Logic Programs. - Mauricio Osorio 001; Juan Carlos Nieves (MICAI, 2007)

Update Sequences Based on Minimal Generalized Pstable Models. - Mauricio Osorio 001; Claudia Zepeda (MICAI, 2007)

Updates Under Pstable. - Fernando Zacarías Flores; Mauricio Javier Osorio Galindo; Edgar Fernandez Plascencia (Eng. Lett., 2007)

Strong Negation and Equivalence in the Safe Belief Semantics. - Magdalena Ortiz 001; Mauricio Osorio 001 (J. Log. Comput., 2007)

Updates in answer set programming: An approach based on basic structural properties. - Mauricio Osorio 001; Víctor Cuevas (Theory Pract. Log. Program., 2007)

Pstable Theories and Preferences. - Mauricio Osorio 001; Claudia Zepeda (CONIELECOMP, 2008)

Possibilistic-Based Argumentation: An Answer Set Programming Approach. - Juan Carlos Nieves; Ulises Cortés; Mauricio Osorio 001 (ENC, 2008)

An Overview of Argumentation Semantics. - Juan Carlos Nieves; Mauricio Osorio 001; Ulises Cortés (Computación y Sistemas, 2008)

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

Preferred extensions as stable models. - Juan Carlos Nieves; Ulises Cortés; Mauricio Osorio 001 (Theory Pract. Log. Program., 2008)

A Formal Design Model for Mechatronic Systems. - Mauricio Osorio 001; Claudia Zepeda; Hilda Castillo (CONIELECOMP, 2009)

Possibilistic Stratified Minimal Model Semantics. - Juan Carlos Nieves; Mauricio Osorio 001 (ENC, 2009)

Computing the Stratified Minimal Models Semantic. - Mauricio Osorio 001; Angel Marín George; Juan Carlos Nieves (LA-NMR, 2009)

The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. - Mauricio Osorio 001; Simone Pascucci (LPNMR, 2009)

Possibilistic Well-Founded Semantics. - Mauricio Osorio 001; Juan Carlos Nieves (MICAI, 2009)

Expressing Extension-Based Semantics Based on Stratified Minimal Models. - Juan Carlos Nieves; Mauricio Osorio 001; Claudia Zepeda (WoLLIC, 2009)

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

Guest Editorial: Workshops by the Logic and Computation Mexican Group. - Mauricio Osorio 001; Claudia Zepeda (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)

Preface. - Mauricio Osorio 001; Iván Olmos (J. Algorithms, 2009)

CF2-extensions as Answer-set Models. - Mauricio Osorio 001; Juan Carlos Nieves; Ignasi Gómez-Sebastià (COMMA, 2010)

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)

Motifs recognition in DNA sequences comparing the motif finding automaton algorithm against a traditional approach. - Yazmín Magallanes-Velázquez; Iván Olmos; Mauricio Javier Osorio Galindo; Luis Oscar Peredo-Cholula; Christian Sarmiento-Vera (CONIELECOMP, 2010)

Digital design vercation based on P-stable semantics. - Claudia Zepeda; José Raymundo Marcial-Romero; Mauricio Javier Osorio Galindo; Hilda Castillo; Daniel Quintos; Sergio Arzola (CONIELECOMP, 2010)

Possibilistic Semantics for Logic Programs with Ordered Disjunction. - Roberto Confalonieri 001; Juan Carlos Nieves; Mauricio Osorio 001; Javier Vázquez-Salceda (FoIKS, 2010)

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

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

Guest Editorial: Fifth Latin American Workshop on Non-Monotonic Reasoning 2009, (LANMR'09). - Mauricio Javier Osorio Galindo; Claudia Zepeda Cortés (Inteligencia Artif., 2010)

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

Extending the Grounded Semantics by Logic Programming Semantics. - Juan Carlos Nieves; Mauricio Osorio 001; Ulises Cortés (CCIA, 2011)

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)

A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory. - Juan Carlos Nieves; Mauricio Osorio 001; Claudia Zepeda (Fundam. Informaticae, 2011)

Preface. - Mauricio Osorio 001; Victor W. Marek (Fundam. Informaticae, 2011)

Foreword. - Roberto Rosas-Romero; Mauricio Javier Osorio Galindo; Pedro Bañuelos Sánchez (CONIELECOMP, 2012)

Decision Analysis with Logic and Mathematical Programming. - Mauricio Osorio 001; Alejandro Santoyo (LA-NMR, 2012)

Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach. - Juan Carlos Nieves; Mauricio Osorio 001; Helena Lindgren (SAIS, 2012)

Dealing with explicit preferences and uncertainty in answer set programming. - Roberto Confalonieri 001; Juan Carlos Nieves; Mauricio Osorio 001; Javier Vázquez-Salceda (Ann. Math. Artif. Intell., 2012)

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

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

Complete Extensions as Clark's Completion Semantics. - Mauricio Osorio 001; Juan Carlos Nieves; Alejandro Santoyo (ENC, 2013)

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

Preferred Extensions as Minimal Models of Clark's Completion Semantics. - Mauricio Osorio 001; Alejandro Santoyo (Res. Comput. Sci., 2013)

Semantics for Possibilistic Disjunctive Programs. - Juan Carlos Nieves; Mauricio Osorio 001; Ulises Cortés (Theory Pract. Log. Program., 2013)

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

Computing Semi-Stable Semantics of AF by 0-1 Integer Programming. - Mauricio Osorio 001; Juan Díaz 002; Alejandro Santoyo (LANMR, 2014)

A Single Proof of Classical Behaviour in Da Costa's Cn Systems. - Mauricio Osorio 001; José Abel Castellanos Joo (LANMR, 2014)

Modeling Natural Language Metaphors with an Answer Set Programming Framework. - Juan Carlos Acosta Guadarrama; Rogelio Dávila-Pérez; Mauricio Osorio 001; Victor Hugo Zaldivar (MICAI (1), 2014)

Computing Preferred Semantics: Comparing Two ASP Approaches vs an Approach Based on 0-1 Integer Programming. - Mauricio Osorio 001; Juan Díaz 002; Alejandro Santoyo (MICAI (1), 2014)

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

A Single Proof of Classical Behaviour in da Costa's Cn Systems. - Mauricio Osorio 001; José Abel Castellanos (LANMR (Selected Papers), 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)

Computing stable semantics of AF by 0-1 integer programming. - Mauricio Osorio 001; Juan Díaz 002; Alejandro Santoyo (CONIELECOMP, 2015)

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)

Range-based argumentation semantics as 2-valued models. - Mauricio Osorio 001; Juan Carlos Nieves (CoRR, 2016)

Defining Stage Argumentation Semantics in Terms of an Abducible Semantics. - Mauricio Osorio 001; José Luis Carballido; Claudia Zepeda (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)

Ideal extensions as logical programming models. - Juan Carlos Nieves; Mauricio Osorio 001 (J. Log. Comput., 2016)

0-1 Integer Programming for Computing Semi-Stable Semantics of Argumentation Frameworks. - Mauricio Osorio 001; Juan Díaz 002; Alejandro Santoyo (Computación y Sistemas, 2017)

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

Equivalence among RC-type paraconsistent logics. - Mauricio Osorio 001; José Abel Castellanos Joo (Log. J. IGPL, 2017)

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)

Range-based argumentation semantics as two-valued models. - Mauricio Osorio 001; Juan Carlos Nieves (Theory Pract. Log. Program., 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)

Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs. - Juan Carlos Nieves; Mauricio Osorio 001 (Sci. Program., 2018)

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

Methodology to represent functions in logic BL⊃. - Mauricio Osorio 001; Daniela Hernández-Grijalva; Alejandro Hernández-Tello (LANMR, 2019)

Three new genuine five-valued logics. - Mauricio Osorio 001; Claudia Zepeda (LANMR, 2019)

Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts. - Mauricio Osorio 001; Claudia Zepeda (LANMR (Selected Papers), 2019)

Towards an answer set programming methodology for constructing programs following a semi-automatic approach. - Flavio Everardo; Mauricio Osorio 001 (LANMR, 2019)

Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version. - Flavio Everardo; Mauricio Osorio 001 (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)

Creative Composition Problem: A Knowledge Graph Logical-Based AI Construction and Optimization Solution - Applied in Cecilia: An Architecture of a Digital Companion Artificial Intelligence (AI) Agent System Composer of Dialogue Scripts for Well-Being and Mental Health. - Mauricio Javier Osorio Galindo; Luis Angel Montiel Moreno (GKR, 2020)

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)

A family of genuine and non-algebraisable C-systems. - Mauricio Osorio 001; Aldo Figallo Orellano; Miguel Pérez-Gaspar (J. Appl. Non Class. Logics, 2021)

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

An Alternative Definition of Stable Models Via Łukasiewicz Logic. - Mauricio Osorio 001; Aldo Figallo Orellano; Diego Huerta (Computación y Sistemas (CyS), 2023)