Mauricio Osorio (Selection)

Mauricio Javier Osorio Galindo

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

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Ask others: ACM DL/Guide -

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)

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)

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

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

Selection of 4 from 93 records - Mauricio Osorio has 50 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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)
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)
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
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