Everardo Barcenas
Everardo Barcenas
Bestätigte E-Mail-Adresse bei fi-b.unam.mx - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Query reasoning on trees with types, interleaving, and counting
E Bárcenas, P Geneves, N Layaïda, A Schmitt
IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011
272011
Global Numerical Constraints on Trees
E Bárcenas, J Lavalle
Logical Methods in Computer Science 10 (2), 2014
172014
LBP and machine learning for diabetic retinopathy detection
J De la Calleja, L Tecuapetla, MA Medina, E Bárcenas, ABU Nájera
International Conference on Intelligent Data Engineering and Automated …, 2014
132014
Expressive reasoning on tree structures: Recursion, inverse programs, Presburger constraints and nominals
E Bárcenas, J Lavalle
Mexican International Conference on Artificial Intelligence, 80-91, 2013
132013
On the consistency of context-aware systems
Y Limón, E Bárcenas, E Benítez-Guerrero, G Molero
Journal of Intelligent & Fuzzy Systems 34 (5), 3373-3383, 2018
62018
On the Model Checking of the Graded mu-calculus on Trees
E Bárcenas, E Benítez-Guerrero, J Lavalle
Mexican International Conference on Artificial Intelligence, 178-189, 2015
62015
Depth-first reasoning on trees
Y Limón, E Bárcenas, E Benítez-Guerrero, MA Medina
Computación y Sistemas 22 (1), 189-201, 2018
52018
Reasoning on expressive description logics with arithmetic constraints
E Barcenas, G Molero, G Sánchez, E Benítez-Guerrero, C Mezura-Godoy
2016 International Conference on Electronics, Communications and Computers …, 2016
52016
Data fusion as source for the generation of useful knowledge in context-aware systems
J Muñoz, G Molero-Castillo, E Benítez-Guerrero, E Bárcenas
Journal of Intelligent & Fuzzy Systems, 1-12, 2018
32018
Raisonnement automatisé sur les arbres avec des contraintes de cardinalité
E Barcenas
Université de Grenoble, 2011
32011
Model Checking for Gaze Pattern Recognition
A Rodríguez, E Bárcenas, G Molero-Castillo
2019 International Conference on Electronics, Communications and Computers …, 2019
22019
Towards a Method for Biosignals Analysis as Support for the Design of Adaptive User-Interfaces
H Avalos-Viveros, G Molero-Castillo, E Benitez-Guerrro, E Bárcenas
Advances in Pattern Recognition, 9, 2018
22018
Towards a Reasoning Model for Context-aware Systems: Modal Logic and the Tree Model Property
Y Limón, E Bárcenas, E Benıtez-Guerrero, C Mezura-Godoy
Avances en la Ingeniería del Lenguaje y del Conocimiento, 9, 2016
22016
A counting logic for trees
E Bárcenas
Computación y Sistemas 19 (2), 407-422, 2015
22015
Statistical Analysis of the Effects of Institutions on the Economic Growth of France in Recent Years
Y Céspedes-González, G Molero-Castillo, P Arieta-Melgarejo, ...
Future of Information and Communication Conference, 17-26, 2020
12020
Expressive Context Modeling with Description Logics
R Ramírez-Rueda, E Bárcenas, C Mezura-Godoy, G Molero-Castillo
Iberoamerican Knowledge Graphs and Semantic Web Conference, 174-185, 2019
12019
Craig Interpolation on the Logic of Knowledge
E Bárcenas, JJ Lavalle-Martínez, G Molero-Castillo, A Velázquez-Mena
Eleventh Latin American Workshop on New Methods of Reasoning, 2018
12018
Equivalences Among Polarity Algorithms
JJ Lavalle-Martínez, M Montes-y-Gómez, L Villaseñor-Pineda, ...
Studia Logica, 1-25, 2018
12018
Branching path planning with modal logics
E Bárcenas, E Benítez-Guerrero, A Benitez, J Calleja, M Medina
Computación y Sistemas 21 (3), 407-418, 2017
12017
Depth-first search satisfiability of the μ-calculus with converse over trees
Y Limón, E Bárcenas, E Benítez-Guerrero, MA Medina
2017 International Conference on Electronics, Communications and Computers …, 2017
12017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20