Mauricio Javier Osorio Galindo

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 5

Top Topics

Classical Logic

Top Venues

Logica Universalis

Publications

Miguel Pérez-Gaspar, Alejandro Hernández-Tello, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo
An axiomatic approach to CG′3 logic. Log. J. IGPL 28 (6) (2020)
Mauricio Javier Osorio Galindo, Luis Angel Montiel Moreno
Creative Composition Problem: A Knowledge Graph Logical-Based AI Construction and Optimization Solution - Applied in Cecilia: An Architecture of a Digital Companion Artificial Intelligence (AI) Agent System Composer of Dialogue Scripts for Well-Being and Mental Health. GKR (2020)
Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, José R. Arrazola Ramírez
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). Log. J. IGPL 25 (2) (2017)
Alejandro Hernández-Tello, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo
The Pursuit of an Implication for the Logics L3A and L3B. Logica Universalis 11 (4) (2017)
Mauricio Javier Osorio Galindo, Verónica Borja Macías, José R. Arrazola Ramírez
Revisiting da Costa logic. J. Appl. Log. 16 (2016)
Oscar Hernán Estrada-Estrada, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo
Possibilistic intermediate logic. Int. J. Adv. Intell. Paradigms 4 (2) (2012)
Roberto Rosas-Romero, Mauricio Javier Osorio Galindo, Pedro Bañuelos Sánchez
Foreword. CONIELECOMP (2012)
Mauricio Javier Osorio Galindo, José Luis Carballido, Claudia Zepeda
Expressing p-stable semantics based on stable semantics. CONIELECOMP (2010)
Claudia Zepeda, José Raymundo Marcial-Romero, Mauricio Javier Osorio Galindo, Hilda Castillo, Daniel Quintos, Sergio Arzola
Digital design vercation based on P-stable semantics. CONIELECOMP (2010)
Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés
Guest Editorial: Fifth Latin American Workshop on Non-Monotonic Reasoning 2009, (LANMR'09). Inteligencia Artif. 14 (48) (2010)
Yazmín Magallanes-Velázquez, Iván Olmos, Mauricio Javier Osorio Galindo, Luis Oscar Peredo-Cholula, Christian Sarmiento-Vera
Motifs recognition in DNA sequences comparing the motif finding automaton algorithm against a traditional approach. CONIELECOMP (2010)
Mauricio Javier Osorio Galindo, Claudia Zepeda, José Luis Carballido, David López
Yet another application of fuzzy logic. CONIELECOMP (2010)
Mauricio Javier Osorio Galindo, José R. Arrazola Ramírez, José Luis Carballido
Logical Weak Completions of Paraconsistent Logics. J. Log. Comput. 18 (6) (2008)
Fernando Zacarías Flores, Mauricio Javier Osorio Galindo, Edgar Fernandez Plascencia
Updates Under Pstable. Eng. Lett. 15 (2) (2007)
Mauricio Javier Osorio Galindo, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías
Ground Nonmonotonic Modal Logic S5: New Results. J. Log. Comput. 15 (5) (2005)
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
Algorithms for the Typing of Related DNA Sequences. CONIELECOMP (2005)
Javier Garcés Eisele, Carolina Yolanda Castañeda Roldán, Mauricio Javier Osorio Galindo, Ma. del Pilar Gómez Gil
Usefulness of Solution Algorithms of the Traveling Salesman Problem in the Typing of Biological Sequences in a Clinical Laboratory Setting. CONIELECOMP (2004)
Juan Carlos Acosta Guadarrama, Mauricio Javier Osorio Galindo
Towards Modelling an Intelligent Calendar Agent with LUPS. Applied Informatics (2003)