Universidad de las Américas Puebla

Dirección de Bibliotecas

Facultad UDLAP

Mauricio Javier Osorio Galindo

foto

Semblanza

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.

Palabras clave de la investigación

logica, razonamiento, inteligencia, algoritmos, complejidad

Sistema Nacional de Investigadores

Nivel: 2

Grados académicos
  • Doctorado en Ciencias de la Computación. State University of New York at Buffalo. Estados Unidos. enero 1, 1995.
  • 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 . Mexico. enero 1, 1989.
  • Licenciatura en Computación. Benemérita Universidad Autónoma de Puebla. Mexico. marzo 31, 1987.
Producción de investigación

Tipo de documento

Año

    2019
  1. 2019 Congresos Nacionales : An Extension of the Stable Semantics Via Lukasiewicz Logic, Tipo de participación: Ponencia Oral Nombre del congreso: LANMR 2019.
  2. 2019 Methodology to represent functions in logic $BL_{supset}$ , Tipo de participación: Ponencia Oral Nombre del congreso: LANMR 2019.
  3. 2019 Towards an Answer Set Programming methodology for constructing programs following a semi-automatic approach., Tipo de participación: Ponencia Oral Nombre del congreso: LANMR 2019.
  4. 2018
  5. 2018 Artículos de investigación Extending Well-Founded Semantics with Clarks Completion for Disjunctive Logic Programs. , Nombre de la revista: ,, Volumen: 2018, Número: , Páginas: , DOI: 10.1155/5192, ISSN: .