Tus Profesores
Profesores del departamento
Volver al listado de profesores »
MAURICIO JAVIER OSORIO GALINDOMAURICIO JAVIER OSORIO GALINDO
MAURICIO JAVIER OSORIO GALINDO

Grados Académicos:

Doctorado en Ciencias de la Computación, State University of New York at Buffalo.
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 .
Licenciatura en Computación, Benemérita Universidad Autónoma de Puebla.


MIEMBRO DEL SISTEMA NACIONAL DE INVESTIGADORES (SNI) Nivel 2

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.
  

 
 

Producción de investigación

Sección 
 
Año




Congresos Nacionales

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

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

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

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

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

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

2008
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.

2007
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

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

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

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

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.

2006
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

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

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



Congresos Internacionales

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2008
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

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

2007
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

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

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

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

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

2006
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



Artículos de investigación

2017
Mauricio Osorio, José Abel Castellanos Joo, Equivalence among RC-type paraconsistent logics, Logic Journal on the IGPL

2017
Alejandro Hernández Tello, José Arrazola Ramírez, Mauricio Osorio Galindo The Pursuit of an Implication for the Logics L3A and L3B. Logica Universalis (SPRINGER)

2017
Mauricio Osorio, Juan Díaz, Alejandro Santoyo, 0-1 Integer Programming for Computing Semi-Stable Semantics of Argumentation Frameworks, Computación y Sistemas

2017
Mauricio Osorio, José Luis Carballido, Claudia Zepeda, Abducible Semantics and Argumentation, Fundamenta Informaticae, vol. 155, no. 3, pp. 293-319

2017
Juan Carlos Nieves, Mauricio Osorio Extending well-founded semantics with Clarks Completion for disjunctive logic programs (SCIENTIFIC PROGRAMMING)

2017
Mauricio Osorio, Juan Carlos Nieves: Range-based argumentation semantics as two-valued models. TPLP 17(1): 75-90 (2017)

2016
Juan Carlos Nieves, Mauricio Osorio: Ideal extensions as logical programming models. J. Log. Comput. 26(5): 1361-1393 (2016)

2016
Mauricio Osorio, José Luis Carballido, Claudia Zepeda: Characterizing stage argumentation semantics based on stable abducible semantics. LANMR 2016: 41-49

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)

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

2015
Mauricio Osorio, Juan Díaz, Alejandro Santoyo; Computing stable semantics of AF by 0 - 1 integer programming. CONIELECOMP 2015: 204 - 211

2015
Mauricio Osorio, J.L. Carballido, C. Zepeda and J.A. Castellanos, Weaking and Extending Z, Logica Universalis Springer Basel 2015

2015
Dr. Mauricio Osorio, Dr. Claudia Zepeda, On Paraconsistent Extensions of C-1, Electronic Notes in Theoretical Computer Science, 2015, pp. 47 - 60

2014
Mauricio Osorio, José Luis Carballido, Claudia Zepeda: Revisiting Z. Notre Dame Journal of Formal Logic 55(1): 129-155

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.

2013
Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs. TPLP 13(1): 33-70

2013
Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs. TPLP 13(1): 33-70

2013
Mauricio Osorio, Juan Carlos Nieves, Alejandro Santoyo: Complete Extensions as Clarks Completion Semantics. ENC 2013: 81-88

2011
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

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

2010
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

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

2009
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

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

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

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

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

2008
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

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

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

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

2008
Preface. Special Issue LANMR 2008. Journal of Algorithms in Cognition, Informatics and Logic. Elsevier. ISSN 0196-6774. Offprint dispatch 22-4-09

2007
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

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

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

2006
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

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.

2005
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.

2004
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

2003
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

2001
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)

1999
Confluent Rewriting systems in Non-Monotonic Reasoning. José Arrazola, Jrgen Dix, Mauricio Osorio. Computación y Sistemas 2(2-3) 104-123 (1999)

1999
Aggregation and Negation-As-Failure. Mauricio Osorio, Bharat Jayaraman.New Generation Computing. 17(3) 255-284 (1999)

1999
Theory of Partial-Order Programming. Mauricio Osorio, Bharat Jayaraman, David A. Plaisted.Sci. Comput. Program. 34(3) 207-238 (1999).

1997
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.

0
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



Libros Editorial Nacional

2007
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.



Libros Editorial Internacional

2003
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.



Citas por coautores

2013
Semantics for Possibilistic Disjunctive Programs JC NIEVES, M OSORIO, UC ES

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 ...

2012
CF2-extensions as Answer-set Models M Osorio, JC Nieves Sánchez, I Gómez Sebastià IOS Press

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

2012
The stable-abducible argumentation semantics M Osorio, JC Nieves Sánchez, JL Carballido

2011
An Overview of Argumentation Semantics U CORTÉS, M Osorio, JC NIEVES Computación y Sistemas

2011
Semantics for possibilistic disjunctive programs JC Nieves, M Osorio, U Cortés arXiv preprint arXiv:1106.0776

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

2011
Extending the Grounded Semantics by Logic Programming Semantics. JC Nieves, M Osorio, U Cortés CCIA, 169-178

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

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 ..

2011
Studying Ideal Semantics via Logic Programming Semantics JC Nieves, M Osorio Artificial Intelligence (MICAI), 2011 10th Mexican International Conference ...

2011
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

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

2011
Special Issue: Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR) M Osorio,IOS Press

2010
Updates based on ASP C Zepeda, JL Carballido, M Rossainz, M Osorio Proc. of MICAI (Special Sessions), 63-66

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 ...

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

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

2010
A Possibilistic Intuitionistic Logic, MICAI 2010, Part I. LNCS 6437, pp 362-373. Oscar Estrada, José Arrazola and Mauricio Osorio. httpwww.springerlink.comcontentw3q5j423l0551320

2010
Expressing p-stable semantics based on stable semantics M Osorio, JL Carballido, C Zepeda Electronics, Communications and Computer (CONIELECOMP), 2010 20th ...

2010
Yet another application of fuzzy logic M Osorio, C Zepeda, JL Carballido, D Lopez Electronics, Communications and Computer (CONIELECOMP), 2010 20th ..

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 ...

2010
Equivalence for the-stable models semantics JL Carballido, M Osorio, JR Arrazola Journal of Applied Logic 8 (1), 82-96

2009
Una Revisión de las Semánticas de Argumentación U CORTÉS, M Osorio, JC NIEVES Computación y Sistemas 12 (001)

2009
A formal design model for mechatronic systems M Osorio, C Zepeda, H Castillo Electrical, Communications, and Computers, 2009. CONIELECOMP 2009 ...

2009
Possibilistic Stratified Minimal Model Semantics JC Nieves, M Osorio Computer Science (ENC), 2009 Mexican International Conference on, 33-41

2009
Guest Editorial: Workshops by the Logic and Computation Mexican Group M Osorio, C Zepeda Inteligencia Artificial 41, 1-3

2009
Possibilistic Well-Founded Semantics, Mauricio Osorio, Juan Carlos Nieves, LNCS 5845. MICAI 2009 15-26. httpdl.acm.orgcitation.cfmid1692950

2009
The Logical Consequence Role in Parameterized Computation Approach, Mauricio Osorio and Simone Pascucci, LNCS 5753, LPNMR 2009 464-469 httpwww.springerlink.comcontent47m4215013628640

2009
Inferring preferred extensions by pstable semantics I ARTIFICIAL Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial ...

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

2009
Answer set programming for studying logics C Zepeda, J Carballido, A Marin, M Osorio Artificial Intelligence, 2009. MICAI 2009. Eighth Mexican International ...

2009
Computing the Stratified Minimal Models Semantic M Osorio, A Marin-George, JC Nieves LANMR 9, 157-171

2009
Semantica G3-Estable e Inconsistencia M Osorio, C Zepeda, JC Nieves, JL Carballido Computación y Sistemas 13 (1), 75-86

2009
Counfluent Rewriting Systems in Non-Monotonic Reasoning J Arrazola, J Dix, M Osorio Computación y Sistemas 2 (002)

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

2008
TECHNICAL NOTE Preferred extensions as stable models JC Nieves, UC ES, M Osorio

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

2008
Brief study of G3 logic M Osorio Galindo, JL Carballido Carranza Journal of Applied Non-Classical Logics 18 (4), 475-499

2008
Pstable theories and preferences M Osorio, C Zepeda Electronics, Communications and Computers, 2008. CONIELECOMP 2008, 18th ...

2007
Modality-based argumentation using possibilistic stable models JC Nieves, M Osorio, U Cortés CMNA VII-Computational Models of Natural Argument

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 ...

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

2007
Properties of update sequences M Osorio, C Zepeda Proceedings of 4th international workshop on answer set programming (ASP2007)

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

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

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

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

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

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

2007
Inferring preferred extensions by minimal models JC Nieves, M Osorio, U Cortés Argumentation and Non-Monotonic Reasoning (LPNMR-07 Workshop), 114-124

2007
Strong negation and equivalence in the safe belief semantics M Ortiz, M Osorio Journal of Logic and Computation 17 (3), 499-515

2007
Inferring preferred extensions by pstable semantics JC Nieves, M Osorio Proceedings of the Latin-American Workshop on Non-Monotonic Reasoning (LA ...

2007
Semantics for possibilistic disjunctive programs JC Nieves, M Osorio, U Cortés Logic Programming and Nonmonotonic Reasoning, 315-320

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

2007
A semantics for updates consisting of a sequence of programs M Osorio, C Zepeda Electronics, Communications and Computers, 2007. CONIELECOMP07. 17th ...

2007
" 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

2006
An Axiomatization of G M Osorio, JR Arrazola, JL Carballido, O Estrada

2006
Minimal Extended Generalized Answer Sets and their Applications M Osorio, C Zepeda Proceedings of the Workshop in Logic, Language and Computation (LoLaCOM06 .

2006
Preferences for general theories in answer sets M Osorio, C Zepeda Preferences and their Applications in Logic Programming Systems (PREFS 2006 ...

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

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

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 ...

2006
Inexact graph matching: A case of study I Olmos, JA Gonzalez, M Osorio Proceedings of the 19th International FLAIRS Conference

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

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

2005
Modeling evacuation planning using a-prolog C Zepeda, M Osorio, D Sol Electronics, Communications and Computers, 2005. CONIELECOMP 2005 ...

2005
Inferring acceptable arguments with answer set programming M Osorio, C Zepeda Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on ...

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 ...

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 ...

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

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

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

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

2005
Safe beliefs for propositional theories M Osorio, JA Navarro Pérez, J Arrazola Annals of Pure and Applied Logic 134 (1), 63-82

2005
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 ...

2005
Subgraph isomorphism detection using a code based representation I Olmos, JA Gonzalez, M Osorio Proceedings of the 18th International FLAIRS Conference, 474-479

2005
Nelson’s strong negation, safe beliefs and the answer set semantics M Ortiz, M Osorio ASP 2005 Workshop Proceedings, Bath, UK

2005
Updates in Answer Set Programming based on structural properties F Zacarias, M Osorio, JC Acosta Guadarrama, J Dix Proc. COMMONSENSE, 213-219

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

2004
Aggregation in functional query languages M Osorio, JC Nieves, B Jayaraman Journal of Functional and Logic Programming 2

2004
Generalized Ordered Disjunctions and its Applicatons M Osorio, M Ortiz, M Hernandez Unpublished. http:mail. udlap. mx~ is103378researchpubsiclp ...

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

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

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

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

2004
Using CR-rules for evacuation planning M Osorio, M Ortiz, C Zepeda IX Ibero-american Workshops on Artificial Inteligence, 56-63

2004
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 ...

2004
Embedded implications and minimality in asp M Osorio, M Ortiz In Proc. of the 15th International Conference on Applications of Declarative ...

2003
Modal logic S52 and FOUR M Osorio, JA Navarro Proceedings of Annual Meeting of the Association for Symbolic Logic

2003
The A-Pol system M Osorio, E Corona Answer Set Programming

2003
Computing preferred safe beliefs M Osorio, JC Nieves, JA Navarro Tehcnical Report in progress

2003
Formalizing the learner model for cscl environments SC Mártir, P Cholula

2003
Irrelevance of Syntax in updating answer set programs M Osorio, F Zacarias Workshop on Logic and Agents into Proc. of Fourth Mexican International ...

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 ...

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

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.

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

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.

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

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

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

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

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.

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

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.

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

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

1998
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.

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

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.

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.

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

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.

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

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.

 
Volver al listado de profesores »
 
Derechos Reservados © 2017. Universidad de las Américas Puebla. Sta. Catarina Mártir. Cholula, Puebla. C.P. 72810. México
Conmutador: +52 (222) 229 20 00. | Admisiones: informes.nuevoingreso@udlap.mx +52 (222) 229 2112
Teléfono gratuito para llamadas de EE.UU. 1 844 873 2970 | Aviso de privacidad