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)

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 (CONIELECOMP, 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 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)

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)

Consistency checking of attention aware systems. - Yensen Limón; Everardo Bárcenas; Edgard Benítez-Guerrero; Javier Gomez (LANMR, 2019)

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)

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)