Mauricio Osorio Vis

Mauricio Javier Osorio Galindo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

73EEMauricio Osorio, Simone Pascucci: The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. LPNMR 2009: 464-469
72EEJuan Carlos Nieves, Mauricio Osorio, Claudia Zepeda: Expressing Extension-Based Semantics Based on Stratified Minimal Models. WoLLIC 2009: 305-319
71EEMauricio Osorio, Ivan Olmos: Preface. J. Algorithms 64(1): 1-2 (2009)
70EEJuan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Possibilistic-Based Argumentation: An Answer Set Programming Approach. ENC 2008: 249-260
69EEJuan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Preferred extensions as stable models CoRR abs/0803.3812: (2008)
68EEMauricio 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)
67EEJuan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Preferred extensions as stable models. TPLP 8(4): 527-543 (2008)
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
64EEJosé Luis Carballido, José Arrazola, Mauricio Osorio: Equivalence for the G3'-stable models semantics. LA-NMR 2007
63EEMauricio Osorio: GLukG logic and its application for non-monotonic reasoning. LA-NMR 2007
62EEJuan Carlos Nieves, Mauricio Osorio: Generating maximal models using the stable model semantics. LA-NMR 2007
61EEJuan Carlos Nieves, Mauricio Osorio: Inferring preferred extensions by Pstable semantics. LA-NMR 2007
60EEJuan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs. LPNMR 2007: 315-320
59EEMauricio Osorio, Claudia Zepeda: Update Sequences Based on Minimal Generalized Pstable Models. MICAI 2007: 283-293
58EEMauricio Osorio, Juan Carlos Nieves: PStable Semantics for Possibilistic Logic Programs. MICAI 2007: 294-304
57EEMagdalena Ortiz, Mauricio Osorio: Strong Negation and Equivalence in the Safe Belief Semantics. J. Log. Comput. 17(3): 499-515 (2007)
56EEMauricio Osorio, Víctor Cuevas: Updates in answer set programming: An approach based on basic structural properties. TPLP 7(4): 451-479 (2007)
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
53EEJuan 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
51EEMauricio Osorio, Claudia Zepeda: Preferences using Answer Sets. LA-NMR 2006
50EEJuan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Supporting decision making in organ transplanting using argumentation theory. LA-NMR 2006
49EEMauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada: An Axiomatization of G'3. LoLaCOM 2006
48EEMauricio Osorio, Alejandra López: Expressing the Stable Semantics in Terms of the Pstable Semantics. LoLaCOM 2006
47EEMauricio Osorio, Claudia Zepeda: Minimal Generalized Answer-Sets and their Applications. LoLaCOM 2006
46EEMauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada: Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. LoLaCOM 2006
45EEMauricio Osorio, Claudia Zepeda: Answer Set General Theories and Preferences. MICAI 2006: 59-69
44EEMauricio Osorio, Víctor Cuevas: Updates in Answer Set Programming: An Approach Based on Basic Structural Properties CoRR abs/cs/0609167: (2006)
43EEMauricio 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)
42EEClaudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol: Applications of Preferences using Answer Set Programming. Answer Set Programming 2005
41EEMagdalena Ortiz, Mauricio Osorio: Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Answer Set Programming 2005
40EEIvan Olmos, Jesus A. Gonzalez, Mauricio Osorio: Mining Common Patterns on Graphs. CIS (1) 2005: 41-48
39EERocí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
38EEClaudia Zepeda, Mauricio Osorio, David Sol: Modeling Evacuation Planning Using A-Prolog. CONIELECOMP 2005: 292-297
37EEMauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés: Inferring acceptable arguments with Answer Set Programming. ENC 2005: 198-205
36EEGerardo 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
34EEGerardo Ayala, Magdalena Ortiz, Mauricio Osorio: Application of ASP for Agent Modelling in CSCL Environments. MICAI 2005: 109-118
33EEMauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Safe beliefs for propositional theories. Ann. Pure Appl. Logic 134(1): 63-82 (2005)
32EEMauricio 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)
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
30EEJavier 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
29EEMauricio Osorio, Fernando Zacarias: On Updates of Logic Programs: A Properties-Based Approach. FoIKS 2004: 231-241
28EEMauricio Osorio, Verónica Borja Macías, José Arrazola: Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. IBERAMIA 2004: 343-352
27EEMauricio Osorio, Juan A. Navarro: Answer Set Programming and S4. IBERAMIA 2004: 353
26EEMauricio 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)
24EEMauricio Osorio, Fernando Zacarias: New properties on the update operator\oplus. Answer Set Programming 2003
23EEMauricio Osorio, Enrique Corona: The A-Pol System. Answer Set Programming 2003
22EEMauricio 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
20EEMagdalena Ortiz, Gerardo Ayala, Mauricio Osorio: Formalizing the Learner Model for CSCL Environments. ENC 2003: 151-158
19EEMauricio Osorio, Juan A. Navarro, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming CoRR cs.LO/0305046: (2003)
18EEMauricio Osorio, Juan A. Navarro, José Arrazola: Debugging in A-Prolog: A Logical Approach. ICLP 2002: 482-483
17EEMauricio Osorio, Juan A. Navarro, José Arrazola: A logical approach to A-Prolog. Electr. Notes Theor. Comput. Sci. 67: (2002)
16EEMauricio Osorio, Juan Carlos Nieves, Chris Giannella: Useful Transformations in Answer set programming. Answer Set Programming 2001
15EEMauricio Osorio, Juan Carlos Nieves: Stratified Partial-Order Logic Programming. Canadian Conference on AI 2001: 225-235
14EEMauricio 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)
12EEMauricio 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
10 Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves: Declarative Pruning in a Functional Query Language. ICLP 1999: 588-604
9EEJosé 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)
6EEMauricio Osorio, Bharat Jayaraman: Integrating the Completion and the Well Founded Semantics. IBERAMIA 1998: 230-241
5EEMauricio Osorio: Semantics of Partial-Order Programs. JELIA 1998: 47-61
4 Jürgen Dix, Mauricio Osorio: On Well-Behaved Semantics Suitable for Aggregation. ILPS 1997: 405
3 Mauricio Osorio, Bharat Jayaraman: Aggregation and Well-Founded Semantics. NMELP 1996: 71-90
2 Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon: Partial Order Programming (Revisited). AMAST 1995: 561-575
1 Mauricio Osorio, Bharat Jayaraman: Subset Assertions and Negation As Failure. ILPS 1993: 637

Coauthor Index

1José Arrazola [9] [14] [17] [18] [19] [25] [26] [28] [33] [64] [66]
2Gerardo Ayala (Gerardo Ayala San Martin) [20] [34] [36]
3Francisco Caballero [65]
4José Luis Carballido [46] [49] [64] [68]
5Enrique Corona [23]
6Ulises Cortés [37] [50] [53] [60] [65] [67] [69] [70]
7Víctor Cuevas [44] [56]
8Rogelio Dávila [54]
9Jürgen Dix [4] [9] [13]
10Javier Garcés Eisele [30] [39]
11Oscar Estrada [46] [49]
12Chris Giannella [16]
13Ma. del Pilar Gómez Gil [30] [39]
14Jesus A. Gonzalez [35] [40] [52] [53]
15Juan Carlos Acosta Guadarrama [21]
16Bharat Jayaraman [1] [2] [3] [6] [7] [8] [10]
17Alejandra López [48]
18Antonio López-Navidad [65]
19Guillermo De Ita Luna [55]
20Verónica Borja Macías [26] [28] [32] [43]
21Kyonghee Moon [2]
22Juan A. Navarro [14] [17] [18] [19] [25] [27]
23Juan Carlos Nieves [10] [11] [15] [16] [37] [42] [50] [53] [58] [60] [61] [62] [65] [67] [69] [70] [72]
24Ivan Olmos [35] [40] [52] [53] [71]
25Magdalena Ortiz (Maria Magdalena Ortiz de la Fuente) [20] [34] [36] [41] [57]
26Pilar Pozos Parra [55] [66]
27Simone Pascucci [73]
28Juan Antonio Navarro Pérez [32] [33] [43]
29David A. Plaisted [7]
30Alessandro Provetti [31]
31José R. Arrazola Ramírez [32] [43] [46] [49] [68]
32Rocío Santillán Rodríguez [39]
33Carolina Yolanda Castañeda Roldán [30] [39]
34Erika Saucedo [11]
35David Sol [38] [42]
36Christine Solnon [42]
37Fernando Zacarias [11] [12] [24] [29]
38Claudia Zepeda [13] [22] [37] [38] [42] [45] [47] [51] [54] [55] [59] [66] [72]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)