Mauricio Osorio

Mauricio Javier Osorio Galindo

Fundación Universidad de las Américas, Puebla, México

other persons with the same name:

• Mauricio Osorio 0002 - Universidad Nacional de Colombia

	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		Mauricio Osorio, Victor W. Marek: Preface. Fundam. Inform. 113(1) (2011)
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
	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		Mauricio Osorio, Ivan Olmos: Preface. J. Algorithms 64(1): 1-2 (2009)
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		Mauricio Osorio, Juan Carlos Nieves: Possibilistic Well-Founded Semantics. MICAI 2009: 15-26
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		Mauricio Osorio: GLukG logic and its application for non-monotonic reasoning. LA-NMR 2007
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		Mauricio Osorio, Claudia Zepeda: Preferences using Answer Sets. LA-NMR 2006
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		Mauricio Osorio, Claudia Zepeda: Answer Set General Theories and Preferences. MICAI 2006: 59-69
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		Mauricio Osorio, Juan Antonio Navarro Pérez: Answer Set Programming and S4. IBERAMIA 2004: 353
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		Mauricio Osorio, Enrique Corona: The A-Pol System. Answer Set Programming 2003
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		Mauricio Osorio, Fernando Zacarias: High-Level Logic Programming. FoIKS 2000: 226-240
c8		Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarias, Erika Saucedo: Knowledge Representation Using High-Level Non-monotonic Reasoning. MICAI 2000: 13-24
	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		Mauricio Osorio: Semantics of Partial-Order Programs. JELIA 1998: 47-61
	1997
c4		Jürgen Dix, Mauricio Osorio: On Well-Behaved Semantics Suitable for Aggregation. ILPS 1997: 405
	1996
c3		Mauricio Osorio, Bharat Jayaraman: Aggregation and Well-Founded Semantics. NMELP 1996: 71-90
	1995
c2		Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon: Partial Order Programming (Revisited). AMAST 1995: 561-575
	1993
c1		Mauricio Osorio, Bharat Jayaraman: Subset Assertions and Negation As Failure. ILPS 1993: 637

Coauthor Index

Colors in the list of coauthors

Last update Mon May 20 09:46:03 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page