Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mauricio Osorio
Mauricio Javier Osorio Galindo
Author information
- Fundación Universidad de las Américas, Puebla, México
Other persons with the same name
- Mauricio Osorio 0002 — Universidad Nacional de Colombia
2010 – today
- 2013
[j27]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs. TPLP 13(1): 33-70 (2013)- 2012
- [j26]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): 159-198 (2012)
- [j25]Oscar Hernán Estrada-Estrada, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo: Possibilistic intermediate logic. IJAIP 4(2): 149-167 (2012)
- [c66]Roberto Rosas-Romero, Mauricio Javier Osorio Galindo, Pedro Bañuelos Sánchez: Foreword. CONIELECOMP 2012
- [c65]Mauricio Osorio, Alejandro Santoyo: Decision Analysis with Logic and Mathematical Programming. LA-NMR 2012: 109-116
- [e9]Pedro Bañuelos Sánchez, Roberto Rosas-Romero, Mauricio Javier Osorio Galindo (Eds.): 22nd International Conference on Electrical Communications and Computers, CONIELECOMP 2012, Cholula, Puebla, Mexico, February 27-29, 2012. IEEE 2012, ISBN 978-1-4577-1326-2
- [e8]Mauricio Osorio, Claudia Zepeda, Ivan Olmos, José Luis Carballido, R. Carolina Medina Ramírez (Eds.): Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, México, D.F., September 10-11, 2012. CEUR Workshop Proceedings 911, CEUR-WS.org 2012
- 2011
- [j24]Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda: A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory. Fundam. Inform. 106(2-4): 295-319 (2011)
- [j23]
- [c64]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Extending the Grounded Semantics by Logic Programming Semantics. CCIA 2011: 169-178
- [c63]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: 244-249
- [c62]Mauricio Osorio, Juan Carlos Nieves, José Luis Carballido: The Stable Abducible Argumentation Semantics. LA-NMR 2011: 57-68
- [c61]Mauricio Osorio, José Luis Carballido, Claudia Zepeda: An Application of Clasp in the Study of Logics. LPNMR 2011: 278-283
- [c60]Mauricio Osorio, José Luis Carballido, Claudia Zepeda, Zenaida Cruz: Characterization of Argumentation Semantics in Terms of the MM r Semantics. MICAI (1) 2011: 16-27
- [e7]Mauricio Osorio, Claudia Zepeda, Ivan Olmos, José Luis Carballido, José Arrazola, Carolina Medina (Eds.): Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011. CEUR Workshop Proceedings 804, CEUR-WS.org 2011
- [i4]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs. CoRR abs/1106.0776 (2011)
- 2010
- [j22]Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés: Guest Editorial: Fifth Latin American Workshop on Non-Monotonic Reasoning 2009, (LANMR'09). Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 14(48): 1-2 (2010)
- [j21]José Luis Carballido, Mauricio Osorio, José Arrazola: Equivalence for the G'3-stable models semantics. J. Applied Logic 8(1): 82-96 (2010)
- [c59]Mauricio Osorio, Juan Carlos Nieves, Ignasi Gómez-Sebastià: CF2-extensions as Answer-set Models. COMMA 2010: 391-402
- [c58]Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda: Possibilistic Semantics for Logic Programs with Ordered Disjunction. FoIKS 2010: 133-152
- [c57]Claudia Zepeda, José Luis Carballido, Mario Rossainz, Mauricio Osorio: Updates Based on ASP. MICAI (Special Sessions) 2010: 63-66
- [c56]Oscar Estrada, José Arrazola, Mauricio Osorio: A Possibilistic Intuitionistic Logic. MICAI (1) 2010: 362-373
2000 – 2009
- 2009
- [j20]Mauricio Osorio, Claudia Zepeda: Guest Editorial: Workshops by the Logic and Computation Mexican Group. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 13(41): 1-3 (2009)
- [j19]José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio: Inferring Preferred Extensions by Pstable Semantics. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 13(41): 38-53 (2009)
- [j18]Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, José Luis Carballido: G'3-Stable Semantics and Inconsistency. Computación y Sistemas 13(1) (2009)
- [j17]
- [c55]Mauricio Osorio, Claudia Zepeda, Hilda Castillo: A Formal Design Model for Mechatronic Systems. CONIELECOMP 2009: 125-129
- [c54]Mauricio Osorio, Angel Marin-George, Juan Carlos Nieves: Computing the Stratified Minimal Models Semantic. LA-NMR 2009: 157-171
- [c53]Mauricio Osorio, Simone Pascucci: The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. LPNMR 2009: 464-469
- [c52]
- [c51]Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda: Expressing Extension-Based Semantics Based on Stratified Minimal Models. WoLLIC 2009: 305-319
- [e6]Mauricio Osorio, Claudia Zepeda, Ivan Olmos, Carolina Medina, José Arrazola (Eds.): Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias Básicas, Ingeniería y Tecnología , Universidad Autónoma de Tlaxcala (UAT) , Apizaco, Tlaxcala, México, November 5-6, 2009. CEUR Workshop Proceedings 533, CEUR-WS.org 2009
- 2008
- [j16]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: An Overview of Argumentation Semantics. Computación y Sistemas 12(1) (2008)
- [j15]Mauricio Javier Osorio Galindo, José R. Arrazola Ramírez, José Luis Carballido: Logical Weak Completions of Paraconsistent Logics. J. Log. Comput. 18(6): 913-940 (2008)
- [j14]Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Preferred extensions as stable models. TPLP 8(4): 527-543 (2008)
- [c50]Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Possibilistic-Based Argumentation: An Answer Set Programming Approach. ENC 2008: 249-260
- [e5]Mauricio Osorio, Ivan Olmos (Eds.): Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, Puebla, México, October 22-24, 2008. CEUR Workshop Proceedings 408, CEUR-WS.org 2008
- [i3]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Preferred extensions as stable models. CoRR abs/0803.3812 (2008)
- 2007
- [j13]Fernando Zacarías Flores, Mauricio Javier Osorio Galindo, Edgar Fernandez Plascencia: Updates Under Pstable. Engineering Letters 15(2): 311-315 (2007)
- [j12]Magdalena Ortiz, Mauricio Osorio: Strong Negation and Equivalence in the Safe Belief Semantics. J. Log. Comput. 17(3): 499-515 (2007)
- [j11]Mauricio Osorio, Víctor Cuevas: Updates in answer set programming: An approach based on basic structural properties. TPLP 7(4): 451-479 (2007)
- [c49]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, Francisco Caballero, Antonio López-Navidad: Reasoning about actions under uncertainty: A possibilistic approach. CCIA 2007: 300-309
- [c48]José Luis Carballido, José Arrazola, Mauricio Osorio: Equivalence for the G3'-stable models semantics. LA-NMR 2007
- [c47]Juan Carlos Nieves, Mauricio Osorio: Generating maximal models using the stable model semantics. LA-NMR 2007
- [c46]Juan Carlos Nieves, Mauricio Osorio: Inferring preferred extensions by Pstable semantics. LA-NMR 2007
- [c45]
- [c44]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs. LPNMR 2007: 315-320
- [c43]Mauricio Osorio, Claudia Zepeda: Update Sequences Based on Minimal Generalized Pstable Models. MICAI 2007: 283-293
- [c42]Mauricio Osorio, Juan Carlos Nieves: PStable Semantics for Possibilistic Logic Programs. MICAI 2007: 294-304
- [e4]José Arrazola, Pilar Pozos Parra, Mauricio Osorio, Claudia Zepeda (Eds.): Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th - 19th September 2007. CEUR Workshop Proceedings 286, CEUR-WS.org 2007
- 2006
- [j10]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): 867-890 (2006)
- [c41]Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio, Ivan Olmos, Jesus A. Gonzalez: Defining new argumentation-based semantics by minimal models. ENC 2006: 210-220
- [c40]Ivan Olmos, Jesus A. Gonzalez, Mauricio Osorio: Inexact Graph Matching: A Case of Study. FLAIRS Conference 2006: 586-591
- [c39]Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Supporting decision making in organ transplanting using argumentation theory. LA-NMR 2006
- [c38]
- [c37]Mauricio Osorio, Alejandra López: Expressing the Stable Semantics in Terms of the Pstable Semantics. LoLaCOM 2006
- [c36]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
- [c35]Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada: An Axiomatization of G'3. LoLaCOM 2006
- [c34]
- [c33]Mauricio Osorio, Claudia Zepeda: Minimal Generalized Answer-Sets and their Applications. LoLaCOM 2006
- [e3]Mauricio Osorio, Claudia Zepeda, Pilar Pozos Parra, Guillermo De Ita Luna (Eds.): Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR06 Workshop, Facultad de Ingeniería de la Universidad Auónoma de San Luis Potí, San Luis Potosí, México, September 18, 2006. CEUR Workshop Proceedings 217, CEUR-WS.org 2006
- [e2]Rogelio Dávila, Mauricio Osorio, Claudia Zepeda (Eds.): Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, México, 13th - 14th November 2006. CEUR Workshop Proceedings 220, CEUR-WS.org 2006
- [i2]Mauricio Osorio, Víctor Cuevas: Updates in Answer Set Programming: An Approach Based on Basic Structural Properties. CoRR abs/cs/0609167 (2006)
- 2005
- [j9]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Safe beliefs for propositional theories. Ann. Pure Appl. Logic 134(1): 63-82 (2005)
- [j8]Mauricio Javier Osorio Galindo, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías: Ground Nonmonotonic Modal Logic S5: New Results. J. Log. Comput. 15(5): 787-813 (2005)
- [c32]Magdalena Ortiz, Mauricio Osorio: Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Answer Set Programming 2005
- [c31]Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol: Applications of Preferences using Answer Set Programming. Answer Set Programming 2005
- [c30]Ivan Olmos, Jesus A. Gonzalez, Mauricio Osorio: Mining Common Patterns on Graphs. CIS (1) 2005: 41-48
- [c29]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: Algorithms for the Typing of Related DNA Sequences. CONIELECOMP 2005: 268-271
- [c28]Claudia Zepeda, Mauricio Osorio, David Sol: Modeling Evacuation Planning Using A-Prolog. CONIELECOMP 2005: 292-297
- [c27]Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés: Inferring acceptable arguments with Answer Set Programming. ENC 2005: 198-205
- [c26]Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio: Agent Modelling for CSCL Environments using Answer Sets Programming. ENC 2005: 214-221
- [c25]Ivan Olmos, Jesus A. Gonzalez, Mauricio Osorio: Subgraph Isomorphism Detection Using a Code Based Representation. FLAIRS Conference 2005: 474-479
- [c24]Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio: Application of ASP for Agent Modelling in CSCL Environments. MICAI 2005: 109-118
- 2004
- [j7]Mauricio Osorio, Juan Carlos Nieves, Bharat Jayaraman: Aggregation in Functional Query Languages. Journal of Functional and Logic Programming 2004 (2004)
- [j6]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming. TPLP 4(3): 325-354 (2004)
- [c23]Javier Garcés Eisele, Carolina Yolanda Castañeda Roldán, Mauricio Javier Osorio Galindo, Ma. del Pilar Gómez Gil: Usefulness of Solution Algorithms of the Traveling Salesman Problem in the Typing of Biological Sequences in a Clinical Laboratory Setting. CONIELECOMP 2004: 264-271
- [c22]Mauricio Osorio, Fernando Zacarias: On Updates of Logic Programs: A Properties-Based Approach. FoIKS 2004: 231-241
- [c21]Mauricio Osorio, Verónica Borja Macías, José Arrazola: Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. IBERAMIA 2004: 343-352
- [c20]
- [c19]Mauricio Osorio, Verónica Borja Macías, José Arrazola: Closing the Gap between the Stable Semantics and Extensions of WFS. MICAI 2004: 202-211
- [e1]Mauricio Osorio, Alessandro Provetti (Eds.): Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. LA-NMR04 Workshop, Antiguo Colegio de San Ildefonso, Mexico City, D.F , Mexico, April 26th 2004. CEUR Workshop Proceedings 92, CEUR-WS.org 2004
- 2003
- [c18]Juan Carlos Acosta Guadarrama, Mauricio Javier Osorio Galindo: Towards Modelling an Intelligent Calendar Agent with LUPS. Applied Informatics 2003: 60-65
- [c17]
- [c16]Mauricio Osorio, Fernando Zacarias: New properties on the update operator\oplus. Answer Set Programming 2003
- [c15]Mauricio Osorio, Claudia Zepeda: Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS. Answer Set Programming 2003
- [c14]Magdalena Ortiz, Gerardo Ayala, Mauricio Osorio: Formalizing the Learner Model for CSCL Environments. ENC 2003: 151-158
- [i1]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming. CoRR cs.LO/0305046 (2003)
- 2002
- [j5]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: A logical approach to A-Prolog. Electr. Notes Theor. Comput. Sci. 67: 284-295 (2002)
- [c13]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Debugging in A-Prolog: A Logical Approach. ICLP 2002: 482-483
- 2001
- [j4]Jürgen Dix, Mauricio Osorio, Claudia Zepeda: A general theory of confluent rewriting systems for logic programming and its applications. Ann. Pure Appl. Logic 108(1-3): 153-188 (2001)
- [c12]Mauricio Osorio, Juan Carlos Nieves: Stratified Partial-Order Logic Programming. Canadian Conference on AI 2001: 225-235
- [c11]Mauricio Osorio, Juan Carlos Nieves, Chris Giannella: Useful Transformations in Answer set programming. Answer Set Programming 2001
- [c10]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Equivalence in Answer Set Programming. LOPSTR 2001: 57-75
- 2000
- [c9]
- [c8]Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarias, Erika Saucedo: Knowledge Representation Using High-Level Non-monotonic Reasoning. MICAI 2000: 13-24
1990 – 1999
- 1999
- [j3]José Arrazola, Jürgen Dix, Mauricio Osorio: Confluent Rewriting systems in Non-Monotonic Reasoning. Computación y Sistemas 2(2-3): 104-123 (1999)
- [j2]Mauricio Osorio, Bharat Jayaraman: Aggregation and Negation-As-Failure. New Generation Comput. 17(3): 255-284 (1999)
- [j1]Mauricio Osorio, Bharat Jayaraman, David A. Plaisted: Theory of Partial-Order Programming. Sci. Comput. Program. 34(3): 207-238 (1999)
- [c7]Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves: Declarative Pruning in a Functional Query Language. ICLP 1999: 588-604
- 1998
- [c6]Mauricio Osorio, Bharat Jayaraman: Integrating the Completion and the Well Founded Semantics. IBERAMIA 1998: 230-241
- [c5]
- 1997
- [c4]
- 1996
- [c3]
- 1995
- [c2]Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon: Partial Order Programming (Revisited). AMAST 1995: 561-575
- 1993
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:10 CEST by the dblp team