Publications


Publications in Journal

 

  •   G´3- stable semantics and inconsistency. Innovative Applications of Artificial Intelligence. Juan Carlos Nieves, Mauricio Osorio and Claudia Zepeda.  Special Issue of Journal of "Computación y Sistemas". ISSN: 1405-5546. Centro de Investigación en Computación del IPN. 2009.  http://www.scielo.org.mx/pdf/cys/v13n1/v13n1a7.pdf
  • Preface. Special Issue LANMR 2008. Journal of Algorithms in Cognition, Informatics and Logic. Elsevier. ISSN: 0196-6774.  Offprint dispatch 22-4-09. 
  • An overview of Argumentation Semantics. Juan Carlos Nieves, Mauricio Osorio and Ulisés Cortés. Computación y Sistemas. Vol. 12 No. 1.  50 Años de la Computación en México. Número Especial. Editores: Carlos A. Coello and L. Enrique Sucar.  IPN.  ISSN:  1405-5546. July - September. 2008.  http://redalyc.uaemex.mx/redalyc/pdf/615/61513253005.pdf
  • Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, "Preferred extensions as stable models".  Theory and Practice of Logic Programming (TPLP).  Volume 8, Issue 04. pp: 527-543.  July 2008.  http://arxiv.org/pdf/0803.3812v1.pdf
  • 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.