Rogelio Dávila-Pérez

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 0

Top Topics

Modulo Theories

Answer Set Programming

Top Venues

IEEE Ann. Hist. Comput.

Publications

Jaquelinne Dominguez Nava, Juan Carlos Acosta Guadarrama, Rosa María Valdovinos Rosas, Victor H. Solis Ramos, Nely Plata César, Leticia Quintanar Rebollar, Rogelio Dávila-Pérez
A Brief History of Computing in Mexico. IEEE Ann. Hist. Comput. 37 (4) (2015)
Juan Carlos Acosta Guadarrama, Rogelio Dávila-Pérez, Mauricio Osorio, Victor Hugo Zaldivar
Modeling Natural Language Metaphors with an Answer Set Programming Framework. MICAI (1) (2014)