Mauricio Osorio

Mauricio Javier Osorio Galindo

	2010
76		Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda: Possibilistic Semantics for Logic Programs with Ordered Disjunction. FoIKS 2010: 133-152
	2009
75		Mauricio Osorio, Claudia Zepeda, Hilda Castillo: A Formal Design Model for Mechatronic Systems. CONIELECOMP 2009: 125-129
74		Mauricio Osorio, Simone Pascucci: The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. LPNMR 2009: 464-469
73		Mauricio Osorio, Juan Carlos Nieves: Possibilistic Well-Founded Semantics. MICAI 2009: 15-26
72		Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda: Expressing Extension-Based Semantics Based on Stratified Minimal Models. WoLLIC 2009: 305-319
71		Mauricio Osorio, Ivan Olmos: Preface. J. Algorithms 64(1): 1-2 (2009)
	2008
70		Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Possibilistic-Based Argumentation: An Answer Set Programming Approach. ENC 2008: 249-260
69		Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Preferred extensions as stable models CoRR abs/0803.3812: (2008)
68		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)
67		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		José Luis Carballido, José Arrazola, Mauricio Osorio: Equivalence for the G3'-stable models semantics. LA-NMR 2007
63		Mauricio Osorio: GLukG logic and its application for non-monotonic reasoning. LA-NMR 2007
62		Juan Carlos Nieves, Mauricio Osorio: Generating maximal models using the stable model semantics. LA-NMR 2007
61		Juan Carlos Nieves, Mauricio Osorio: Inferring preferred extensions by Pstable semantics. LA-NMR 2007
60		Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs. LPNMR 2007: 315-320
59		Mauricio Osorio, Claudia Zepeda: Update Sequences Based on Minimal Generalized Pstable Models. MICAI 2007: 283-293
58		Mauricio Osorio, Juan Carlos Nieves: PStable Semantics for Possibilistic Logic Programs. MICAI 2007: 294-304
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 A. Navarro: 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 A. Navarro, 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 A. Navarro, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming CoRR cs.LO/0305046: (2003)
	2002
18		Mauricio Osorio, Juan A. Navarro, José Arrazola: Debugging in A-Prolog: A Logical Approach. ICLP 2002: 482-483
17		Mauricio Osorio, Juan A. Navarro, José Arrazola: A logical approach to A-Prolog. Electr. Notes Theor. Comput. Sci. 67: (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 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		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	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] [68]
5	Hilda Castillo	[75]
6	Roberto Confalonieri	[76]
7	Enrique Corona	[23]
8	Ulises Cortés	[37] [50] [53] [60] [65] [67] [69] [70]
9	Víctor Cuevas	[44] [56]
10	Rogelio Dávila	[54]
11	Jürgen Dix	[4] [9] [13]
12	Javier Garcés Eisele	[30] [39]
13	Oscar Estrada	[46] [49]
14	Chris Giannella	[16]
15	Ma. del Pilar Gómez Gil	[30] [39]
16	Jesus A. Gonzalez	[35] [40] [52] [53]
17	Juan Carlos Acosta Guadarrama	[21]
18	Bharat Jayaraman	[1] [2] [3] [6] [7] [8] [10]
19	Alejandra López	[48]
20	Antonio López-Navidad	[65]
21	Guillermo De Ita Luna	[55]
22	Verónica Borja Macías	[26] [28] [32] [43]
23	Kyonghee Moon	[2]
24	Juan A. Navarro	[14] [17] [18] [19] [25] [27]
25	Juan Carlos Nieves	[10] [11] [15] [16] [37] [42] [50] [53] [58] [60] [61] [62] [65] [67] [69] [70] [72] [73] [76]
26	Ivan Olmos	[35] [40] [52] [53] [71]
27	Magdalena Ortiz (Maria Magdalena Ortiz de la Fuente)	[20] [34] [36] [41] [57]
28	Pilar Pozos Parra	[55] [66]
29	Simone Pascucci	[74]
30	Juan Antonio Navarro Pérez	[32] [33] [43]
31	David A. Plaisted	[7]
32	Alessandro Provetti	[31]
33	José R. Arrazola Ramírez	[32] [43] [46] [49] [68]
34	Rocío Santillán Rodríguez	[39]
35	Carolina Yolanda Castañeda Roldán	[30] [39]
36	Erika Saucedo	[11]
37	David Sol	[38] [42]
38	Christine Solnon	[42]
39	Javier Vázquez-Salceda	[76]
40	Fernando Zacarias	[11] [12] [24] [29]
41	Claudia Zepeda	[13] [22] [37] [38] [42] [45] [47] [51] [54] [55] [59] [66] [72] [75]

Colors in the list of coauthors