Everardo Bárcenas

According to our database, Everardo Bárcenas authored at least 45 papers between 2009 and 2024.

Collaborative distances:

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

2024

Consistent IoT Systems: A Perspective Based on Paraconsistent Descriptive Logic.

Miguel Pérez-Gaspar, Javier Gómez, Everardo Bárcenas, Francisco García

Proceedings of the International Conference on Intelligent Environments, 2024

2023

Thematic Section(2): Logic/Languages, Algorithms, Novel Methods of Reasoning.

Everardo Bárcenas, Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, Miguel Pérez-Gaspar

Computación y Sistemas (CyS), 2023

2022

Formal Verification of Blockchain Based Tender Systems.

René Dávila, Rocío Aldeco-Pérez, Everardo Bárcenas

Program. Comput. Softw., 2022

Thematic Section: Logic/Languages, Algorithms, Novel Methods of Reasoning.

Claudia Zepeda Cortés, José Luis Carballido Carranza, José Raymundo Marcial-Romero, Everardo Bárcenas

Computación y Sistemas, 2022

2021

Database Management System Verification with Separation Logics.

Diego Medina-Martínez, Everardo Bárcenas, Guillermo Molero-Castillo, Alejandro Velázquez-Mena, Rocío Aldeco-Pérez

Program. Comput. Softw., 2021

On the Paraconsistent Logic CG′3.

Miguel Pérez-Gaspar, Verónica Borja Macías, Everardo Bárcenas

Computación y Sistemas, 2021

On the Algebrization of the Multi-valued Logics CG'3 and G'3.

Miguel Pérez-Gaspar, Everardo Bárcenas

Computación y Sistemas, 2021

2020

Sobre la algebrización de la lógica paraconsiente CG'3.

Miguel Pérez-Gaspar, Everardo Bárcenas

Res. Comput. Sci., 2020

A Data Fusion Approach of Physical Variables Measured through a Wireless Sensor Network.

Thomas Alejandro Arias Pelayo, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez

Res. Comput. Sci., 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

A Physical Variable Data Fusion Approach as Basis for the Reasoning Process in Ambient Intelligence.

Julio Muñoz Benítez, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez, Alejandro Velázquez-Mena

Res. Comput. Sci., 2020

Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm.

Donovan Riaño, Rodrigo Piñon, Guillermo Molero-Castillo, Everardo Bárcenas, Alejandro Velázquez-Mena

Program. Comput. Softw., 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

Presburger Constraints in Trees.

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

Computación y Sistemas, 2020

Web Service to Retrieve and Semantically Enrich Datasets for Theses From Open Educational Repositories.

María Auxilio Medina Nieto, Paulo Daniel Vázquez Mora, Jorge de la Calleja Mora, Mireya Tovar Vidal, Eduardo López Domínguez, Delia Arrieta Díaz, Ismael Everardo Bárcenas Patiño

IEEE Access, 2020

2019

Completeness for the paraconsistent logic CG^'₃ based on maximal theories.

Miguel Pérez-Gaspar, Everardo Bárcenas

Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 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

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

Expressive Context Modeling with Description Logics.

Rolando Ramírez-Rueda, Everardo Bárcenas, Carmen Mezura-Godoy, Guillermo Molero-Castillo

Proceedings of the Knowledge Graphs and Semantic Web - First Iberoamerican Conference, 2019

Model Checking for Gaze Pattern Recognition.

Ari Rodriguez, Everardo Bárcenas, Guillermo Molero-Castillo

Proceedings of the International Conference on Electronics, Communications and Computers, 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

Towards a Method for Biosignals Analysis as Support for the Design of Adaptive User-Interfaces.

Heber Avalos-Viveros, Guillermo Molero-Castillo, Edgard Benítez-Guerrero, Everardo Bárcenas

Res. Comput. Sci., 2018

Data fusion as source for the generation of useful knowledge in context-aware systems.

Julio Muñoz, Guillermo Molero-Castillo, Edgard Benítez-Guerrero, Everardo Bárcenas

J. Intell. Fuzzy Syst., 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

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

2017

Reasoning in Context-Aware Systems with Modal Logics.

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

Res. Comput. Sci., 2017

Branching Path Planning with Modal Logics.

Everardo Bárcenas, Edgard Benítez-Guerrero, Antonio Benítez, Jorge de la Calleja, Ma. Auxilio Medina

Computación y Sistemas, 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

2016

Identificación de lengua de señas mediante técnicas de procesamiento de imágenes.

Manuel Eleazar Martínez-Gutiérrez, José Rafael Rojano-Cáceres, Ismael Everardo Bárcenas Patiño, Fredy Juárez Pérez

Res. Comput. Sci., 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

(Hyper)sequent Calculi for the ALC(S4) Description Logics.

Juan Pablo Munoz Toriz, Everardo Bárcenas, Iván Martínez Ruiz, José Ramón Enrique Arrazola-Ramírez

Computación y Sistemas, 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

Reasoning on expressive description logics with arithmetic constraints.

Everardo Bárcenas, Guillermo Molero-Castillo, Gabriela Sánchez, Edgard Benítez-Guerrero, Carmen Mezura-Godoy

Proceedings of the 2016 International Conference on Electronics, 2016

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

A Counting Logic for Trees.

Everardo Bárcenas

Computación y Sistemas, 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

Global Numerical Constraints on Trees.

Everardo Bárcenas, Jesús Lavalle

Log. Methods Comput. Sci., 2014

LBP and Machine Learning for Diabetic Retinopathy Detection.

Jorge de la Calleja, Lourdes Tecuapetla, Ma. Auxilio Medina, Everardo Bárcenas, Argelia B. Urbina Nájera

Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2014, 2014

Reasoning about the past on temporal specifications for motion planning.

Everardo Bárcenas, Antonio Benítez, Jorge de la Calleja, María Auxilio Medina Nieto, Jorge Ríos-Martínez

Proceedings of the 24th International Conference on Electronics, 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

2011

Query Reasoning on Trees with Types, Interleaving, and Counting.

Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt

Proceedings of the IJCAI 2011, 2011

2010

On the Count of Trees

Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt

CoRR, 2010

A Tree Logic with Graded Paths and Nominals

Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt

CoRR, 2010

2009

On the analysis of queries with counting constraints.

Everardo Bárcenas, Pierre Genevès, Nabil Layaïda

Proceedings of the 2009 ACM Symposium on Document Engineering, 2009