Publications


Publications  in Proceedings

  • The Stable_abductible argumentation semantics, Mauricio Osorio, Juan Carlos Nieves, and José Luis Carballido; Seventh Latin American Workshop on Logic/Languages, 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. http://ceur-ws.org/   http://ceur-ws.org/Vol-804/06_LANMR11.pdf  
  • The N´5 Logic, José Arrazola, Mauricio Osorio and Eduardo Ariza, Six th Latin American Workshop on Logic/Languages, 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. http://ceur-ws.org/   http://ceur-ws.org/Vol-677/03_LANMR10.pdf
  • Possibilistic Safe Beliefs, Oscar Estrada, José Arrazola,  Mauricio Osorio, Six th Latin American Workshop on Logic/Languages, 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. http://ceur-ws.org/    http://ceur-ws.org/Vol-677/05_LANMR10.pdf
  • Computing the Stratified Minimal Models Semantic, Mauricio Osorio, Angel Marin-George and Juan Carlos Nieves, Fifth Latin American Workshop on Logic/Languages, 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. http://ceur-ws.org/   http://ceur-ws.org/Vol-533/13_LANMR09_10.pdf
  • 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. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5163902
  • 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.
  • 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.
  • 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. http://cmna.csc.liv.ac.uk/CMNA7/papers/Nieves.pdf
  • 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. http://ceur-ws.org/Vol-220/LoLaCOM06_03.pdf
  • 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. http://www.easychair.org/FLoC-06/prefs2006proceedings.pdf
  • Update Sequences in Generalized Answer Set Programming Based on Structural Properties. J.C. Acosta Guadarrama, Jürgen 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. 
  • 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.
  • 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.
  • An Axiomatization of G'3. 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. http://ceur-ws.org/Vol-220/LoLaCOM06_09.pdf
  • Supporting Decision Making in organ Transplating Using Argumentation Theory. Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio. VII Encuentro International de Computación ENC'06. Editores Arturo Hernández Aguirre José Luis Zechinelli Martini.ISBN 968-5733-06-6. Pages 9-14.  Also in CEUR vol.-217. http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-217/


  • 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. http://www.aaai.org/Papers/FLAIRS/2006/Flairs06-115.pdf

  • Updates in Answer Set Programming Based on Structural Properties. Jurgen Dix, J.C. Acosta Guadarrama, Mauricio Osorio y Fernando Zacarías. 7th International Symposium on Logical Formalizations of Commonsense Reasoning. Pages 213-219 Technische  Universitat Dresden (eds.) Sheila Mcllraith, Pavlos Peppas, and Michael Thielscher, ISSn 1430-21X. 2005. http://commonsensereasoning.org/2005/zacarias.pdf

  • Extending PP Language: An answer set planning  problem language. In  Journal Research on Computing Science (RCS), Vol. 17, pages 255-264. Mexico, D.F., México.  2005.  ISSN 1665-9899.

  • Selección de Compuestos Para la Tipificación, un Problema de Selección de Características Usando GA´S y PCA, Caso Virus de Papiloma Humano.Mariano Rodríguez –Muro, Pilar Gómez-Gil, Carolina Castañeda-Roldan, Javier Garcés-Eisele, Mauricio Osorio-Galindo. Sixth Mexican International Conference on Computer Science (ENC 2005), 26-30 September 2005, Puebla, México. Pages186-189, IEEE Computer Society 2005, ISBN 0-7695-2454-0.


  •  Extending PP Language: Answer Set Planning Problem Language. Claudia Zepeda, Mauricio Osorio, David Sol, Christine Solnon.  Sixth Mexican International Conference on Computer Science (ENC 2005), 26-30 September 2005, Puebla, Mexico. Pages 57-63 IEEE Computer Society 2005, ISBN 0-7695-2454-0.

  •  Modeling Evacuation Planning Using A-Prolog. Claudia Zepeda, Mauricio Osorio, David Sol: Modeling Evacuation Planning. 15th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2005), 28 February 2005 - 2 March 2005, Puebla, Mexico. Pages 292-297IEEE Computer Society 2005, ISBN 0-7695-2283.

  •  Algorithms for the Typing of Related DNA Sequences. Rocí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.15th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2005), 28 February 2005 - 2 March 2005, Puebla, Mexico. Pages  268-271.  IEEE Computer Society 2005, ISBN 0-7695-2283-1. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1488572

  • Usefulness of Solution Algorithms of the Traveling Salesman Problem in the Typing of Biological Sequences in a Clinical Laboratory Setting. Javier Garcés Eisele, Carolina Yolanda Castañeda Roldán, Mauricio Javier Osorio Galindo, Ma. del Pilar Gómez Gil.15th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2005), 28 February 2005 - 2 March 2005, Puebla, Mexico. Pages 264-271. IEEE Computer Society 2005, ISBN 0-7695-2283-1. 

  •  Applications of Preferences using Answer Set Programming. Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol. Answer Set Programming 2005 Marina De Vos, Alessandro Provetti (Eds.). Pages 318-332. Research Press international (Alpha books). http://ceur-ws.org/Vol-142/page318.pdf

  • Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Magdalena Ortiz, Mauricio Osorio. Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005. CEUR Workshop Proceedings 142 CEUR-WS.org 2005. Pages 70-84. Research Press International (Alpha books).  

  •  Inferring acceptable arguments with Answer Set Programming.  Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés. Sixth Mexican International Conference on Computer Science (ENC 2005), 26-30 September 2005, Puebla, Mexico, ISBN 0-7695-2454-0, 198-205. Ed. IEEE Computer Society 2005.

  • Agent Modelling for CSCL Environments using Answer Sets Programming. Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio. Sixth Mexican International Conference on Computer Science (ENC 2005), 26-30 September 2005, Puebla, Mexico. IEEE Computer Society 2005, ISBN 0-7695-2454-0, Pages 214-221.

  •  Subgraph Isomorphism Detection Using a Code Based Representation. Iván Olmos, Jesús A. González, Mauricio Osorio. Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, Clearwater Beach, Florida, USA. AAAI Press 2005,  Ingrid Russell, Zdravko Markov (Eds.): ISBN 1-57735-234-3, Pages 474-479.

  •  Intelligent Agents Supported on Both Asp and Vigots´k Theory for CSCL Environments. Fernando Zacarías Flores, Mauricio Osorio Galindo, Arrazola Ramírez, M. Jaimes Perusquia. Proceedings of the LASTED International Conference Artificial Intelligence and Applications February 16-18, 2004 Innsbruk, Austria. Pages 177-182 IASTED.

  • Subgraph Isomorphism Detection With a Representation Based on Lists of Codes. Iván Olmos, Jesús :A Gonzáles, Mauricio Osorio. Ih Ibero-American Artificial Intelligence, November 22-23, 2004. Pages 355-362, IBERAMIA.

  • Using Cr-Rules Evacuation Planning. Mauricio Osorio, Magdalena Ortiz and  Claudia  Zepeda. Ih Ibero-American Artificial Intelligence, November 22-23, 2004. Pages 56-63, IBERAMIA.

  •  Decision Support System for Disaster Situations. Mauricio Osorio, Claudia Zepeda; David Sol and Gerardo Lazzeri. In Research on Computing e-Environment: Progress and Challenge , November 30 a 3 December, 2004. México D.F. Pages 97- 116.  (Eds.) Paulicos  Prastacos, Ulises Cortes, Juan Luis Díaz de León and Manuel Murillo. Research on Computing Science.

  •  Optimización de la Geno –tipificación de Papiloma virus Humano como un Problema de Selección de características utilizando PCA y RNAS. M. Rodríguez Muro, P. Gómez Gil, C. Castañeda Roldan, J. Garcés Eisele, J. Lozano Yécora and M. Osorio Galindo. Quinto Encuentro Internacional de Computación ENC´04 del 20 al 24 de Septiembre de 2004 Colima, Col., México. Pages 629- 634, (Eds.) Miguel Arias Estrada, Alexander Gelbukh, SMCC.

  •  Usefulness of Solution Algorithms of the Traveling Salesman Problem in the Typing of Biological Sequences in a Clinical Laboratory Setting. Javier Garcés Eisele, Carolina Yolanda Castañeda Roldán, Mauricio Javier Osorio Galindo, Ma. del Pilar Gómez Gil. 14th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2004), 16-18 February 2004, Veracruz, Mexico. Pages 264-271.  IEEE Computer Society 2004, ISBN 0-7695-2074-X.

  • Embedded Implications and Minimality in ASP. Mauricio Osorio and Magdalena Ortiz. 15th International Conference on Applications of Declarative Programming and Knowledge Management and 18th Workshop on Logic programming March 4-6, 2004 Potsdam, Germany . Pages 241- 254. (Eds.) Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein. Proceedings. (pdf) 

  •  Towards the use of CR-Rules and semantic Contents in ASP For Planning in GIS. Mauricio Osorio, Magdalena Ortiz and  David Sol. Technical Report RR-2004 University Lyon. Francehttp://liris.cnrs.fr/Documents/Liris-1917.pdf

  • Irrelevance of Syntax in Updating Answer Set Theories. Mauricio Javier Osorio Galindo, Fernando Zacarías Flores. XXXVI Congreso Nacional  Sociedad Matemática Mexicana, Pachuca, Hidalgo., Octubre 2003. Page 192.

  • Irrelevance of Syntax in Updating Answer Set Programs. Mauricio Javier Osorio Galindo, Fernando Zacarías Flores. 4° Encuentro Internacional de Ciencias de la Computación ENC03. IPN-Sociedad Mexicana de Ciencia de la Computación.Septiembre 2003.   Page 183-188.

  • Two Hybrids of Aproximation Solution of the Traveling Salesman Problem. Mauricio Osorio, Carolina Castañeda, Javier Garcés, Pilar Gómez. CIARP 2003. Octavo Congreso Iberoamericano de Reconocimiento de Patrones,.ed. CD del 26 al 29 de Noviembre del 2003 en Cuba. Pages 1 a 3. 

  •  Usefulness of Solution Algorithms of the Traveling Salesman Problem in the Typing of Biological Sequences in a Clinical Laboratory Setting. Mauricio Osorio, Carolina Castañeda, Javier Garcés, Pilar Gómez.  e-Health: Applications of Computing science in Medicine and Health Care, ed. EU-LAT/ Rudomin/ Vazquez/ Diz de Leon, Pages 169 a 177, México, 2003.

  •   Hibrido MST para la Solución Aproximada del Problema del Agente Viajero y la Tipificación de Secuencias de DNA en Modelos Virales. Mauricio Osorio, Carolina Castañeda, Javier Garcés, Pilar Gómez, David Palacios.  Seminario Anual de Automática, Electrónica Industrial  e Instrumentación, ed. SAAEI, España 11y 12 de Septiembre 2003. Pages 1 a 6.

  •  El Pequeño Universo del Problema del Agente Viajero Dentro de la Tipificación  de Secuencias (DNA).  Mauricio Osorio, Javier Garcés, Carolina Castañeda, Ma. del Pilar Gomez.   XIII Congreso Internacional de Electrónica Comunicaciones  y Computadoras del 24 al 26 de Febrero, pages 282 a 287.

  • New properties on the update operator\oplus. Mauricio Osorio, Fernando Zacarias. Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003. Marina De Vos, Alessandro Provetti (Eds.) Pages 291-304. CEUR Workshop Proceedings 78 CEUR-WS.org 2003

  • The A-Pol System.  Mauricio Osorio, Enrique Corona. Conference: Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, Marina De Vos, Alessandro Provetti (Eds.)September 26-28, 2003. Pages 253- 267. CEUR Workshop Proceedings 78.  CEUR-WS.org 2003. http://ceur-ws.org/Vol-78/asp03-final-osorio-apol.pdf

  •  Towards the use of Semantics Contents in ASP for planning and Diagnostic in GIS.  Mauricio Osorio, Claudia Zepeda.  Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003. Pages 345 – 355. CEUR Workshop Proceedings 78.  CEUR-WS.org 2003. http://ceur-ws.org/Vol-78/asp03-final-osorio-sem.pdf

  •  Towards Modelling an Intelligent Calendar Agent with LUPS. Juan Carlos Acosta Guadarrama, Mauricio Javier Osorio Galindo. The 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), M. H. Hamza (Ed.) February 10-13, 2003, Innsbruck, Austria. IASTED/ACTA Press 2003, ISBN 0-88986-345-8, Pages 60-65.

  •  Formalizing the Learner Model for CSCL Environments. Magdalena Ortiz, Gerardo Ayala, Mauricio Osorio. 4th Mexican International Conference on Computer Science (ENC 2003), 8-12 September 2003, Apizaco, Mexico. IEEE Computer Society 2003, ISBN 0-7695-1915-6, Pages 151-158.

  •  Programación Lógico Funcional. Mauricio Osorio, Fernando Zacarias, Alberto Téllez. Congreso Internacional de Ingeniería Electrónica Comunicaciones y Computadoras CONIELECOMP 2002, Ed. IEEE SUBSEC. Puebla, Pages 45 a 49, México 2002.

  •  Comparación de modelos estables entre Sato y DVL. Mauricio Osorio and Juan Carlos Acosta.  XXXV Congreso Nacional de la Sociedad Matemática Mexicana. 6 Noviembre 2002, Durango, México. Page  91, Sociedad Matemática Mexicana.

  •  Soluciones Aproximadas del Problema de Clasificación de Patrones de Restricción. Castañeda Roldan Carolina, Osorio Galindo Mauricio, Gómez Gil Pilar and Garcés Eisele Javier.  IBERAMIA 2002 Sevilla España 12 de Noviembre 2002.

  •  Lógica Modal Caracterizada por FOURTH. Mauricio Osorio and Verónica Borja. XXXV Congreso Nacional de la Sociedad Matemática Mexicana. 6 Noviembre 2002, Durango, México. Page 125,  Sociedad Matemática Mexicana.

  •  Lógica Aplicada a Answer Set. Mauricio Osorio, Juan Antonio Navarro and José Aráosla. XXXV Congreso Nacional de la Sociedad Matemática Mexicana. 6 Noviembre 2002, Durango, México. Page 126, Sociedad Matemática Mexicana.

  •  A logical approach to A-Prolog. Mauricio Osorio, Juan A. Navarro, José Arrazola. WoLLIC'2002 9th Workhop on Logic, Language, Information and Computation Rio de Janeiro, Brazil, 30 July to 2 August 2002, pp 265-276. 

  • Making Belief Revision with LUPS. JC Acosta, J Arrazola, M Osorio. XI International Conference on Computing, CICIPN . México, del 25 al 29 de Noviembre 2002. Ed. Sossa Azuela Aguilar Ibáñez, Pages 377 a 388. 

  •  Towards Modelling an Intelligent Calendar Agent with LUPS. JCA Guadarrama, M Osorio. Tercer Simposium Internacional en Tecnologıas Inteligentes. Pages 60 a 65. México. 

  •  Spanish interface for information recovering in a geografic database. Mauricio Osorio, Moises Quintero and Rogelio Davila. Accepted in CONIELECOMP 2002. Ed. IEEE SUBSEC. Puebla, Mexico 2002. Pages 55 a 58(Spanish).

  • Evaluation of two aproximation algorithms for the solution of the travel salesman problem. Mauricio Osorio, Carolina Castaneda and Pilar Gomez. Accepted in CONIELECOMP 2002. Ed. IEEE SUBSEC. Puebla, Mexico 2002. Pages: 245 a 249. 

  •  Si-Logics for Nonmonotonic Reasoning. Mauricio Osorio, Juan Antonio Navarro, José Arrazola. Conference on Artificial Intelligence Mérida, Yucatán, México April 23 al 26 de  2002 pages 87-94 Editores Juan Humberto Sosa Asuela and  Gustavo Arroyo Figueroa.

  •  Exploring Belief Revision with LUPS. Mauricio J. Osorio Galindo and Juan Carlos Acosta Guadarrama. Workshop on Logic and Computation: Mexican International Conference on Artificial IntelligenceConference on Artificial Intelligence Mérida, Yucatán, México April 23 al 26 de  2002 pages 101-106 Editores:  Juan Humberto Sosa Asuela and  Gustavo Arroyo Figueroa.

  • Consistent neg-extensions of superintuitionistic theories. Mauricio Osorio, Juan Antonio Navarro, José Arrazola. LOGIC COLLOQUIUM, Münster (Germany), August 3 - 9, 2002. Ed.WESTFAHSCHE WILHEIMS- UNIVERSITAT, Pag. 47 a 48, Alemania, 2002. http://www.mpi-sws.org/~jnavarro/papers/lc02.pdf

  •  Algoritmos de Aproximación para la Solución del Problema Double Digest Problem (DNA) como dos problemas del agente viajero. Mauricio Osorio, Carolina Castaneda and Pilar Gomez. Congreso Internacional de Electrónica, Comunicaciones y Computadoras TELEC02,Cuba, Julio 2002, pp 55.

  •  Pizarra Electrónica Usando Agentes Colaborativos. Mauricio Osorio, Fernando Zacarías,  Francisco Javier Tobon. II Workshop de Ingeniería de Software en Chile, 9 de Noviembre 2002.

  •  Logic & computation. Mauricio Osorio. MICAI 2002 en Mérida Yucatán 26 de Abril 2002. 

  •  Decision problem of Substrings in Context free Languages. Mauricio Osorio, J. Antonio Navarro. In Proc. Int. Conference CIC'2001, pp 239-249, Mexico, 2001. http://www.mpi-sws.org/~jnavarro/papers/cic01.pdf

  •  Stable semantics for propositional theories. Mauricio Osorio, Juan Carlos Nieves. Ws,c. In Proc. Int. Conference CIC'2001, pp 319-328, Mexico, 2001. http://www.lsi.upc.edu/~jcnieves/JCNieves-Publications/Conference/cic-logic1.pdf

  •  Pizarra Electrónica Usando Agentes Colaborativos. Mauricio Osorio, Fernando Zacarías,  Francisco Javier Tobón.1er Coloquio de Investigación de Ciencias de la Computación. 30 de Marzo de 2001 Orizaba, Ver.

  • Evaluación de Algoritmos par la Solución del Problema del Agente Viajero. Mauricio Osorio, Carolina Castañeda, Pilar Gómez. Investigación de la Ciencias de la Computación, Ed., Page 80 México 2001.

  •  WSC- Stable Semantics for Propositional Theories. Mauricio Osorio, Juan Carlos Nieves. Conference CIC 2001, México 2001. Pág. 319. 

  •  Application of Simplification Theories. M. Osorio, J. C. Nieves and  Gabriel Cervantes. Proc. Seventh Workshop on Automated Reasoning, pp ? -? , London, UK. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.6444 

  •  Partial-order relational programming. M. Osorio, J.C. Nieves, F. Zacarias and  E. Oropeza. Proc. First international Workshop on Rule-Based Programming,   Montreal, Canada, 2000. 

  •  Answer-Set Programming: From supported to stable models. Mauricio Osorio, J.C. Nieves. In Proc. International Conference CIC'2000, pp 304-314, Mexico, 2000.

  •  Declarative Pruning in a Functional Query Language. Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves. Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999. Pages 588-604. Danny De Schreye (Ed.)The MIT Press, ISBN 0-262-54104-1. http://dl.acm.org/citation.cfm?id=341280

  •  Partial order in logic programming. M. Osorio, Juan Carlos Nieves. In Proc. Enc99, pp ?-?, Mexico, 1999. (Spanish). 

  •  Aplication of WFSX in Botanic field. M. Osorio, E. Saucedo. In Proc. Enc99, pp ?-?, Mexico, 1999. (Spanish).

  • Partial-Order Functional-Logic Programming. M. Osorio, Juan Carlos Nieves. In Proc. Int. Conference CIC99, pp 394-404, Mexico, 1999.

  • Suitable semantics for Knowledge representation. J. Arrazola, M. Osorio. Proceedings of the IASTED International Conference, pages 145-148. Editor: M.H. Hamza. IASTED/ACTA Press, Anaheim,Calgary, Zurich. ISSN 1482-7913. 1998.

  • Confluence and  Provability Closures: Tools to define well-behaved semantics. C. Zepeda, M. Osorio. Presented at XI Latin American Symposium on Mathematical Logic. Universidad de los andes, Mérida, Venezuela, July 6-10, 1998

  •  Extensions of the WFS Semantics for Logic Programming. J. Arrazola, M. Osorio. Proceedings of the 5th Workshop on Logic, Language, Information and  Computation (WoLLIC'98), at IME-USP in Sao Paulo, Brazil. July 28-31, 1998, pp 163-168. Abstract appears in the conference report published in Vol 6 N 6 (Nov 1998) of the Logic Journal of the IGPL, Oxford University Press. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.2263

  •  Semantics of disjunctive logic programming. M. Osorio and J. Arrazola. Memorias del Simposium Internacional de Computación CIC '98. pp. 493-504. Instituto Politécnico Nacional. Noviembre 1998. 

  •  Confluent Rewriting Systems for Logic Programming Semantics. M. Osorio, J. Arrazola, J. Dix . Memorias del taller de inteligencia artificial (1998), pp. 58-66. Editores del volumen: Francisco Cantú Ortízand Álvaro de Albornoz Bueno. Centro de investigación en computación -IPN. ISSBN 970-18-2057-6. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5989

  •  On Well-Behaved Semantics Suitable for Aggregation. Jürgen Dix, Mauricio Osorio. Logic Programming, Proceedngs of the 1997 International Symposium, Port Jefferson, Long Island, N.Y., October 13-16, 1997. Page 405, Jan Maluszynski (Ed.)MIT Press, 1997, ISBN 0-262-63180-6.

  •  Towards Well-Behaved Semantics Suitable for aggregation.  J. Dix, M. Osorio. Technical report TR 11/97, University of Koblenz-Land au, Department of Computer Science, Rheinau 1, Germany. April 1997. Poster paper at the International Symposium of Logic programming, NY 1997.

  •  Specification of Extended Logic Programs via Normal Programs. Mauricio Osorio. Primer encuentro de Computación. Querétaro. 11 a 13 de Septimbre de 1997. Pages 67 a 73. 

  •  Probability Closure in Logic Programming. J. Dix and M. Osorio. Memorias del simposium internacional de computación: nuevas aplicaciones e innovaciones tecnológicas en computación. Editado por I.P.N. Páginas 313-319 México D.F. Noviembre 1997.

  •  Towards a Broader Basis for Logic Programming. M. Osorio and B. Jayaraman. Proceedings of IBERAMIA 96 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.9529

  •  Subset Assertions and Negation As Failure. Mauricio Osorio, Bharat Jayaraman. Logic Programming, Proceedings of the 1993 International Symposium, Vancouver, British Columbia, Canada, October 26-29, 1993. Pege 637, Dale Miller (Ed.).MIT Press 1993, ISBN 0-262-63152-0. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.9311