osoriomauri - Publications

Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés. Semantics for Possibilistic Disjunctive Programs (Poster), In 9th. International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR - 07) LNAI 4483. Pages 315-320, Arizona, USA. 2007.

Answer Set General Theories and Preferences. Claudia Zepeda and Mauricio Osorio. 5th Mexican International Conference on Artificial Intelligence Apizaco, México, November 2006 MICAI 2006. Springer Verlag. Eds. Alexander Gelbukh, Carlos Alberto Reyes-García. Pages 59-69.

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.

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.

On Updates of Logic Programs: A Properties-Based Approach. Mauricio Osorio, 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.

Mauricio Osorio, Veronica Borja, José Arrazola.Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. 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.

Answer Set Programming and S4.Mauricio Osorio, Juan A. 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.

Closing the Gap between the Stable Semantics and Extensions of WFS. Mauricio Osorio, Veronica Borja, José Arrazola. Raul Monroy, Gustavo Arroyo-Figueroa, Luis Enrique Sucar, Juan Humberto Sossa Azuela (Eds.) 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

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.

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 Mrida, Yucatn, Mxico April 23 al 26 de 2002 pages 101-106 Editores: Juan Humberto Sosa Asuela and Gustavo Arroyo Figueroa.

Equivalence in Answer Set Programming ( extended version). Mauricio Osorio, Juan Antonio Navarro, Jos Arrazola. Proceedings of LOPSTR 01, LNCS 2372, pp57-75, Springer-Verlag, Paphos, Cyprus, November 2001 ResearchIndex lligence Mérida, Yucatán, México 2002.

Stratified Partial-Order Logic Programming. Mauricio Osorio, 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,

Equivalence in Answer Set Programming.Mauricio Osorio, Juan A. Navarro, José Arrazola.Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Pag. 57-75. Selected Papers. Alberto Pettorossi (Ed.)Lecture Notes in Computer Science 2372 Springer 2001, ISBN 3-540-43915-3.

High-Level Logic Programming. Mauricio Osorio, 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.
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 Science 1489 Springer 1998, ISBN 3-540-65141-1.
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.
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.