• Brief study of G3’ logic. Mauricio Osorio and J.L. Carballido. Journal of Applied Non-Classical Logics, 18(4), 2008. (Not yet published).

  •  Logical weak completions of paraconsistent logics. Mauricio Osorio, J.R.A. Ramirez, and J.L. Carballido. Journal of Logic and Computation; doi: 10.1093/logcom/exn015,   2008.

  • Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, "Preferred extensions as stable models".  To appear in Theory and Practice of Logic Programming (TPLP). 2008.

  • Strong Negation and Equivalence in the Safe Belief Semantics. Magdalena Ortiz and Mauricio Osorio.  Journal and Logic and Computation.2007. Vol 17. Pages: 499-515.

  • Logics with Common Weak Completions. Mauricio Osorio, Juan Antonio Navarro, José Arrazola and Verónica Borja. Journal of Logic and Computation. Volume 16, Number 6, December 2006. Pages: 867-890. Errata File.

  • Updates in Answer Set Programming: An Approach Based on Basic Structural Properties. Mauricio Osorio and Victor Cuevas. Journal Theory and Practice on Logic Programming. Volume 7,  Issue 4, July 2007, pp 451- 479.  http://arxiv.org/abs/cs.LO/0609167


  • Knowledge Update through Intelligent Agents Under Answer Set Programming. Mauricio Osorio,  Fernando, Zacarías Alberto Téllez . Gests International Transaction on Computer Science and Engineering, Volume 7, Number 1, Mayo 2005. Sunjin Publishg. Co. ISSN 1738-6438. Pages: 156 a 166. 

  •  Ground Nonmonotonic Modal Logic S5: New Results.Mauricio Osorio, Juan Antonio Navarro, José Arrazola, Verónica Borja. Journal Of Logic and Computation. Oxford Journals. OxfordUniversity Press. Vol. 15. Pages:787-813.

  •  Safe beliefs for propositional theories. Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola. Annals of Pure and Applied Logic. Ann. Pure Appl. Logic 134(1): 63-82 (2005). Volume 134, Number 1, June 2005.

  •  Applications of Intuitionistic Logic in Answer Set Programming. Mauricio Osorio, Juan A. Navarro, José Arrazola. Theory and Practice of Logic Programming (TPLP). Pages 325-354 (2004).Volume 4, Number 3, May 2004. Also published in The Computing Research Repository (CoRR) May 30, Puebla/ México 2003. Pages 1-30.

  •   Aggregation in Functional Query Languages. Mauricio Osorio, Juan Carlos Nieves, Bharat Jayaraman. The Journal of  Functional and Logic  Programming. Electronic Journal. Ed: EAPLS. Vol. 2004. August 2004. http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/2004.html

  • A general theory of confluent rewriting systems for logic programming and its applications. Jürgen Dix, Mauricio Osorio, Claudia Zepeda. Ann. Pure Appl. Logic 108(1-3): 153-188 (2001)  

  • Confluent Rewriting systems in Non-Monotonic Reasoning. José Arrazola, Jürgen Dix, Mauricio Osorio.  Computación y Sistemas 2(2-3): 104-123 (1999)

  •  Aggregation and Negation-As-Failure. Mauricio Osorio, Bharat Jayaraman.New Generation Computing. 17(3): 255-284 (1999)

  •  Theory of Partial-Order Programming. Mauricio Osorio, Bharat Jayaraman, David A. Plaisted.Sci. Comput. Program. 34(3): 207-238 (1999).

  • Specification and Computation of Optimization Problems.  M. Osorio and B. Jayaraman.  Proceedings for the 21st International Conference on Computers and Industrial Engineering, ICC&IE-97, San Juan, Puerto Rico 1997. In Computers & Industrial Engineering, An International Journal, Vol.33, Nos. 1-2,pages 55-58, October 1997, ISSN 0360-8352.