Mauricio Osorio

Mauricio Javier Osorio Galindo

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

other persons with the same name:

• Mauricio Osorio - Universidad Nacional de Colombia

	2012
93		Pedro Bañuelos Sánchez, Roberto Rosas-Romero, Mauricio Javier Osorio Galindo: 22nd International Conference on Electrical Communications and Computers, CONIELECOMP 2012, Cholula, Puebla, Mexico, February 27-29, 2012 IEEE 2012
92		Roberto Rosas-Romero, Mauricio Javier Osorio Galindo, Pedro Bañuelos Sánchez: Foreword. CONIELECOMP 2012
	2011
91		Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Extending the Grounded Semantics by Logic Programming Semantics. CCIA 2011: 169-178
90		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
89		Mauricio Osorio, José Luis Carballido, Claudia Zepeda: An Application of Clasp in the Study of Logics. LPNMR 2011: 278-283
88		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
87		Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs CoRR abs/1106.0776: (2011)
86		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)
85		Mauricio Osorio, Victor W. Marek: Preface. Fundam. Inform. 113(1): (2011)
	2010
84		Mauricio Osorio, Juan Carlos Nieves, Ignasi Gómez-Sebastià: CF2-extensions as Answer-set Models. COMMA 2010: 391-402
83		Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda: Possibilistic Semantics for Logic Programs with Ordered Disjunction. FoIKS 2010: 133-152
82		Oscar Estrada, José Arrazola, Mauricio Osorio: A Possibilistic Intuitionistic Logic. MICAI (1) 2010: 362-373
81		Claudia Zepeda, José Luis Carballido, Mario Rossainz, Mauricio Osorio: Updates Based on ASP. MICAI (Special Sessions) 2010: 63-66
80		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)
79		José Luis Carballido, Mauricio Osorio, José Arrazola: Equivalence for the G'3-stable models semantics. J. Applied Logic 8(1): 82-96 (2010)
	2009
78		Mauricio Osorio, Claudia Zepeda, Hilda Castillo: A Formal Design Model for Mechatronic Systems. CONIELECOMP 2009: 125-129
77		Mauricio Osorio, Simone Pascucci: The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. LPNMR 2009: 464-469
76		Mauricio Osorio, Juan Carlos Nieves: Possibilistic Well-Founded Semantics. MICAI 2009: 15-26
75		Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda: Expressing Extension-Based Semantics Based on Stratified Minimal Models. WoLLIC 2009: 305-319
74		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)
73		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)
72		Mauricio Osorio, Ivan Olmos: Preface. J. Algorithms 64(1): 1-2 (2009)
	2008
71		Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Possibilistic-Based Argumentation: An Answer Set Programming Approach. ENC 2008: 249-260
70		Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Preferred extensions as stable models CoRR abs/0803.3812: (2008)
69		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)
68		Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Preferred extensions as stable models. TPLP 8(4): 527-543 (2008)
	2007
67		José Arrazola, Pilar Pozos Parra, Mauricio Osorio, Claudia Zepeda: 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-WS.org 2007
66		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
65		José Luis Carballido, José Arrazola, Mauricio Osorio: Equivalence for the G3'-stable models semantics. LA-NMR 2007
64		Mauricio Osorio: GLukG logic and its application for non-monotonic reasoning. LA-NMR 2007
63		Juan Carlos Nieves, Mauricio Osorio: Generating maximal models using the stable model semantics. LA-NMR 2007
62		Juan Carlos Nieves, Mauricio Osorio: Inferring preferred extensions by Pstable semantics. LA-NMR 2007
61		Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs. LPNMR 2007: 315-320
60		Mauricio Osorio, Claudia Zepeda: Update Sequences Based on Minimal Generalized Pstable Models. MICAI 2007: 283-293
59		Mauricio Osorio, Juan Carlos Nieves: PStable Semantics for Possibilistic Logic Programs. MICAI 2007: 294-304
58		Fernando Zacarías Flores, Mauricio Javier Osorio Galindo, Edgar Fernandez Plascencia: Updates Under Pstable. Engineering Letters 15(2): 311-315 (2007)
57		Magdalena Ortiz, Mauricio Osorio: Strong Negation and Equivalence in the Safe Belief Semantics. J. Log. Comput. 17(3): 499-515 (2007)
56		Mauricio Osorio, Víctor Cuevas: Updates in answer set programming: An approach based on basic structural properties. TPLP 7(4): 451-479 (2007)
	2006
55		Mauricio Osorio, Claudia Zepeda, Pilar Pozos Parra, Guillermo De Ita Luna: 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-WS.org 2006
54		Rogelio Dávila, Mauricio Osorio, Claudia Zepeda: Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, México, 13th - 14th November 2006 CEUR-WS.org 2006
53		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
52		Ivan Olmos, Jesus A. Gonzalez, Mauricio Osorio: Inexact Graph Matching: A Case of Study. FLAIRS Conference 2006: 586-591
51		Mauricio Osorio, Claudia Zepeda: Preferences using Answer Sets. LA-NMR 2006
50		Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Supporting decision making in organ transplanting using argumentation theory. LA-NMR 2006
49		Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada: An Axiomatization of G'3. LoLaCOM 2006
48		Mauricio Osorio, Alejandra López: Expressing the Stable Semantics in Terms of the Pstable Semantics. LoLaCOM 2006
47		Mauricio Osorio, Claudia Zepeda: Minimal Generalized Answer-Sets and their Applications. LoLaCOM 2006
46		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
45		Mauricio Osorio, Claudia Zepeda: Answer Set General Theories and Preferences. MICAI 2006: 59-69
44		Mauricio Osorio, Víctor Cuevas: Updates in Answer Set Programming: An Approach Based on Basic Structural Properties CoRR abs/cs/0609167: (2006)
43		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)
	2005
42		Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol: Applications of Preferences using Answer Set Programming. Answer Set Programming 2005
41		Magdalena Ortiz, Mauricio Osorio: Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Answer Set Programming 2005
40		Ivan Olmos, Jesus A. Gonzalez, Mauricio Osorio: Mining Common Patterns on Graphs. CIS (1) 2005: 41-48
39		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
38		Claudia Zepeda, Mauricio Osorio, David Sol: Modeling Evacuation Planning Using A-Prolog. CONIELECOMP 2005: 292-297
37		Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés: Inferring acceptable arguments with Answer Set Programming. ENC 2005: 198-205
36		Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio: Agent Modelling for CSCL Environments using Answer Sets Programming. ENC 2005: 214-221
35		Ivan Olmos, Jesus A. Gonzalez, Mauricio Osorio: Subgraph Isomorphism Detection Using a Code Based Representation. FLAIRS Conference 2005: 474-479
34		Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio: Application of ASP for Agent Modelling in CSCL Environments. MICAI 2005: 109-118
33		Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Safe beliefs for propositional theories. Ann. Pure Appl. Logic 134(1): 63-82 (2005)
32		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)
	2004
31		Mauricio Osorio, Alessandro Provetti: 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-WS.org 2004
30		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
29		Mauricio Osorio, Fernando Zacarias: On Updates of Logic Programs: A Properties-Based Approach. FoIKS 2004: 231-241
28		Mauricio Osorio, Verónica Borja Macías, José Arrazola: Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. IBERAMIA 2004: 343-352
27		Mauricio Osorio, Juan Antonio Navarro Pérez: Answer Set Programming and S4. IBERAMIA 2004: 353
26		Mauricio Osorio, Verónica Borja Macías, José Arrazola: Closing the Gap between the Stable Semantics and Extensions of WFS. MICAI 2004: 202-211
25		Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming. TPLP 4(3): 325-354 (2004)
	2003
24		Mauricio Osorio, Fernando Zacarias: New properties on the update operator\oplus. Answer Set Programming 2003
23		Mauricio Osorio, Enrique Corona: The A-Pol System. Answer Set Programming 2003
22		Mauricio Osorio, Claudia Zepeda: Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS. Answer Set Programming 2003
21		Juan Carlos Acosta Guadarrama, Mauricio Javier Osorio Galindo: Towards Modelling an Intelligent Calendar Agent with LUPS. Applied Informatics 2003: 60-65
20		Magdalena Ortiz, Gerardo Ayala, Mauricio Osorio: Formalizing the Learner Model for CSCL Environments. ENC 2003: 151-158
19		Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming CoRR cs.LO/0305046: (2003)
	2002
18		Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Debugging in A-Prolog: A Logical Approach. ICLP 2002: 482-483
17		Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: A logical approach to A-Prolog. Electr. Notes Theor. Comput. Sci. 67: 284-295 (2002)
	2001
16		Mauricio Osorio, Juan Carlos Nieves, Chris Giannella: Useful Transformations in Answer set programming. Answer Set Programming 2001
15		Mauricio Osorio, Juan Carlos Nieves: Stratified Partial-Order Logic Programming. Canadian Conference on AI 2001: 225-235
14		Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Equivalence in Answer Set Programming. LOPSTR 2001: 57-75
13		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)
	2000
12		Mauricio Osorio, Fernando Zacarias: High-Level Logic Programming. FoIKS 2000: 226-240
11		Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarias, Erika Saucedo: Knowledge Representation Using High-Level Non-monotonic Reasoning. MICAI 2000: 13-24
	1999
10		Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves: Declarative Pruning in a Functional Query Language. ICLP 1999: 588-604
9		José Arrazola, Jürgen Dix, Mauricio Osorio: Confluent Rewriting systems in Non-Monotonic Reasoning. Computación y Sistemas 2(2-3): 104-123 (1999)
8		Mauricio Osorio, Bharat Jayaraman: Aggregation and Negation-As-Failure. New Generation Comput. 17(3): 255-284 (1999)
7		Mauricio Osorio, Bharat Jayaraman, David A. Plaisted: Theory of Partial-Order Programming. Sci. Comput. Program. 34(3): 207-238 (1999)
	1998
6		Mauricio Osorio, Bharat Jayaraman: Integrating the Completion and the Well Founded Semantics. IBERAMIA 1998: 230-241
5		Mauricio Osorio: Semantics of Partial-Order Programs. JELIA 1998: 47-61
	1997
4		Jürgen Dix, Mauricio Osorio: On Well-Behaved Semantics Suitable for Aggregation. ILPS 1997: 405
	1996
3		Mauricio Osorio, Bharat Jayaraman: Aggregation and Well-Founded Semantics. NMELP 1996: 71-90
	1995
2		Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon: Partial Order Programming (Revisited). AMAST 1995: 561-575
	1993
1		Mauricio Osorio, Bharat Jayaraman: Subset Assertions and Negation As Failure. ILPS 1993: 637

Coauthor Index

1	J. Manuel Amezcua	[90]
2	Gerardo Ayala (Gerardo Ayala San Martin)	[20] [34] [36]
3	Francisco Caballero	[66]
4	José Luis Carballido	[46] [49] [65] [69] [73] [79] [81] [88] [89] [90]
5	Hilda Castillo	[78]
6	Roberto Confalonieri	[83]
7	Enrique Corona	[23]
8	Claudia Zepeda Cortés (Claudia Zepeda)	[13] [22] [37] [38] [42] [45] [47] [51] [54] [55] [60] [67] [74] [75] [78] [80] [81] [86] [88] [89] [90]
9	Ulises Cortés	[37] [50] [53] [61] [66] [68] [70] [71] [87] [91]
10	Zenaida Cruz	[88]
11	Víctor Cuevas	[44] [56]
12	Rogelio Dávila	[54]
13	Jürgen Dix	[4] [9] [13]
14	Javier Garcés Eisele	[30] [39]
15	Oscar Estrada	[46] [49] [82]
16	Fernando Zacarías Flores	[58]
17	Chris Giannella	[16]
18	Ma. del Pilar Gómez Gil	[30] [39]
19	Ignasi Gómez-Sebastià	[84]
20	Jesus A. Gonzalez (Jesús A. González)	[35] [40] [52] [53]
21	Juan Carlos Acosta Guadarrama	[21]
22	Bharat Jayaraman	[1] [2] [3] [6] [7] [8] [10]
23	Oscar De Leon	[90]
24	Alejandra López	[48]
25	Antonio López-Navidad	[66]
26	Guillermo De Ita Luna	[55]
27	Verónica Borja Macías	[26] [28] [32] [43]
28	Victor W. Marek (V. Wiktor Marek)	[85]
29	Javier A. Martinez	[90]
30	Kyonghee Moon	[2]
31	Juan Carlos Nieves	[10] [11] [15] [16] [37] [42] [50] [53] [59] [61] [62] [63] [66] [68] [70] [71] [73] [75] [76] [83] [84] [86] [87] [91]
32	Ivan Olmos	[35] [40] [52] [53] [72]
33	Magdalena Ortiz (Maria Magdalena Ortiz de la Fuente)	[20] [34] [36] [41] [57]
34	Pilar Pozos Parra	[55] [67]
35	Simone Pascucci	[77]
36	Juan Antonio Navarro Pérez	[14] [17] [18] [19] [25] [27] [32] [33] [43]
37	David A. Plaisted	[7]
38	Edgar Fernandez Plascencia	[58]
39	Alessandro Provetti	[31]
40	José R. Arrazola Ramírez (José Arrazola)	[9] [14] [17] [18] [19] [25] [26] [28] [32] [33] [43] [46] [49] [65] [67] [69] [79] [82]
41	Rocío Santillán Rodríguez	[39]
42	Carolina Yolanda Castañeda Roldán	[30] [39]
43	Roberto Rosas-Romero	[92] [93]
44	Mario Rossainz	[81]
45	Pedro Bañuelos Sánchez	[92] [93]
46	Erika Saucedo	[11]
47	David Sol	[38] [42]
48	Christine Solnon	[42]
49	Javier Vázquez-Salceda	[83]
50	Fernando Zacarias	[11] [12] [24] [29]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page