Universidad de las Américas Puebla

Dirección de Bibliotecas

Facultad UDLAP

Mauricio Javier Osorio Galindo

foto

Semblanza

Licenciatura en computacion. BUAP Mexico Maestria en ingenieria electrica. CINVESTAV IPN. Doctorado State University of NY at Buffalo. E.U.A. SNI nivel 2. Mas de 100 articulos de investigacion. Especialidad en Logica Matematica.

Palabras clave de la investigación

logica, razonamiento, inteligencia, algoritmos, complejidad

Sistema Nacional de Investigadores

Nivel: 2

Grados académicos
  • Doctorado en Ciencias de la Computación. State University of New York at Buffalo. Estados Unidos. enero 1, 1995.
  • Maestria en Ciencias en la Especialidad en Ingeniería Eléctrica. El Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional . Mexico. enero 1, 1989.
  • Licenciatura en Computación. Benemérita Universidad Autónoma de Puebla. Mexico. marzo 31, 1987.
Producción de investigación

Tipo de documento

Año

    2017
  1. 2017 Artículos de investigación Mauricio Osorio, José Abel Castellanos Joo, Equivalence among RC-type paraconsistent logics, Logic Journal on the IGPL .
  2. 2017 Mauricio Osorio, José Luis Carballido, Claudia Zepeda, Abducible Semantics and Argumentation, Fundamenta Informaticae, vol. 155, no. 3, pp. 293-319.
  3. 2017 Mauricio Osorio, Juan Carlos Nieves: Range-based argumentation semantics as two-valued models. TPLP 17(1): 75-90 (2017).
  4. 2017 Mauricio Osorio, Juan Díaz, Alejandro Santoyo, 0-1 Integer Programming for Computing Semi-Stable Semantics of Argumentation Frameworks, Computación y Sistemas.
  5. 2016
  6. 2016 Artículos de investigación Juan Carlos Nieves, Mauricio Osorio: Ideal extensions as logical programming models. J. Log. Comput. 26(5): 1361-1393 (2016).
  7. 2016 Mauricio Javier Osorio Galindo, Verónica Borja Macías, José R. Arrazola Ramírez: Revisiting da Costa logic. J. Applied Logic 16: 111-127 (2016).
  8. 2016 Mauricio Osorio, José Luis Carballido, Claudia Zepeda: Characterizing stage argumentation semantics based on stable abducible semantics. LANMR 2016: 41-49.
  9. 2015
  10. 2015 Artículos de investigación Dr. Mauricio Osorio, Dr. Claudia Zepeda, On Paraconsistent Extensions of C-1, Electronic Notes in Theoretical Computer Science, 2015, pp. 47 - 60.
  11. 2015 Dr. Mauricio Osorio, Dr. José Abel Castellanos, A single Proof of Classical Behaviour in da Costa s C n Systems, Electronic Notes in Theoretical Computer Science, 2015, pp. 3 - 16.
  12. 2015 Mauricio Osorio, J.L. Carballido, C. Zepeda and J.A. Castellanos, Weaking and Extending Z, Logica Universalis Springer Basel 2015.
  13. 2015 Mauricio Osorio, Juan Díaz, Alejandro Santoyo; Computing stable semantics of AF by 0 - 1 integer programming. CONIELECOMP 2015: 204 - 211.
  14. 2014
  15. 2014 Artículos de investigación Mauricio Osorio, José Luis Carballido, Claudia Zepeda: Revisiting Z. Notre Dame Journal of Formal Logic 55(1): 129-155.
  16. 2013
  17. 2013 Artículos de investigación Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs. TPLP 13(1): 33-70 .
  18. 2013 Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs. TPLP 13(1): 33-70 .
  19. 2013 Mauricio Osorio, José Luis Carballido, Claudia Zepeda. Some Properties of Logic N-GLukG. Advances in Artificial Intelligence and Its Applications Lecture Notes in Computer Science Volume 8265, 2013, pp 1-11..
  20. 2013 Mauricio Osorio, Juan Carlos Nieves, Alejandro Santoyo: Complete Extensions as Clarks Completion Semantics. ENC 2013: 81-88.
  21. 2013 Citas por coautores Semantics for Possibilistic Disjunctive Programs JC NIEVES, M OSORIO, UC ES.
  22. 2012
  23. 2012 Citas por coautores CF2-extensions as Answer-set Models M Osorio, JC Nieves Sánchez, I Gómez Sebastià IOS Press.
  24. 2012 Dealing with explicit preferences and uncertainty in answer set programming R Confalonieri, JC Nieves, M Osorio, J Vázquez-Salceda Annals of Mathematics and Artificial Intelligence 65 (2-3), 159-198.
  25. 2012 Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach JC Nieves, M Osorio, H Lindgren The 27th annual workshop of the Swedish Artificial Intelligence Society ....
  26. 2012 The stable-abducible argumentation semantics M Osorio, JC Nieves Sánchez, JL Carballido.
  27. 2011
  28. 2011 Artículos de investigación A Schema for Generating Relevant Logic Programming Semantics and its Application in Argumentation Theory. Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda. Contents of Volume 106, Number 2-4, 2011. httpwww.mimuw.edu.plfundamFIpreviousissues.html .
  29. 2011 Citas por coautores An Application of Clasp in the Study of Logics. LNCS 6645. LPNMR 2011 278-283. Mauricio Osorio, Jose Luis Carballido and Claudia Zepeda. httpwww.springerlink.comcontent5153364842461457 .
  30. 2011 An Overview of Argumentation Semantics U CORTÉS, M Osorio, JC NIEVES Computación y Sistemas.
  31. 2011 A schema for generating relevant logic programming semantics and its applications in argumentation theory JC Nieves, M Osorio, C Zepeda Fundamenta Informaticae 106 (2), 295-319.
  32. 2011 Characterization of Argumentation Semantics in Terms of the MMr Semantics, Mauricio Osorio, Jose Luis Carballido, Claudia Zepeda and Zenaida Cruz, LNCS 7094, 2011, 16-27. httpwww.springerlink.comcontent7702044r377967q7.
  33. 2011 Extending the Grounded Semantics by Logic Programming Semantics. JC Nieves, M Osorio, U Cortés CCIA, 169-178.
  34. 2011 Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR) Preface M Osorio, VW Marek FUNDAMENTA INFORMATICAE 113 (1), V-VI.
  35. 2011 Modeling production of resources using Answer Set Planning C Zepeda, JL Carballido, JM Amezcua, O De Leon, JA Martinez, M Osorio Electrical Communications and Computers (CONIELECOMP), 2011 21st ...
  36. 2011 Semantics for possibilistic disjunctive programs JC Nieves, M Osorio, U Cortés arXiv preprint arXiv:1106.0776.
  37. 2011 Special Issue: Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR) M Osorio,IOS Press.
  38. 2011 Studying Ideal Semantics via Logic Programming Semantics JC Nieves, M Osorio Artificial Intelligence (MICAI), 2011 10th Mexican International Conference ....
  39. 2011 Congresos Internacionales Modelling Production of Resources Using Answer Set Planning, Claudia Zepeda, José Luis Carballido , J.Manuel Amezcua, Oscar de Leon, Javier A. Martínez, Mauricio Osorio, CONIELECOMP 2011 244-249. IEEE Press. httpieeexplore.ieee.orgxplfreeabsall.jsparnumber5749368.
  40. 2011 Modelling Production of Resources Using Answer Set Planning, Claudia Zepeda, José Luis Carballido , J.Manuel Amezcua, Oscar de Leon, Javier A. Martínez, Mauricio Osorio, CONIELECOMP 2011 244-249. IEEE Press. httpieeexplore.ieee.orgxplfreeabsall.jsparnumber5749368.
  41. 2011 Studying Ideal Semantics Via Logic Programming Semantics, Mauricio Osorio and Juan Carlos Nieves, Special Session of the 10th Mexican International Conference on Artificial Intelligence, pp 3-8. IEEE Press, MICAI-2011. httpieeexplore.ieee.orgxplfreeabsall.jsparnumber6118990.
  42. 2011 Congresos Nacionales The Stableabductible argumentation semantics, Mauricio Osorio, Juan Carlos Nieves, and José Luis Carballido Seventh Latin American Workshop on LogicLanguages, Algorithms and New Methods of Reasoning. 2011. Benemérita Universidad Autónoma de Puebla. ISBN 978-607-487-358-0. Also appear in CEUR ISSN 1613-0073. httpceur-ws.org httpceur-ws.orgVol-80406LANMR11.pdf .
  43. 2011 The Stableabductible argumentation semantics, Mauricio Osorio, Juan Carlos Nieves, and José Luis Carballido Seventh Latin American Workshop on LogicLanguages, Algorithms and New Methods of Reasoning. 2011. Benemérita Universidad Autónoma de Puebla. ISBN 978-607-487-358-0. Also appear in CEUR ISSN 1613-0073. httpceur-ws.org httpceur-ws.orgVol-80406LANMR11.pdf .
  44. 2010
  45. 2010 Artículos de investigación Equivalence for the G3 stable models semantics. Jose Luis Carballido. Mauricio Osorio, José Arrazola. J. Applied Logic 8(1) 82-96(2010) httpwww.ceur-ws.orgVol-286LANMR0705.pdf.
  46. 2010 Guest Editorial Fifth Latin American Workshop on Non-Monotonic Reasoning 2009, (LANMR09). Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 14(48) 1-2 (2010). ISSN 1137-3601 httpredalyc.uaemex.mxsrcinicioArtPdfRed.jspiCve92513175001.
  47. 2010 Citas por coautores A Possibilistic Intuitionistic Logic, MICAI 2010, Part I. LNCS 6437, pp 362-373. Oscar Estrada, José Arrazola and Mauricio Osorio. httpwww.springerlink.comcontentw3q5j423l0551320 .
  48. 2010 Digital design vercation based on P-stable semantics C Zepeda, JR Marcial-Romero, M Osorio, H Castillo, D Quintos, S Arzola Electronics, Communications and Computer (CONIELECOMP), 2010 20th ....
  49. 2010 Equivalence for the-stable models semantics JL Carballido, M Osorio, JR Arrazola Journal of Applied Logic 8 (1), 82-96.
  50. 2010 Expressing p-stable semantics based on stable semantics M Osorio, JL Carballido, C Zepeda Electronics, Communications and Computer (CONIELECOMP), 2010 20th ....
  51. 2010 HABE: Huffman Algorithm and Bit Extraction Applied to Image Equalization L Flores-Pulido, MCL Olivares-González, M Osorio, O Starostenko Electronics, Robotics and Automotive Mechanics Conference (CERMA), 2010, 308-312.
  52. 2010 Motifs recognition in DNA sequences comparing the motif finding automaton algorithm against a traditional approach Y Magallanes, I Olmos, M Osorio, LO Peredo, C Sarmiento Electronics, Communications and Computer (CONIELECOMP), 2010 20th ....
  53. 2010 Possibilistic Semantics for Logic Programs with Ordered Disjuction. FoIKS 2010 133-152. LNCS 5956. Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio and Javier Vazquez Salceda. httpwww.springerlink.comcontent87681112m312jm44.
  54. 2010 Updates based on ASP C Zepeda, JL Carballido, M Rossainz, M Osorio Proc. of MICAI (Special Sessions), 63-66.
  55. 2010 Yet another application of fuzzy logic M Osorio, C Zepeda, JL Carballido, D Lopez Electronics, Communications and Computer (CONIELECOMP), 2010 20th ...
  56. 2010 Congresos Internacionales CF2-extensions as Answer-set Models, Mauricio Osorio, Juan Carlos Nieves, Ignasi Gómez-Sebasta, COMMA 2010, pp 391-402. IOS PRESS. ISBN 978-1-60750-618-8 (Print). httpwww.lsi.upc.eduigomezPapersCOMMA2010.pdf .
  57. 2010 CF2-extensions as Answer-set Models, Mauricio Osorio, Juan Carlos Nieves, Ignasi Gómez-Sebasta, COMMA 2010, pp 391-402. IOS PRESS. ISBN 978-1-60750-618-8 (Print). httpwww.lsi.upc.eduigomezPapersCOMMA2010.pdf .
  58. 2010 Computing the Stratified Minimal Models Semantic, Mauricio Osorio, Angel Marin-George and Juan Carlos Nieves, Fifth Latin American Workshop on LogicLanguages, Algorithms and New Methods of Reasoning 2010, Benemérita Universidad Autónoma de Puebla. Pp 161-176. ISBN 978-607-487-096-1. Also appear in CEUR ISSN 1613-0073. httpceur-ws.org httpceur-ws.orgVol-53313LANMR0910.pdf.
  59. 2010 Digital Desing Verification Based on P-stable Semantics, Claudia Zepeda, Raymundo Romero Marcial, Hilda Castillo, Sergio Arzola and Mauricio Osorio, CONIELECOMP 2010, 212-216. IEEE Press. httpieeexplore.ieee.orgXplorelogin.jspurlhttp%3A%2F%2Fieeexplore.ieee.org%2Fiel5%2F5433810%2F5440746%2F05440767.pdf%3Farnumber%3D5440767authDecision-203.
  60. 2010 HABE Huffman Algorithm and Bit Extraction Applied to Image Equalization, Leticia Flores Pulido, Ma. C. Landy Olivares-González, Mauricio Osorio, Oleg Starostenko, CERMA 2010. IEEE Computer Society. 2010. ISBN-13 978-0-76-95-4204-1. httpieeexplore.ieee.orgxplfreeabsall.jsptparnumber5692354.
  61. 2010 HABE Huffman Algorithm and Bit Extraction Applied to Image Equalization, Leticia Flores Pulido, Ma. C. Landy Olivares-González, Mauricio Osorio, Oleg Starostenko, CERMA 2010. IEEE Computer Society. 2010. ISBN-13 978-0-76-95-4204-1. httpieeexplore.ieee.orgxplfreeabsall.jsptparnumber5692354.
  62. 2010 Motifs Recognition in DNA Sequences comparing the motif finding automaton algorithm against a traditional approach, Yazmin Magallanes, Ivan Olmos, Mauricio Osorio, Luis O. Peredo, Christian Sarmiento, CONIELECOMP 2010, 222-226. IEEE Press httpieeexplore.ieee.orgxplfreeabsall.jspreloadtruearnumber5440765.
  63. 2010 Motifs Recognition in DNA Sequences comparing the motif finding automaton algorithm against a traditional approach, Yazmin Magallanes, Ivan Olmos, Mauricio Osorio, Luis O. Peredo, Christian Sarmiento, CONIELECOMP 2010, 222-226. IEEE Press httpieeexplore.ieee.orgxplfreeabsall.jspreloadtruearnumber5440765.
  64. 2010 Possibilistic Safe Beliefs, Oscar Estrada, José Arrazola, Mauricio Osorio, Six th Latin American Workshop on LogicLanguages, Algorithms and New Methods of Reasoning. 2010. Benemérita Universidad Autónoma de Puebla. Pp 47-54. ISBN 978-607-487-228-6. Also appear in CEUR ISSN 1613-0073. httpceur-ws.org httpceur-ws.orgVol-67705LANMR10.pdf.
  65. 2010 The N5 Logic, José Arrazola, Mauricio Osorio and Eduardo Ariza, Six th Latin American Workshop on LogicLanguages, Algorithms and New Methods of Reasoning. 2010. Benemérita Universidad Autónoma de Puebla. Pp 25-36. ISBN 978-607-487-228-6. Also appear in CEUR ISSN 1613-0073. httpceur-ws.org httpceur-ws.orgVol-67703LANMR10.pdf.
  66. 2010 Yet Another Application on Fuzzy Logic, Mauricio Osorio, Claudia Zepeda, José Luis Carballido and David Lopez, CONIELECOMP 2010, 217-221. IEEE Press. ISBN 978-1-4244-5353-5. httpieeexplore.ieee.orgxpllogin.jsptparnumber5440764urlhttp%3A%2F%2Fieeexplore.ieee.org%2Fiel5%2F5433810%2F5440746%2F05440764.pdf%3Farnumber%3D5440764.
  67. 2010 Yet Another Application on Fuzzy Logic, Mauricio Osorio, Claudia Zepeda, José Luis Carballido and David Lopez, CONIELECOMP 2010, 217-221. IEEE Press. ISBN 978-1-4244-5353-5. httpieeexplore.ieee.orgxpllogin.jsptparnumber5440764urlhttp%3A%2F%2Fieeexplore.ieee.org%2Fiel5%2F5433810%2F5440746%2F05440764.pdf%3Farnumber%3D5440764.
  68. 2010 Congresos Nacionales Updates Based on ASP, Claudia Zepeda, José Luis Carballido, Mario Rossainz, Mauricio Osorio, MICAI (Special Sessions) 2010 6366. IEEE Press. ISBN 978-0-7695-4284-3 httpwww.computer.orgportalwebcsdldoi10.1109MICAI.2010.20.
  69. 2010 Updates Based on ASP, Claudia Zepeda, José Luis Carballido, Mario Rossainz, Mauricio Osorio, MICAI (Special Sessions) 2010 6366. IEEE Press. ISBN 978-0-7695-4284-3 httpwww.computer.orgportalwebcsdldoi10.1109MICAI.2010.20.
  70. 2009
  71. 2009 Artículos de investigación G3-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. httpwww.scielo.org.mxpdfcysv13n1v13n1a7.pdf.
  72. 2009 Inferring Preferred Extensions by Pstable Semantics. José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio. Revista Iberoamericana de Inteligencia Artificial. Vol. 13 No. 41. 2009. Pages 38-53. España. httppolar.lsi.uned.esrevistaindex.phpiaarticleviewFile589572.
  73. 2009 Preface. Special Issue Workshops by the Logic and Computation Mexican Group (Selected Papers). Revista Iberoamericana de Inteligencia Artificial. Vol. 13 No. 41. 2009. Pages 1-3. España. httpredalyc.uaemex.mxredalycpdf92592513168001.pdf.
  74. 2009 Citas por coautores A formal design model for mechatronic systems M Osorio, C Zepeda, H Castillo Electrical, Communications, and Computers, 2009. CONIELECOMP 2009 ....
  75. 2009 Answer set programming for studying logics C Zepeda, J Carballido, A Marin, M Osorio Artificial Intelligence, 2009. MICAI 2009. Eighth Mexican International ....
  76. 2009 Computing the Stratified Minimal Models Semantic M Osorio, A Marin-George, JC Nieves LANMR 9, 157-171.
  77. 2009 Counfluent Rewriting Systems in Non-Monotonic Reasoning J Arrazola, J Dix, M Osorio Computación y Sistemas 2 (002).
  78. 2009 Expressing Extension-Based Semantics Based on Stratified Minimal Models, Lecture Notes in Computer Science, Juan Carlos Nieves, Mauricio Osorio and Claudia Zepeda, (FoLLI-LNAI subseries) 2009, 5514, 305-319 httpwww.lsi.upc.edujcnievesJCNieves-PublicationsConferenceWoLLIC09.pdf.
  79. 2009 Guest Editorial: Workshops by the Logic and Computation Mexican Group M Osorio, C Zepeda Inteligencia Artificial 41, 1-3.
  80. 2009 Inferring preferred extensions by pstable semantics I ARTIFICIAL Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial ....
  81. 2009 Possibilistic Stratified Minimal Model Semantics JC Nieves, M Osorio Computer Science (ENC), 2009 Mexican International Conference on, 33-41.
  82. 2009 Possibilistic Well-Founded Semantics, Mauricio Osorio, Juan Carlos Nieves, LNCS 5845. MICAI 2009 15-26. httpdl.acm.orgcitation.cfmid1692950.
  83. 2009 Semantica G3-Estable e Inconsistencia M Osorio, C Zepeda, JC Nieves, JL Carballido Computación y Sistemas 13 (1), 75-86.
  84. 2009 The Logical Consequence Role in Parameterized Computation Approach, Mauricio Osorio and Simone Pascucci, LNCS 5753, LPNMR 2009 464-469 httpwww.springerlink.comcontent47m4215013628640.
  85. 2009 Una Revisión de las Semánticas de Argumentación U CORTÉS, M Osorio, JC NIEVES Computación y Sistemas 12 (001).
  86. 2009 Congresos Nacionales A formal design model for mechatronic systems. M. Osorio, C. Zepeda, H. Castillo. Accepted to appear in Proceedings of the 19th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2009), Puebla, Mexico. ISBN 13 978-0-7695-2799-4. httpieeexplore.ieee.orgxplfreeabsall.jsparnumber5163902.
  87. 2009 A formal design model for mechatronic systems. M. Osorio, C. Zepeda, H. Castillo. Accepted to appear in Proceedings of the 19th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2009), Puebla, Mexico. ISBN 13 978-0-7695-2799-4. httpieeexplore.ieee.orgxplfreeabsall.jsparnumber5163902.
  88. 2008
  89. 2008 Artículos de investigación 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. httpredalyc.uaemex.mxredalycpdf61561513253005.pdf.
  90. 2008 Brief study of G3 logic. Mauricio Osorio and J.L. Carballido. Journal of Applied Non-Classical Logics, 18(4), 2008. pp. 475-499.Ed. Lavoisier. ISSN 1166-3081. httpjancl.e-revues.comarticle.jsparticleId12631.
  91. 2008 Brief study of G3 logic. Mauricio Osorio and J.L. Carballido. Journal of Applied Non-Classical Logics, 18(4), 2008. pp. 475-499.Ed. Lavoisier. ISSN 1166-3081. httpjancl.e-revues.comarticle.jsparticleId12631.
  92. 2008 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. httparxiv.orgpdf0803.3812v1.pdf.
  93. 2008 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. httparxiv.orgpdf0803.3812v1.pdf.
  94. 2008 Logical Weak Completions of paraconsistent logics. Mauricio Osorio, J. R. A. Ramírez, and J. L. Carballido. Journal of Logic and Computation 18913-940 2008. Ed. Oxford Journals. httplogcom.oxfordjournals.orgcontent186913.abstract.
  95. 2008 Logical Weak Completions of paraconsistent logics. Mauricio Osorio, J. R. A. Ramírez, and J. L. Carballido. Journal of Logic and Computation 18913-940 2008. Ed. Oxford Journals. httplogcom.oxfordjournals.orgcontent186913.abstract.
  96. 2008 Preface. Special Issue LANMR 2008. Journal of Algorithms in Cognition, Informatics and Logic. Elsevier. ISSN 0196-6774. Offprint dispatch 22-4-09.
  97. 2008 Citas por coautores Brief study of G3 logic M Osorio Galindo, JL Carballido Carranza Journal of Applied Non-Classical Logics 18 (4), 475-499.
  98. 2008 Possibilistic-based argumentation: An answer set programming approach JC Nieves, U Cortés, M Osorio Computer Science, 2008. ENC08. Mexican International Conference on, 249-260.
  99. 2008 Pstable theories and preferences M Osorio, C Zepeda Electronics, Communications and Computers, 2008. CONIELECOMP 2008, 18th ....
  100. 2008 TECHNICAL NOTE Preferred extensions as stable models JC Nieves, UC ES, M Osorio.
  101. 2008 Una Revisión de las Semánticas de Argumentación JC Nieves, M Osorio, U Cortés Computación y Sistemas 12 (1), 65-88.
  102. 2008 Congresos Internacionales An architecture for building intelligent agents applied in health care based on answer set programming, Juan Carlos Nieves, Mauricio Osorio, Ulises Cortes, AAMAS 2008 workshop on Agents applied in healthcare. pp 51-28, Estoril, Portugal, May 2008.
  103. 2008 Congresos Nacionales Pstable Theories and Preferences. C. Zepeda, M. Osorio. In Proceedings of the 18th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2008), Puebla, Mexico, March, 2008. ISBN 13 978-0-7695-2799-4..
  104. 2007
  105. 2007 Artículos de investigación 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. httplogcom.oxfordjournals.orgcontent173499.full.pdf?keytyperefijkeyfInxMwqdWXd0oMd.
  106. 2007 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. httparxiv.orgpdfcs0609167v1.pdf.
  107. 2007 Citas por coautores " Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI) MO de la Fuente, M Osorio Journal of Logic and Computation 17 (3), 499-515.
  108. 2007 A semantics for updates consisting of a sequence of programs M Osorio, C Zepeda Electronics, Communications and Computers, 2007. CONIELECOMP07. 17th ....
  109. 2007 Inferring preferred extensions by minimal models JC Nieves, M Osorio, U Cortés Argumentation and Non-Monotonic Reasoning (LPNMR-07 Workshop), 114-124.
  110. 2007 Inferring preferred extensions by pstable semantics JC Nieves, M Osorio Proceedings of the Latin-American Workshop on Non-Monotonic Reasoning (LA ....
  111. 2007 Mauricio Osorio y Claudia Zepeda, Update Sequences Based on Minimal Generalized Pstable Models. MICAI 2007 Advances in Artificial Intelligence. LNCS 4827 . Springer pp 283-293. httpwww.springerlink.comcontentc6548x715u841216.
  112. 2007 Mauricio Osorio y Claudia Zepeda, Update Sequences Based on Minimal Generalized Pstable Models. MICAI 2007 Advances in Artificial Intelligence. LNCS 4827 . Springer pp 283-293. httpwww.springerlink.comcontentc6548x715u841216.
  113. 2007 Mauricio Osorio y Juan Carlos Nieves, PStable Semantics for Possibilistic Logic Programs. MICAI 2007 Advances in Artificial Intelligence. LNCS 4827. Springer. pp 294-304. httpwww.springerlink.comcontentl010tn72j3871638.
  114. 2007 Mauricio Osorio y Juan Carlos Nieves, PStable Semantics for Possibilistic Logic Programs. MICAI 2007 Advances in Artificial Intelligence. LNCS 4827. Springer. pp 294-304. httpwww.springerlink.comcontentl010tn72j3871638.
  115. 2007 Modality-based argumentation using possibilistic stable models JC Nieves, M Osorio, U Cortés CMNA VII-Computational Models of Natural Argument.
  116. 2007 NMR,• to discuss significant recent achievements in the theory and automation of NMR,• to present critical short and long term goals for NMR,• to discuss the significance of NMR to knowledge representation and AI in J Arrazola, M Osorio, P Pozos, C Zepeda.
  117. 2007 Properties of update sequences M Osorio, C Zepeda Proceedings of 4th international workshop on answer set programming (ASP2007).
  118. 2007 Reductions between the subgraph isomorphism problem and Hamiltonian and SAT problems I Olmos, JA Gonzalez, M Osorio Electronics, Communications and Computers, 2007. CONIELECOMP07. 17th ....
  119. 2007 Semantics for Possibilistic Disjunctive Programs (Poster), Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, In 9th. International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR - 07) LNAI 4483. Pages 315-320, Arizona, USA. 2007. httparxiv.orgpdf1106.0776v1.pdf .
  120. 2007 Semantics for Possibilistic Disjunctive Programs (Poster), Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, In 9th. International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR - 07) LNAI 4483. Pages 315-320, Arizona, USA. 2007. httparxiv.orgpdf1106.0776v1.pdf .
  121. 2007 Semantics for possibilistic disjunctive programs JC Nieves, M Osorio, U Cortés Logic Programming and Nonmonotonic Reasoning, 315-320.
  122. 2007 Strong negation and equivalence in the safe belief semantics M Ortiz, M Osorio Journal of Logic and Computation 17 (3), 499-515.
  123. 2007 Updates in answer set programming: An approach based on basic structural properties M Osorio, V Cuevas Theory and Practice of Logic Programming 7 (04), 451-479.
  124. 2007 Congresos Internacionales Inferring preferred extensions by minimal models, Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, In Argumentation and Non-Monotonic Reasoning ( Workshop as part of LPNMR- 07). pp. 114-124 Arizona, USA. 2007. httplia.deis.unibo.itconfsArgNMRproceedingsArgNMR-proceedings.pdf.
  125. 2007 Modality-based argumentation using possibilistic stable models, Juan Carlos Nieves, Mauricio Osorio and Ulises Cortés, In the 7th. Workshop on Computational Models of Natural Argument. (CMNA VII). IJCAI-WS, pp 35-41. Hyderabad, India. 2007. httpcmna.csc.liv.ac.ukCMNA7papersNieves.pdf.
  126. 2007 Reasoning about actions under uncertainty A possibilistic approach, Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, Des Congrés Internacional de lAssociació Catalana dIntelligncia Artificial (CCIA), pp 300-309, Andorra, 2007 httpwww.lsi.upc.edujcnievesJCNieves-PublicationsConferenceccia07.pdf.
  127. 2007 Reductions between the Subgraph Isomorphism Problem and Hamiltonian and SAT Problems. I. Olmos, M. Osorio, J.A. Gonzalez. Conielecomp 2007. February 29, 2007. Mexico. httpieeexplore.ieee.orgxplfreeabsall.jsparnumber4127260.
  128. 2007 Congresos Nacionales A semantics for Updates consisting of a Sequence of Programs. M. Osorio and C. Zepeda. Conielecomp 2007. February 29, 2007. Mexico. httpieeexplore.ieee.orgxplfreeabsall.jsparnumber4127261.
  129. 2007 Libros Editorial Nacional J. Juan Angoa, José Arrazola, Raúl Escobedo, Alejandro Illanes, Mauricio Osorio, Julio Poisot, Guillermo Sierna, Angel Tamariz. Topología y Sistemas Dinámicos I. Editores. Textos Científicos. Benemérita Universidad Autónoma de Puebla. 2007. .
  130. 2006
  131. 2006 Artículos de investigación 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. Pages787-813.httpwww.mpi-sws.orgjnavarropapersjlc05.pdf.
  132. 2006 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. httpwww.mpi-sws.orgjnavarropapersjlc06.pdf.
  133. 2006 Citas por coautores An Axiomatization of G M Osorio, JR Arrazola, JL Carballido, O Estrada.
  134. 2006 Answer Set General Theories and Preferences. Claudia Zepeda and Mauricio Osorio, 5th Mexican International Conference on Artificial Intelligence Apizaco, México, November 2006. Springer Verlag . Eds Alexander Gelbukh, Carlos Alberto Reyes-García. Páginas 59 a 69. httpwww.springerlink.comcontent561342n364750l21.
  135. 2006 Answer Set General Theories and Preferences. Claudia Zepeda and Mauricio Osorio, 5th Mexican International Conference on Artificial Intelligence Apizaco, México, November 2006. Springer Verlag . Eds Alexander Gelbukh, Carlos Alberto Reyes-García. Páginas 59 a 69. httpwww.springerlink.comcontent561342n364750l21.
  136. 2006 Defining new argumentation-based semantics by minimal models JC Nieves, U Cortes, M Osorio, I Olmos, JA Gonzalez Computer Science, 2006. ENC06. Seventh Mexican International Conference on ....
  137. 2006 Inexact graph matching: A case of study I Olmos, JA Gonzalez, M Osorio Proceedings of the 19th International FLAIRS Conference.
  138. 2006 Logics with common weak completions MO Galindo, JAN Pérez, JRA Ramírez, VB Macías Journal of Logic and Computation 16 (6), 867-890.
  139. 2006 Minimal Extended Generalized Answer Sets and their Applications M Osorio, C Zepeda Proceedings of the Workshop in Logic, Language and Computation (LoLaCOM06 ..
  140. 2006 Preferences for general theories in answer sets M Osorio, C Zepeda Preferences and their Applications in Logic Programming Systems (PREFS 2006 ....
  141. 2006 Supporting decision making in organ transplating using argumentation theory JC Nieves, M Osorio, U Cortés LANMR 2006: 2nd Latin American Non-Monotonic Reasoning Workshop, 9-14.
  142. 2006 Congresos Internacionales Inexact Graph Matching A Case of Study. Mauricio Osorio, Jesús González and Ivan Olmos. The 19th International FLAIRS Conference. May 19-11 2006. AAAI Press. Pages 586-591. httpwww.aaai.orgPapersFLAIRS2006Flairs06-115.pdf.
  143. 2006 Preferences for General Theories in Answer Sets. Mauricio Osorio and Claudia Zepeda. ICLP 06. Prefs.2006 Preferences and their Applications in Logic Programming Systems. August 16th. Seattle, Washington. Editors E. Pontelli and T.C. Son. Pages 76-90. httpwww.easychair.orgFLoC-06prefs2006proceedings.pdf.
  144. 2006 Supporting Decision Making in organ Transplating Using Argumentation Theory. Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio. VII Encuentro International de Computación ENC06. Editores Arturo Hernández Aguirre José Luis Zechinelli Martini.ISBN 968-5733-06-6. Pages 9-14. Also in CEUR vol.-217. httpsunsite.informatik.rwth-aachen.dePublicationsCEUR-WSVol-217.
  145. 2006 Congresos Nacionales An Axiomatization of G3. Mauricio Osorio,José R. Arrazola L. Carballido, Oscar Estrada. Fifth Mexican Internantional Conference on Artificial Intelligence. LolaCOM 2006 Workshop on Logic, Language and Computational. November 13-17, 2006 Tlaxcala. httpceur-ws.orgVol-220LoLaCOM0609.pdf.
  146. 2006 Defininig new argumentation-based semantics by minimal models. Juan Carlos Nieves, Ulisés Cortés, Mauricio Osorio, Iván Olmos and Jesús A. González. Seventh Mexican International Conference on Computer Science. Edited by Sergio Rajsbaum. IEEE. Mexico. September 2006. pp 210-220. httpwww.lsi.upc.edujcnievesJCNieves-PublicationsConferenceENC06.pdf.
  147. 2006 Expressing the Stable Semantics in Terms of the Pstable Semantics. Mauricio Osorio Galindo, Alejandra López Fernández. Fifth Mexican Internantional Conference on Artificial Intelligence. LolaCOM 2006 Workshop on Logic, Language and Computational. November 13-17, 2006 Tlaxcala. httpceur-ws.orgVol-220LoLaCOM0603.pdf.
  148. 2006 Minimal Extended Generalized Answer Sets and their Applications. Mauricio Osorio, Claudia Zepeda.Fifth Mexican Internantional Conference on Artificial Intelligence. LolaCOM 2006 Workshop on Logic, Language and Computational. November 13-17, 2006 Tlaxcala.
  149. 2006 Preferences using Answer Sets. Mauricio Osorio and Claudia Zepeda. VII Encuentro International de Computación ENC06. Workshop LANMR 06. Edited by Arturo Hernández Aguirre. and José Luis Zechinelli Martini. ISBN 968-5733-06-6. Pages 15-20. Also in CEUR vol.-217. httpsunsite.informatik.rwth-aachen.dePublicationsCEUR-WSVol-217.
  150. 2006 Programas Lógicos Disyuntivos y la Demostrabilidad de tomos en Cw. Mauricio Osorio,José R. Arrazola L. Carballido, Oscar Estrada. Fifth Mexican Internantional Conference on Artificial Intelligence. LolaCOM 2006 Workshop on Logic, Language and Computational. November 13-17, 2006 Tlaxcala..
  151. 2006 Update Sequences in Generalized Answer Set Programming Based on Structural Properties. J.C. Acosta Guadarrama, Jrgen Dix and Mauricio Osorio Galindo. Fifth Mexican International Conference on Artificial Intellience (MICAI 2006). Edited by Alexander Gelbukh Carlos Alberto Reyes-García. November 13-17, 2006 Apizaco México. Pages 32-41. httpieeexplore.ieee.orgxplfreeabsall.jsparnumber4022136.
  152. 2005
  153. 2005 Artículos de investigación 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. .
  154. 2005 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..
  155. 2005 Citas por coautores Agent modelling for CSCL environments using answer sets programming G Ayala, M Ortiz, M Osorio Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on ....
  156. 2005 Application of ASP for Agent Modelling in CSCL Environments, Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio, MICAI 2005 Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Alexander F. Gelbukh, Alvaro de Albornoz, Hugo Terashima-Marn (Eds.) Monterrey, Mexico, November 14-18, 2005, Proceedings. Lecture Notes in Computer Science 3789 Springer 2005, ISBN 3-540-29896-7. Pages 109-118. httpwww.springerlink.comcontentpj84864157335589 .
  157. 2005 Application of ASP for Agent Modelling in CSCL Environments, Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio, MICAI 2005 Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Alexander F. Gelbukh, Alvaro de Albornoz, Hugo Terashima-Marn (Eds.) Monterrey, Mexico, November 14-18, 2005, Proceedings. Lecture Notes in Computer Science 3789 Springer 2005, ISBN 3-540-29896-7. Pages 109-118. httpwww.springerlink.comcontentpj84864157335589 .
  158. 2005 Applications of preferences using answer set programming C Zepeda, M Osorio, JC Nieves, C Solnon, D Sol Proc. of the third workshop on Answer Set Programming: Advances in theory ....
  159. 2005 Inferring acceptable arguments with answer set programming M Osorio, C Zepeda Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on ....
  160. 2005 Mining Common Patterns on Graphs, Olmos Iván González Jesús A. and Osorio Mauricio, International Conference on Computational Intelligence and Security. Springer Verlag. Vol. 3802.2005. Pages 41-48. httpwww.springerlink.comcontentx633632q32x02134.
  161. 2005 Mining Common Patterns on Graphs, Olmos Iván González Jesús A. and Osorio Mauricio, International Conference on Computational Intelligence and Security. Springer Verlag. Vol. 3802.2005. Pages 41-48. httpwww.springerlink.comcontentx633632q32x02134.
  162. 2005 Modeling argumentation based semantics using non-monotonic reasoning JC Nieves, M Osorio, U Cortés Research report LSI-05-59-R, Universitat Politècnica de Catalunya, Software ....
  163. 2005 Modeling evacuation planning using a-prolog C Zepeda, M Osorio, D Sol Electronics, Communications and Computers, 2005. CONIELECOMP 2005 ....
  164. 2005 Nelson’s strong negation, safe beliefs and the answer set semantics M Ortiz, M Osorio ASP 2005 Workshop Proceedings, Bath, UK.
  165. 2005 Safe beliefs for propositional theories M Osorio, JA Navarro Pérez, J Arrazola Annals of Pure and Applied Logic 134 (1), 63-82.
  166. 2005 Subgraph isomorphism detection using a code based representation I Olmos, JA Gonzalez, M Osorio Proceedings of the 18th International FLAIRS Conference, 474-479.
  167. 2005 Updates in Answer Set Programming based on structural properties F Zacarias, M Osorio, JC Acosta Guadarrama, J Dix Proc. COMMONSENSE, 213-219.
  168. 2004
  169. 2004 Artículos de investigación 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. httpdanae.uni-muenster.delehrekuchenJFLParticles20042004.html.
  170. 2004 Citas por coautores A decision support system for disaster situations M Osorio, C Zepeda, D Sol, G Lazzeri Research on Computing Science e-Environment: Progress and Challenge. Mexico ....
  171. 2004 Aggregation in functional query languages M Osorio, JC Nieves, B Jayaraman Journal of Functional and Logic Programming 2.
  172. 2004 Answer Set Programming and S4. Mauricio Osorio and Juan Antonio Navarro, Christian Lematre, Carlos A. Reyes, Jesús A. González (Eds.)Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Mxico, November 22-26, 2004, Proceedings. Lecture Notes in Computer Science 3315. Pages 353- 363. Springer 2004, ISBN 3-540-23806-9, 353. httpwww.springerlink.comcontentekvnxba2q6hd36cd.
  173. 2004 Applications of intuitionistic logic in answer set programming M Osorio, JA Navarro, J Arrazola Theory and Practice of Logic Programming 4 (3), 325-354.
  174. 2004 Closing the Gap between the Stable Semantics and Extensions of WFS, Mauricio Osorio, Veronica Borja and Jose Arrazola, Advances in Artificial Intelligence, Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings. Lecture Notes in Computer Science 2972. Springer 2004, ISBN 3-540-21459-3, 202-211 httpwww.springerlink.comcontentd7ev5ncdn3dek9cy.
  175. 2004 Embedded implications and minimality in asp M Osorio, M Ortiz In Proc. of the 15th International Conference on Applications of Declarative ....
  176. 2004 Generalized Ordered Disjunctions and its Applicatons M Osorio, M Ortiz, M Hernandez Unpublished. http:mail. udlap. mx~ is103378researchpubsiclp ....
  177. 2004 On Updates of Logic Programs A Properties-Based Approach, Mauricio Osorio and Fernando Zacarias, Foundations of Information and Knowledge Systems, Third International Symposum, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004. Dietmar Seipel, Jose Maria Turull, Torres Lecture Notes in Computer Science 2942. Pages 231-241. Ed. Springer 2004, ISBN 3-540-20965-4. httpwww.springerlink.comcontentg5wqm80pwdk00ntw .
  178. 2004 Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs, Mauricio Osorio, Veronica Borja and José Arrazola, Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Christian Lematre, Carlos A. Reyes, Jess A. Gonzlez (Eds.).México, November 22-26, 2004, Proceedings. Lecture Notes in Computer Science 3315. Pages 343-352. Springer 2004, ISBN 3-540-23806-9. httpwww.springerlink.comcontentltbg7f9knk2g87jw .
  179. 2004 Using CR-rules for evacuation planning M Osorio, M Ortiz, C Zepeda IX Ibero-american Workshops on Artificial Inteligence, 56-63.
  180. 2003
  181. 2003 Artículos de investigación 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.httpwww.mpi-sws.orgjnavarropaperstplp04.pdf.
  182. 2003 Citas por coautores Computing preferred safe beliefs M Osorio, JC Nieves, JA Navarro Tehcnical Report in progress.
  183. 2003 Formalizing the learner model for cscl environments SC Mártir, P Cholula.
  184. 2003 Irrelevance of Syntax in updating answer set programs M Osorio, F Zacarias Workshop on Logic and Agents into Proc. of Fourth Mexican International ....
  185. 2003 Modal logic S52 and FOUR M Osorio, JA Navarro Proceedings of Annual Meeting of the Association for Symbolic Logic.
  186. 2003 The A-Pol system M Osorio, E Corona Answer Set Programming.
  187. 2003 Towards the use of Semantic Contents in ASP for planning and diagnostic in GIS M Osorio, C Zepeda Proceedings of the 2nd Answer Set Programming, Advances in Theory and ....
  188. 2003 Libros Editorial Internacional Section 3.9.7. of the book Chitta Barral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press. 2003. Also Feed back on chapters 1-5. .
  189. 2002
  190. 2002 Citas por coautores Debugging in A-Prolog A Logical Approach, Mauricio Osorio, Juan A. Navarro, José Arrazola, Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings. Lecture Notes in Computer Science 2401 Springer 2002, ISBN 3-540-43930-7, Pages 482-483. httpwww.mpi-sws.orgjnavarropapersiclp02.pdf .
  191. 2002 Debugging in A-Prolog A Logical Approach, Mauricio Osorio, Juan A. Navarro, José Arrazola, Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings. Lecture Notes in Computer Science 2401 Springer 2002, ISBN 3-540-43930-7, Pages 482-483. httpwww.mpi-sws.orgjnavarropapersiclp02.pdf .
  192. 2002 Equivalence in Answer Set Programming ( extended version). Mauricio Osorio, Juan Antonio Navarro and Jose Arrazola, Proceedings of LOPSTR 01, LNCS 2372, pp57-75, Springer-Verlag, Paphos, Cyprus, November 2001 ResearchIndex lligence Mérida, Yucatán, México 2002. httpwww.mpi-sws.orgjnavarropaperslopstr01.pdf.
  193. 2002 Equivalence in Answer Set Programming ( extended version). Mauricio Osorio, Juan Antonio Navarro and Jose Arrazola, Proceedings of LOPSTR 01, LNCS 2372, pp57-75, Springer-Verlag, Paphos, Cyprus, November 2001 ResearchIndex lligence Mérida, Yucatán, México 2002. httpwww.mpi-sws.orgjnavarropaperslopstr01.pdf.
  194. 2002 Exploración De la revisión de De Creencias estafadores LUPS. Mauricio J. Osorio Galindo y Juan Carlos Acosta Guadarrama Taller de Lógica y Computación Conferencia Mexicana Internacional de Artificial Artificial IntelligenceConference en la Mérida de Inteligencia, Yucatán, abril de Mxico 23 al 26 de 2002, Páginas 101 -106 Editores Juan Humberto Sosa Asuela y Gustavo Arroyo Figueroa..
  195. 2002 Exploración De la revisión de De Creencias estafadores LUPS. Mauricio J. Osorio Galindo y Juan Carlos Acosta Guadarrama Taller de Lógica y Computación Conferencia Mexicana Internacional de Artificial Artificial IntelligenceConference en la Mérida de Inteligencia, Yucatán, abril de Mxico 23 al 26 de 2002, Páginas 101 -106 Editores Juan Humberto Sosa Asuela y Gustavo Arroyo Figueroa..
  196. 2001
  197. 2001 Artículos de investigación A general theory of confluent rewriting systems for logic programming and its applications. Jrgen Dix, Mauricio Osorio, Claudia Zepeda. Ann. Pure Appl. Logic 108(1-3) 153-188 (2001) .
  198. 2001 Citas por coautores Stratified Partial-Order Logic Programming, Mauricio Osorio and Juan Carlos Nieves, Advances in Artificial Intelligence, 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001. Pages 225-235.Proceedings. Eleni Stroulia, Stan Matwin (Eds.) Lecture Notes in Computer Science 2056 Springer 2001, ISBN 3-540-42144-0, httpwww.springerlink.comcontenter5lndwxpxywley2 .
  199. 2001 Stratified Partial-Order Logic Programming, Mauricio Osorio and Juan Carlos Nieves, Advances in Artificial Intelligence, 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001. Pages 225-235.Proceedings. Eleni Stroulia, Stan Matwin (Eds.) Lecture Notes in Computer Science 2056 Springer 2001, ISBN 3-540-42144-0, httpwww.springerlink.comcontenter5lndwxpxywley2 .
  200. 2000
  201. 2000 Citas por coautores High-Level Logic Programming, Mauricio Osorio and Fernando Zacarias, Foundations of Information and Knowledge Systems, First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings, Pages 226-240, Klaus-Dieter Schewe, Bernhard Thalheim (Eds.) Lecture Notes in Computer Science 1762 Springer 2000, ISBN 3-540-67100-5, 226-240. .
  202. 2000 High-Level Logic Programming, Mauricio Osorio and Fernando Zacarias, Foundations of Information and Knowledge Systems, First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings, Pages 226-240, Klaus-Dieter Schewe, Bernhard Thalheim (Eds.) Lecture Notes in Computer Science 1762 Springer 2000, ISBN 3-540-67100-5, 226-240. .
  203. 2000 Knowledge Representation Using High-Level Non-monotonic Reasoning, Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarias, Erika Saucedo, MICAI 2000 Advances in Artificial Intelligence, Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000, Osvaldo Cair, Luis Enrique Sucar, Francisco J. Cantu (Eds.). Proceedings. Pages 13-24, Lecture Notes in Computer Science 1793 Springer 2000, ISBN 3-540-67354-7. httpwww.lsi.upc.edujcnievesJCNieves-PublicationsConferenceMICAI00.pdf .
  204. 2000 Knowledge Representation Using High-Level Non-monotonic Reasoning, Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarias, Erika Saucedo, MICAI 2000 Advances in Artificial Intelligence, Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000, Osvaldo Cair, Luis Enrique Sucar, Francisco J. Cantu (Eds.). Proceedings. Pages 13-24, Lecture Notes in Computer Science 1793 Springer 2000, ISBN 3-540-67354-7. httpwww.lsi.upc.edujcnievesJCNieves-PublicationsConferenceMICAI00.pdf .
  205. 1999
  206. 1999 Artículos de investigación Aggregation and Negation-As-Failure. Mauricio Osorio, Bharat Jayaraman.New Generation Computing. 17(3) 255-284 (1999).
  207. 1999 Confluent Rewriting systems in Non-Monotonic Reasoning. José Arrazola, Jrgen Dix, Mauricio Osorio. Computación y Sistemas 2(2-3) 104-123 (1999).
  208. 1999 Theory of Partial-Order Programming. Mauricio Osorio, Bharat Jayaraman, David A. Plaisted.Sci. Comput. Program. 34(3) 207-238 (1999)..
  209. 1998
  210. 1998 Citas por coautores Integrating the Completion and the Well Founded Semantics, Mauricio Osorio, Bharat Jayaraman, Progress in Artificial Intelligence - IBERAMIA 98, 6th Ibero-American Conference on AI, Lisbon, Portugal, October 5-9, 1998, Proceedings. Pages 230-241. Helder Coelho (Ed.) Lecture Notes in Computer Science 1484 Springer 1998, ISBN 3-540-64992-1. .
  211. 1998 Semantics of Partial-Order Programs, Mauricio Osorio, Logics in Artificial Intelligence, European Workshop, JELIA 98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Pages 47-61, Jrgen Dix, Luis Farias del Cerro, Ulrich Furbach (Eds.) Lecture Notes in Computer Sciences 1489 Springer 1998, ISBN 3-540-65141. httpwww.springerlink.comcontentw4ffcgxqrxr118v4.
  212. 1998 Semantics of Partial-Order Programs, Mauricio Osorio, Logics in Artificial Intelligence, European Workshop, JELIA 98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Pages 47-61, Jrgen Dix, Luis Farias del Cerro, Ulrich Furbach (Eds.) Lecture Notes in Computer Sciences 1489 Springer 1998, ISBN 3-540-65141. httpwww.springerlink.comcontentw4ffcgxqrxr118v4.
  213. 1997
  214. 1997 Artículos de investigación Specification and Computation of Optimization Problems. M. Osorio and B. Jayaraman. Proceedings for the 21st International Conference on Computers and Industrial Engineering, ICCIE-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. .
  215. 1997 Citas por coautores Aggregation and WFS (extended version). M. Osorio and B. Jayaraman. Nonmonotonic extensions of Logic Programming, Springer, Berlin in LNAI series, 1997, pp. 71-90..
  216. 1997 Aggregation and WFS (extended version). M. Osorio and B. Jayaraman. Nonmonotonic extensions of Logic Programming, Springer, Berlin in LNAI series, 1997, pp. 71-90..
  217. 1995
  218. 1995 Citas por coautores Partial Order Programming. Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon, Algebraic Methodology and Software Technology, 4th International Conference, AMAST 95, Montreal, Canada, July 3-7, 1995, Proceedings. Pages 561-575, Vangalur S. Alagar, Maurice Nivat (Eds.), Lecture Notes in Computer Science, 936 Springer 1995, ISBN 3-540-60043-4..
  219. 1995 Partial Order Programming. Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon, Algebraic Methodology and Software Technology, 4th International Conference, AMAST 95, Montreal, Canada, July 3-7, 1995, Proceedings. Pages 561-575, Vangalur S. Alagar, Maurice Nivat (Eds.), Lecture Notes in Computer Science, 936 Springer 1995, ISBN 3-540-60043-4..
  220. 1995 Partial Order Programming (Revisited), M. Osorio, B. Jayaramanand K. Moon, Proceedings of the Fourth International Conference on Algebraic Methodology and Software Technology. (1995), pp. 561-575 Springer-Verlag in LNCS series. httpwww.springerlink.comcontentp64m3h0877207518 .
  221. 1995 Partial Order Programming (Revisited), M. Osorio, B. Jayaramanand K. Moon, Proceedings of the Fourth International Conference on Algebraic Methodology and Software Technology. (1995), pp. 561-575 Springer-Verlag in LNCS series. httpwww.springerlink.comcontentp64m3h0877207518 .
  222. 0
  223. 0 Artículos de investigación Mauricio Javier Osorio Galindo, Verónica Borja Macías, José R. Arrazola Ramírez: Revisiting da Costa logic. J. Applied Logic 16: 111-127 (2016) elsevier.