Pedro Bello López

According to our database, Pedro Bello López authored at least 18 papers between 2007 and 2023.

Collaborative distances:

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

2023

Extreme Topologies on Bipolygonal Graphs and Dinamic Trees.

Guillermo De Ita, Pedro Bello López, Meliza Contreras González

Int. J. Comb. Optim. Probl. Informatics, 2023

Exploring BERT-Based Pretrained Models for Polarity Analysis of Tweets in Spanish.

Erick Barrios González, Mireya Tovar Vidal, José Alejandro Reyes-Ortíz, Fernando Zacarías Flores, Pedro Bello López

Int. J. Comb. Optim. Probl. Informatics, 2023

2022

Model Checking Algorithm for Repairing Inference between Conjunctive Forms.

Guillermo De Ita, Pedro Bello

Computación y Sistemas, 2022

2021

Extremal Topologies for the Merrifield-Simmons Index on Dynamic Trees.

Pedro Bello, Miguel Rodríguez, Guillermo De Ita

Proceedings of the Pattern Recognition - 13th Mexican Conference, 2021

2020

Algoritmo para el conteo de modelos en FNC.

Pedro Bello López, Guillermo De Ita Luna, Meliza Contreras González, Miguel Rodríguez Hernández

Res. Comput. Sci., 2020

Basic Pattern Graphs for the Efficient Computation of Its Number of Independent Sets.

Guillermo De Ita, Miguel Rodríguez, Pedro Bello, Meliza Contreras

Proceedings of the Pattern Recognition - 12th Mexican Conference, 2020

2019

Inference Algorithm with Falsifying Patterns for Belief Revision.

Pedro Bello, Guillermo De Ita

Proceedings of the Pattern Recognition - 11th Mexican Conference, 2019

2018

Belief revision between conjunctive normal forms.

Guillermo De Ita Luna, José Raymundo Marcial-Romero, Pedro Bello, Meliza Contreras

J. Intell. Fuzzy Syst., 2018

The computation of #2SAT by a fixed-parameter tractable algorithm.

Guillermo De Ita, Pedro Bello, Miguel Rodríguez

Proceedings of the Eleventh Latin American Workshop on Logic/Languages, 2018

2016

Applying an Incremental Satisfiability Algorithm to Automatic Test Pattern Generation.

Guillermo De Ita, Meliza Contreras, Pedro Bello

Res. Comput. Sci., 2016

Visualización de elementos de Cienciometría con grafos.

Pedro Bello, Meliza Contreras, Diana A. González

Res. Comput. Sci., 2016

Efficient Counting of the Number of Independent Sets on Polygonal Trees.

Guillermo De Ita Luna, Pedro Bello, Meliza Contreras, Juan C. Catana-Salazar

Proceedings of the Pattern Recognition - 8th Mexican Conference, 2016

2013

Recognizing Structural Patterns on Graphs for the Efficient Computation of #2SAT.

Guillermo De Ita Luna, Pedro Bello, Meliza Contreras

Proceedings of the Pattern Recognition - 5th Mexican Conference, 2013

2012

Detection of inconsistencies in knowledge bases for emission of foreign judgments.

Pedro Bello López, José Andrés Vázquez Flores, Meliza Contreras González, Marco Rodríguez Herníndez

Proceedings of the Eighth Latin American Workshop on Logic / Languages, 2012

Generation of instances for the revision of beliefs.

Rodolfo Aguirre, Pedro Bello, Ana Patricia Cervantes, Meliza Contreras

Proceedings of the Workshop Proceedings of the 8th International Conference on Intelligent Environments, 2012

2011

An Introduction to Belief Revision and Knowledge Representation with 2CNF.

Meliza Contreras, Miguel Rodríguez, Pedro Bello, Bárbara M. González

Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, 2011

2007

New Polynomial Classes for #2SAT Established Via Graph-Topological Structure.

Guillermo De Ita Luna, Pedro Bello López, Meliza Contreras González

Eng. Lett., 2007

Efficient counting of models for boolean formulas represented by embedded cycles.

Guillermo De Ita Luna, Pedro Bello López, Meliza Contreras González

Proceedings of the Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th, 2007