Mauricio Osorio

Mauricio Javier Osorio Galindo

2009
70	EE	Mauricio Osorio, Ivan Olmos: Preface. J. Algorithms 64(1): 1-2 (2009)
2008
69	EE	Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Possibilistic-Based Argumentation: An Answer Set Programming Approach. ENC 2008: 249-260
68	EE	Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Preferred extensions as stable models CoRR abs/0803.3812: (2008)
67	EE	Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Preferred extensions as stable models. TPLP 8(4): 527-543 (2008)
2007
66		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
65		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
64	EE	José Luis Carballido, José Arrazola, Mauricio Osorio: Equivalence for the G3'-stable models semantics. LA-NMR 2007
63	EE	Mauricio Osorio: GLukG logic and its application for non-monotonic reasoning. LA-NMR 2007
62	EE	Juan Carlos Nieves, Mauricio Osorio: Generating maximal models using the stable model semantics. LA-NMR 2007
61	EE	Juan Carlos Nieves, Mauricio Osorio: Inferring preferred extensions by Pstable semantics. LA-NMR 2007
60	EE	Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs. LPNMR 2007: 315-320
59	EE	Mauricio Osorio, Claudia Zepeda: Update Sequences Based on Minimal Generalized Pstable Models. MICAI 2007: 283-293
58	EE	Mauricio Osorio, Juan Carlos Nieves: PStable Semantics for Possibilistic Logic Programs. MICAI 2007: 294-304
57	EE	Magdalena Ortiz, Mauricio Osorio: Strong Negation and Equivalence in the Safe Belief Semantics. J. Log. Comput. 17(3): 499-515 (2007)
56	EE	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	EE	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	EE	Mauricio Osorio, Claudia Zepeda: Preferences using Answer Sets. LA-NMR 2006
50	EE	Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Supporting decision making in organ transplanting using argumentation theory. LA-NMR 2006
49	EE	Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada: An Axiomatization of G'3. LoLaCOM 2006
48	EE	Mauricio Osorio, Alejandra López: Expressing the Stable Semantics in Terms of the Pstable Semantics. LoLaCOM 2006
47	EE	Mauricio Osorio, Claudia Zepeda: Minimal Generalized Answer-Sets and their Applications. LoLaCOM 2006
46	EE	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	EE	Mauricio Osorio, Claudia Zepeda: Answer Set General Theories and Preferences. MICAI 2006: 59-69
44	EE	Mauricio Osorio, Víctor Cuevas: Updates in Answer Set Programming: An Approach Based on Basic Structural Properties CoRR abs/cs/0609167: (2006)
43	EE	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	EE	Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol: Applications of Preferences using Answer Set Programming. Answer Set Programming 2005
41	EE	Magdalena Ortiz, Mauricio Osorio: Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Answer Set Programming 2005
40	EE	Ivan Olmos, Jesus A. Gonzalez, Mauricio Osorio: Mining Common Patterns on Graphs. CIS (1) 2005: 41-48
39	EE	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	EE	Claudia Zepeda, Mauricio Osorio, David Sol: Modeling Evacuation Planning Using A-Prolog. CONIELECOMP 2005: 292-297
37	EE	Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés: Inferring acceptable arguments with Answer Set Programming. ENC 2005: 198-205
36	EE	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	EE	Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio: Application of ASP for Agent Modelling in CSCL Environments. MICAI 2005: 109-118
33	EE	Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Safe beliefs for propositional theories. Ann. Pure Appl. Logic 134(1): 63-82 (2005)
32	EE	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	EE	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	EE	Mauricio Osorio, Fernando Zacarias: On Updates of Logic Programs: A Properties-Based Approach. FoIKS 2004: 231-241
28	EE	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	EE	Mauricio Osorio, Juan A. Navarro: Answer Set Programming and S4. IBERAMIA 2004: 353
26	EE	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 A. Navarro, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming. TPLP 4(3): 325-354 (2004)
2003
24	EE	Mauricio Osorio, Fernando Zacarias: New properties on the update operator\oplus. Answer Set Programming 2003
23	EE	Mauricio Osorio, Enrique Corona: The A-Pol System. Answer Set Programming 2003
22	EE	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	EE	Magdalena Ortiz, Gerardo Ayala, Mauricio Osorio: Formalizing the Learner Model for CSCL Environments. ENC 2003: 151-158
19	EE	Mauricio Osorio, Juan A. Navarro, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming CoRR cs.LO/0305046: (2003)
2002
18	EE	Mauricio Osorio, Juan A. Navarro, José Arrazola: Debugging in A-Prolog: A Logical Approach. ICLP 2002: 482-483
17	EE	Mauricio Osorio, Juan A. Navarro, José Arrazola: A logical approach to A-Prolog. Electr. Notes Theor. Comput. Sci. 67: (2002)
2001
16	EE	Mauricio Osorio, Juan Carlos Nieves, Chris Giannella: Useful Transformations in Answer set programming. Answer Set Programming 2001
15	EE	Mauricio Osorio, Juan Carlos Nieves: Stratified Partial-Order Logic Programming. Canadian Conference on AI 2001: 225-235
14	EE	Mauricio Osorio, Juan A. Navarro, 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	EE	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	EE	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	EE	Mauricio Osorio, Bharat Jayaraman: Integrating the Completion and the Well Founded Semantics. IBERAMIA 1998: 230-241
5	EE	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	José Arrazola	[9] [14] [17] [18] [19] [25] [26] [28] [33] [64] [66]
2	Gerardo Ayala (Gerardo Ayala San Martin)	[20] [34] [36]
3	Francisco Caballero	[65]
4	José Luis Carballido	[46] [49] [64]
5	Enrique Corona	[23]
6	Ulises Cortés	[37] [50] [53] [60] [65] [67] [68] [69]
7	Víctor Cuevas	[44] [56]
8	Rogelio Dávila	[54]
9	Jürgen Dix	[4] [9] [13]
10	Javier Garcés Eisele	[30] [39]
11	Oscar Estrada	[46] [49]
12	Chris Giannella	[16]
13	Ma. del Pilar Gómez Gil	[30] [39]
14	Jesus A. Gonzalez	[35] [40] [52] [53]
15	Juan Carlos Acosta Guadarrama	[21]
16	Bharat Jayaraman	[1] [2] [3] [6] [7] [8] [10]
17	Alejandra López	[48]
18	Antonio López-Navidad	[65]
19	Guillermo De Ita Luna	[55]
20	Verónica Borja Macías	[26] [28] [32] [43]
21	Kyonghee Moon	[2]
22	Juan A. Navarro	[14] [17] [18] [19] [25] [27]
23	Juan Carlos Nieves	[10] [11] [15] [16] [37] [42] [50] [53] [58] [60] [61] [62] [65] [67] [68] [69]
24	Ivan Olmos	[35] [40] [52] [53] [70]
25	Magdalena Ortiz	[20] [34] [36] [41] [57]
26	Pilar Pozos Parra	[55] [66]
27	Juan Antonio Navarro Pérez	[32] [33] [43]
28	David A. Plaisted	[7]
29	Alessandro Provetti	[31]
30	José R. Arrazola Ramírez	[32] [43] [46] [49]
31	Rocío Santillán Rodríguez	[39]
32	Carolina Yolanda Castañeda Roldán	[30] [39]
33	Erika Saucedo	[11]
34	David Sol	[38] [42]
35	Christine Solnon	[42]
36	Fernando Zacarias	[11] [12] [24] [29]
37	Claudia Zepeda	[13] [22] [37] [38] [42] [45] [47] [51] [54] [55] [59] [66]

Colors in the list of coauthors