Mauricio Osorio

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 21

Top Venues

LANMR

MICAI (1)

LANMR (Selected Papers)

Electron. Notes Theor. Comput. Sci.

Publications

Mauricio Osorio, Aldo Figallo Orellano, Diego Huerta
An Alternative Definition of Stable Models Via Łukasiewicz Logic. Computación y Sistemas (CyS) 27 (1) (2023)
Mauricio Osorio, José Luis Carballido
A 4-Valued Logic that Extends the Paraconsistent Logic G'3. Computación y Sistemas (CyS) 27 (1) (2023)
Mauricio Osorio, Aldo Figallo Orellano, Miguel Pérez-Gaspar
A family of genuine and non-algebraisable C-systems. J. Appl. Non Class. Logics 31 (1) (2021)
Flavio Everardo, Mauricio Osorio
Towards an answer set programming methodology for constructing programs following a semi-automatic approach. LANMR (2019)
Mauricio Osorio, Claudia Zepeda
Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts. LANMR (Selected Papers) (2019)
Flavio Everardo, Mauricio Osorio
Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version. LANMR (Selected Papers) (2019)
Mauricio Osorio, Daniela Hernández-Grijalva, Alejandro Hernández-Tello
. LANMR (2019)
Jaime Díaz, José Luis Carballido, Mauricio Osorio
Béziau's SP3A Logic and Logic Programming. Res. Comput. Sci. 148 (3) (2019)
Mauricio Osorio, José Luis Carballido Carranza
An Extension of the Stable Semantics via Lukasiewicz Logic. LANMR (Selected Papers) (2019)
Mauricio Osorio, José Luis Carballido
An extension of the stable semantics via Lukasiewicz logic. LANMR (2019)
Mauricio Osorio, Claudia Zepeda
Three new genuine five-valued logics. LANMR (2019)
Jaime Díaz, José Luis Carballido, Mauricio Osorio, Claudia Zepeda
Lukasiewicz' 3-valued logic can not be expressed in terms of SP3A logic. LANMR (2018)
Juan Carlos Nieves, Mauricio Osorio
Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs. Sci. Program. 2018 (2018)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
Abducible Semantics and Argumentation. Fundam. Informaticae 155 (3) (2017)
Mauricio Osorio, Juan Díaz, Alejandro Santoyo
0-1 Integer Programming for Computing Semi-Stable Semantics of Argumentation Frameworks. Computación y Sistemas 21 (3) (2017)
Mauricio Osorio, Juan Carlos Nieves
Range-based argumentation semantics as two-valued models. Theory Pract. Log. Program. 17 (1) (2017)
Mauricio Osorio, José Abel Castellanos Joo
Equivalence among RC-type paraconsistent logics. Log. J. IGPL 25 (2) (2017)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
Defining Stage Argumentation Semantics in Terms of an Abducible Semantics. Electron. Notes Theor. Comput. Sci. 328 (2016)
Mauricio Osorio, Juan Carlos Nieves
Range-based argumentation semantics as 2-valued models. CoRR (2016)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
Characterizing stage argumentation semantics based on stable abducible semantics. LANMR (2016)
Juan Carlos Nieves, Mauricio Osorio
Ideal extensions as logical programming models. J. Log. Comput. 26 (5) (2016)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda, José Abel Castellanos
Weakening and Extending ℤ. Logica Universalis 9 (3) (2015)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
. Electron. Notes Theor. Comput. Sci. 315 (2015)
Mauricio Osorio, Juan Díaz, Alejandro Santoyo
Computing stable semantics of AF by 0-1 integer programming. CONIELECOMP (2015)
Mauricio Osorio, José Abel Castellanos
Systems. Electron. Notes Theor. Comput. Sci. 315 (2015)
Mauricio Osorio, Juan Díaz, Alejandro Santoyo
Computing Semi-Stable Semantics of AF by 0-1 Integer Programming. LANMR (2014)
Juan Carlos Acosta Guadarrama, Rogelio Dávila-Pérez, Mauricio Osorio, Victor Hugo Zaldivar
Modeling Natural Language Metaphors with an Answer Set Programming Framework. MICAI (1) (2014)
Mauricio Osorio, Juan Díaz, Alejandro Santoyo
Computing Preferred Semantics: Comparing Two ASP Approaches vs an Approach Based on 0-1 Integer Programming. MICAI (1) (2014)
Mauricio Osorio, Claudia Zepeda, José Luis Carballido
Preferences for Argumentation Semantics. MICAI (1) (2014)
Mauricio Osorio, José Abel Castellanos Joo
A Single Proof of Classical Behaviour in Da Costa's Cn Systems. LANMR (2014)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
Revisiting C1. LANMR (2014)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
Revisiting ℤ. Notre Dame J. Formal Log. 55 (1) (2014)
Mauricio Osorio, Alejandro Santoyo
Preferred Extensions as Minimal Models of Clark's Completion Semantics. Res. Comput. Sci. 68 (2013)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
Some Properties of Logic N-GLukG. MICAI (1) (2013)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
. AMW (2013)
Mauricio Osorio, Juan Carlos Nieves, Alejandro Santoyo
Complete Extensions as Clark's Completion Semantics. ENC (2013)
Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
Semantics for Possibilistic Disjunctive Programs. Theory Pract. Log. Program. 13 (1) (2013)
Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda
Dealing with explicit preferences and uncertainty in answer set programming. Ann. Math. Artif. Intell. 65 (2-3) (2012)
Mauricio Osorio, Alejandro Santoyo
Decision Analysis with Logic and Mathematical Programming. LA-NMR (2012)
Juan Carlos Nieves, Mauricio Osorio, Helena Lindgren
Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach. SAIS (2012)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda, Zenaida Cruz
Characterization of Argumentation Semantics in Terms of the MM r Semantics. MICAI (1) (2011)
Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
Semantics for Possibilistic Disjunctive Programs CoRR (2011)
Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda
A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory. Fundam. Informaticae 106 (2-4) (2011)
Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
Extending the Grounded Semantics by Logic Programming Semantics. CCIA (2011)
Claudia Zepeda, José Luis Carballido, J. Manuel Amezcua, Oscar De Leon, Javier A. Martinez, Mauricio Osorio
Modeling production of resources using Answer Set Planning. CONIELECOMP (2011)
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
An Application of Clasp in the Study of Logics. LPNMR (2011)
Mauricio Osorio, Juan Carlos Nieves, José Luis Carballido
The Stable Abducible Argumentation Semantics. LA-NMR (2011)
Mauricio Osorio, Victor W. Marek
Preface. Fundam. Informaticae 113 (1) (2011)
José Luis Carballido, Mauricio Osorio, José Arrazola
-stable models semantics. J. Appl. Log. 8 (1) (2010)
Oscar Estrada, José Arrazola, Mauricio Osorio
A Possibilistic Intuitionistic Logic. MICAI (1) (2010)
Claudia Zepeda, José Luis Carballido, Mario Rossainz López, Mauricio Osorio
Updates Based on ASP. MICAI (Special Sessions) (2010)
Mauricio Osorio, Juan Carlos Nieves, Ignasi Gómez-Sebastià
CF2-extensions as Answer-set Models. COMMA (2010)
Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda
Possibilistic Semantics for Logic Programs with Ordered Disjunction. FoIKS (2010)
Mauricio Osorio, Juan Carlos Nieves
Possibilistic Well-Founded Semantics. MICAI (2009)
Mauricio Osorio, Iván Olmos
Preface. J. Algorithms 64 (1) (2009)
José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio
Inferring Preferred Extensions by Pstable Semantics. Inteligencia Artif. 13 (41) (2009)
Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda
Expressing Extension-Based Semantics Based on Stratified Minimal Models. WoLLIC (2009)
Mauricio Osorio, Claudia Zepeda
Guest Editorial: Workshops by the Logic and Computation Mexican Group. Inteligencia Artif. 13 (41) (2009)
Mauricio Osorio, Claudia Zepeda, Hilda Castillo
A Formal Design Model for Mechatronic Systems. CONIELECOMP (2009)
Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, José Luis Carballido
G'3-Stable Semantics and Inconsistency. Computación y Sistemas 13 (1) (2009)
Mauricio Osorio, Simone Pascucci
The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. LPNMR (2009)
Mauricio Osorio, Angel Marín George, Juan Carlos Nieves
Computing the Stratified Minimal Models Semantic. LA-NMR (2009)
Juan Carlos Nieves, Mauricio Osorio
Possibilistic Stratified Minimal Model Semantics. ENC (2009)
Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio
Possibilistic-Based Argumentation: An Answer Set Programming Approach. ENC (2008)
Mauricio Osorio, Claudia Zepeda
Pstable Theories and Preferences. CONIELECOMP (2008)
Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
An Overview of Argumentation Semantics. Computación y Sistemas 12 (1) (2008)
Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio
Preferred extensions as stable models. Theory Pract. Log. Program. 8 (4) (2008)
Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
Preferred extensions as stable models CoRR (2008)
Mauricio Osorio, Juan Carlos Nieves
PStable Semantics for Possibilistic Logic Programs. MICAI (2007)
Mauricio Osorio
GLukG logic and its application for non-monotonic reasoning. LA-NMR (2007)
José Luis Carballido, José Arrazola, Mauricio Osorio
Equivalence for the G3'-stable models semantics. LA-NMR (2007)
Mauricio Osorio, Claudia Zepeda
A semantics for updates consisting of a sequence of programs. CONIELECOMP (2007)
Magdalena Ortiz, Mauricio Osorio
Strong Negation and Equivalence in the Safe Belief Semantics. J. Log. Comput. 17 (3) (2007)
Juan Carlos Nieves, Mauricio Osorio
Generating maximal models using the stable model semantics. LA-NMR (2007)
Juan Carlos Nieves, Mauricio Osorio
Inferring preferred extensions by Pstable semantics. LA-NMR (2007)
Mauricio Osorio, Claudia Zepeda
Update Sequences Based on Minimal Generalized Pstable Models. MICAI (2007)
Mauricio Osorio, Víctor Cuevas
Updates in answer set programming: An approach based on basic structural properties. Theory Pract. Log. Program. 7 (4) (2007)
Iván Olmos, Jesús A. González, Mauricio Osorio
Reductions between the Subgraph Isomorphism Problem and Hamiltonian and SAT Problems. CONIELECOMP (2007)
Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, Francisco Caballero, Antonio López-Navidad
Reasoning about actions under uncertainty: A possibilistic approach. CCIA (2007)
Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
Semantics for Possibilistic Disjunctive Programs. LPNMR (2007)
Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio, Iván Olmos, Jesus A. Gonzalez
Defining new argumentation-based semantics by minimal models. ENC (2006)
Mauricio Osorio, Víctor Cuevas
Updates in Answer Set Programming: An Approach Based on Basic Structural Properties CoRR (2006)
Mauricio Osorio, Claudia Zepeda
Preferences using Answer Sets. LA-NMR (2006)
Mauricio Osorio, Claudia Zepeda
Minimal Generalized Answer-Sets and their Applications. LoLaCOM (2006)
Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio
Supporting decision making in organ transplanting using argumentation theory. LA-NMR (2006)
Mauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías
Logics with Common Weak Completions. J. Log. Comput. 16 (6) (2006)
Mauricio Osorio, Claudia Zepeda
Answer Set General Theories and Preferences. MICAI (2006)
Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada
An Axiomatization of G'3. LoLaCOM (2006)
Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada
Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. LoLaCOM (2006)
Mauricio Osorio, Alejandra López
Expressing the Stable Semantics in Terms of the Pstable Semantics. LoLaCOM (2006)
Iván Olmos, Jesus A. Gonzalez, Mauricio Osorio
Inexact Graph Matching: A Case of Study. FLAIRS Conference (2006)
Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés
Inferring acceptable arguments with Answer Set Programming. ENC (2005)
Iván Olmos, Jesus A. Gonzalez, Mauricio Osorio
Mining Common Patterns on Graphs. CIS (1) (2005)
Magdalena Ortiz, Mauricio Osorio
Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Answer Set Programming (2005)
Iván Olmos, Jesus A. Gonzalez, Mauricio Osorio
Subgraph Isomorphism Detection Using a Code Based Representation. FLAIRS Conference (2005)
Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol
Applications of Preferences using Answer Set Programming. Answer Set Programming (2005)
Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio
Application of ASP for Agent Modelling in CSCL Environments. MICAI (2005)
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
Safe beliefs for propositional theories. Ann. Pure Appl. Log. 134 (1) (2005)
Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio
Agent Modelling for CSCL Environments using Answer Sets Programming. ENC (2005)
Claudia Zepeda, Mauricio Osorio, David Sol
Modeling Evacuation Planning Using A-Prolog. CONIELECOMP (2005)

Mauricio Osorio.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mauricio Osorio