José de Jesús Lavalle-Martínez

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 11

Top Topics

Adjacency Matrix

Textual Information

Social Media Streams

Automatic Theorem Proving

Top Venues

Res. Comput. Sci.

Computación y Sistemas (CyS)

Computación y Sistemas

LANMR (Selected Papers)

Publications

Axel Suárez Polo, José de Jesús Lavalle-Martínez, Iván Molina Rebolledo
Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions. Computación y Sistemas (CyS) 27 (1) (2023)
Alejandro Escalante-Hernandez, Luis Joaquín Arellano, José de Jesús Lavalle-Martínez, Luis Villaseñor Pineda, Hugo Jair Escalante
Towards the Monitoring of Violent Events in Social Media through Visual Information. Computación y Sistemas (CyS) 27 (1) (2023)
Yolanda Moyao Martinez, Darnes Vilariño Ayala, José de Jesús Lavalle-Martínez, Carlos Guillen Galban
Membership Problem with Adjacency Matrix. Computación y Sistemas 25 (3) (2021)
Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena
. LANMR (Selected Papers) (2019)
Irvin Yair Cabrera Moreno, Mireya Tovar Vidal, José de Jesús Lavalle-Martínez, Meliza Contreras González
Algoritmo basado en reglas de asociación para la extracción de relaciones no taxonómicas en corpus de dominio. Res. Comput. Sci. 148 (7) (2019)
Alberto Tapia-Palacios, Darnes Vilariño, Beatríz Beltrán, María Josefa Somodevilla García, José de Jesús Lavalle-Martínez
Captura de atributos discriminativos. Res. Comput. Sci. 148 (3) (2019)
Yolanda Moyao, Darnes Vilariño, Carlos Guillén, José de Jesús Lavalle-Martínez
Grafos de análisis sintáctico con gramáticas HRGs. Res. Comput. Sci. 148 (3) (2019)
Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena
Craig interpolation on the logic of knowledge. LANMR (2018)
José de Jesús Lavalle-Martínez, Manuel Montes-y-Gómez, Héctor Jiménez-Salazar, Luis Villaseñor Pineda, Beatríz Beltrán Martínez
Automatic Theorem Proving for Natural Logic: a Case Study on Textual Entailment. Computación y Sistemas 22 (1) (2018)
José de Jesús Lavalle-Martínez, Manuel Montes-y-Gómez, Luis Villaseñor Pineda, Héctor Jiménez-Salazar, Ismael Everardo Bárcenas Patiño
Equivalences Among Polarity Algorithms. Stud Logica 106 (2) (2018)
Aimee Cecilia Hernández García, Mireya Tovar Vidal, José de Jesús Lavalle-Martínez
Medidas de similitud semántica aplicadas a una ontología de dominio. Res. Comput. Sci. 147 (6) (2018)
José de Jesús Lavalle-Martínez, Manuel Montes-y-Gómez, Héctor Jiménez-Salazar, Luis Villaseñor Pineda, David Pinto Avendaño
Algunas semánticas lógicas para reconocer implicación textual. Res. Comput. Sci. 85 (2014)
Alberto Bañuelos-Moro, Héctor Jiménez-Salazar, José de Jesús Lavalle-Martínez
Test of complementarity on sentence extraction methods. Proces. del Leng. Natural 40 (2008)
Ruben Monjaraz Hernandez-Imbert, José de Jesús Lavalle-Martínez
Characterization by Regulated Grammars of Calculations in the Gentzen System G. Eng. Lett. 15 (2) (2007)