Publicaciones


Publicaciones en Lecture Notes in Computer Science (Springer Verlag)

  • 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.  http://arxiv.org/pdf/1106.0776v1.pdf   
  • 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.  http://www.springerlink.com/content/561342n364750l21/
  • 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.  http://www.springerlink.com/content/pj84864157335589/  
  • 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.  http://www.springerlink.com/content/g5wqm80pwdk00ntw/  
  • 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.  http://www.springerlink.com/content/ltbg7f9knk2g87jw/  
  • 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.  http://www.springerlink.com/content/ekvnxba2q6hd36cd/
  • 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  http://www.springerlink.com/content/d7ev5ncdn3dek9cy/
  • 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.  http://www.mpi-sws.org/~jnavarro/papers/iclp02.pdf  
  • 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.
  • 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.  http://www.mpi-sws.org/~jnavarro/papers/lopstr01.pdf
  • 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,  http://www.springerlink.com/content/er5lndwxpxywley2/  
  • 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. 
  • 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.  http://www.lsi.upc.edu/~jcnieves/JCNieves-Publications/Conference/MICAI00.pdf           
  • 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.  
  • 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.  http://www.springerlink.com/content/w4ffcgxqrxr118v4/
  • Aggregation and WFS+ (extended version).  M. Osorio and B. Jayaraman.  Nonmonotonic extensions of Logic Programming, Springer, Berlin in LNAI series, 1997, pp. 71-90.
  • 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.  http://www.springerlink.com/content/p64m3h0877207518/  
  • 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.