Yensen Limón

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 7

Top Topics

Context Aware Services

Breadth First Search

Arithmetic Constraints

Top Venues

Res. Comput. Sci.

Computación y Sistemas

J. Intell. Fuzzy Syst.

Publications

Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Guillermo Molero-Castillo, Alejandro Velázquez-Mena
Mu-Calculus Satisfiability with Arithmetic Constraints. Program. Comput. Softw. 46 (8) (2020)
Yensen Limón, Everardo Bárcenas, Guillermo Molero-Castillo, Rocío Aldeco-Pérez
Sobre la automatización del razonamiento y el aprendizaje en lógicas modales. Res. Comput. Sci. 149 (8) (2020)
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Javier Gomez
Consistency checking of attention aware systems. LANMR (2019)
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Guillermo Molero
On the consistency of context-aware systems. J. Intell. Fuzzy Syst. 34 (5) (2018)
Yensen Limón, Ismael Everardo Bárcenas Patiño, Edgard Benítez-Guerrero, María Auxilio Medina Nieto
Depth-First Reasoning on Trees. Computación y Sistemas 22 (1) (2018)
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, María Auxilio Medina Nieto
Depth-first search satisfiability of the μ-calculus with converse over trees. CONIELECOMP (2017)
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero
Reasoning in Context-Aware Systems with Modal Logics. Res. Comput. Sci. 133 (2017)
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Carmen Mezura-Godoy
Towards a Reasoning Model for Context-aware Systems: Modal Logic and the Tree Model Property. Res. Comput. Sci. 99 (2015)