Yensen Limón

According to our database, Yensen Limón authored at least 8 papers between 2015 and 2020.

Collaborative distances:

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

2020

Sobre la automatización del razonamiento y el aprendizaje en lógicas modales.

Yensen Limón, Everardo Bárcenas, Guillermo Molero-Castillo, Rocío Aldeco-Pérez

Res. Comput. Sci., 2020

Mu-Calculus Satisfiability with Arithmetic Constraints.

Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Guillermo Molero-Castillo, Alejandro Velázquez-Mena

Program. Comput. Softw., 2020

2019

Consistency checking of attention aware systems.

Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Javier Gomez

Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 2019

2018

On the consistency of context-aware systems.

Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Guillermo Molero-Castillo

J. Intell. Fuzzy Syst., 2018

Depth-First Reasoning on Trees.

Yensen Limón, Ismael Everardo Bárcenas Patiño, Edgard Benítez-Guerrero, María Auxilio Medina Nieto

Computación y Sistemas, 2018

2017

Reasoning in Context-Aware Systems with Modal Logics.

Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero

Res. Comput. Sci., 2017

Depth-first search satisfiability of the μ-calculus with converse over trees.

Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, María Auxilio Medina Nieto

Proceedings of the 2017 International Conference on Electronics, 2017

2015

Towards a Reasoning Model for Context-aware Systems: Modal Logic and the Tree Model Property.

Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Carmen Mezura-Godoy

Res. Comput. Sci., 2015