José de Jesús Lavalle-Martínez

According to our database, José de Jesús Lavalle-Martínez authored at least 21 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions.

Axel Suárez Polo, José de Jesús Lavalle-Martínez, Iván Molina Rebolledo

Computación y Sistemas (CyS), 2023

Towards the Monitoring of Violent Events in Social Media through Visual Information.

Alejandro Escalante-Hernandez, Luis Joaquín Arellano, José de Jesús Lavalle-Martínez, Luis Villaseñor Pineda, Hugo Jair Escalante

Computación y Sistemas (CyS), 2023

2021

Membership Problem with Adjacency Matrix.

Yolanda Moyao Martinez, Darnes Vilariño Ayala, José de Jesús Lavalle-Martínez, Carlos Guillen Galban

Computación y Sistemas, 2021

2020

Grammatical Inference of Semantic Components in Dialogues.

Andrés Vázquez, David Pinto, Jesús Lavalle, Héctor Jiménez-Salazar, Darnes Vilariño

Computación y Sistemas, 2020

Presburger Constraints in Trees.

Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle, Guillermo Molero-Castillo

Computación y Sistemas, 2020

2019

Captura de atributos discriminativos.

Alberto Tapia-Palacios, Darnes Vilariño, Beatríz Beltrán, María Josefa Somodevilla García, José de Jesús Lavalle-Martínez

Res. Comput. Sci., 2019

Grafos de análisis sintáctico con gramáticas HRGs.

Yolanda Moyao, Darnes Vilariño, Carlos Guillén, José de Jesús Lavalle-Martínez

Res. Comput. Sci., 2019

Algoritmo basado en reglas de asociación para la extracción de relaciones no taxonómicas en corpus de dominio.

Irvin Yair Cabrera Moreno, Mireya Tovar Vidal, José de Jesús Lavalle-Martínez, Meliza Contreras González

Res. Comput. Sci., 2019

A Note on Constructive Interpolation for the Multi-Modal Logic <i>K</i>_<i>m</i>.

Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena

Proceedings of the Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, 2019

2018

Equivalences Among Polarity Algorithms.

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

Stud Logica, 2018

Medidas de similitud semántica aplicadas a una ontología de dominio.

Aimee Cecilia Hernández García, Mireya Tovar Vidal, José de Jesús Lavalle-Martínez

Res. Comput. Sci., 2018

Automatic Theorem Proving for Natural Logic: a Case Study on Textual Entailment.

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

Computación y Sistemas, 2018

Craig interpolation on the logic of knowledge.

Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena

Proceedings of the Eleventh Latin American Workshop on Logic/Languages, 2018

2016

On Regular Paths with Counting and Data Tests.

Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle

Proceedings of the Selected Papers of the Tenth Latin American Workshop on Logic/Languages, 2016

Query reasoning on data trees with counting.

Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle

Proceedings of the Tenth Latin American Workshop on Logic/Languages, 2016

2015

On the Model Checking of the Graded μ-calculus on Trees.

Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle

Proceedings of the Advances in Artificial Intelligence and Soft Computing, 2015

2014

Algunas semánticas lógicas para reconocer implicación textual.

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

Res. Comput. Sci., 2014

Global Numerical Constraints on Trees.

Everardo Bárcenas, Jesús Lavalle

Log. Methods Comput. Sci., 2014

2013

Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals.

Everardo Bárcenas, Jesús Lavalle

Proceedings of the Advances in Artificial Intelligence and Its Applications, 2013

2008

Test of complementarity on sentence extraction methods.

Alberto Bañuelos-Moro, Héctor Jiménez-Salazar, José de Jesús Lavalle-Martínez

Proces. del Leng. Natural, 2008

2007

Characterization by Regulated Grammars of Calculations in the Gentzen System G.

Ruben Monjaraz Hernandez-Imbert, José de Jesús Lavalle-Martínez

Eng. Lett., 2007