Follow
Angel Mora Bonilla
Angel Mora Bonilla
Associate Professor
Verified email at uma.es - Homepage
Title
Cited by
Cited by
Year
A generalized framework to consider positive and negative attributes in formal concept analysis
JM Rodríguez Jiménez, P Cordero-Ortega, M Enciso-García-Oliveros, ...
192014
From an implicational system to its corresponding D-basis
E Rodríguez-Lorenzo, K Adaricheva, P Cordero-Ortega, ...
122015
The direct-optimal basis via reductions
E Rodríguez-Lorenzo, K Bertet, P Cordero-Ortega, ...
92014
Metnum: una experiencia de utilización de nuevas tecnologías y herramientas, para la mejora en los procesos de aprendizaje
A Mora Bonilla, E Mérida Casermeiro
Pixel-Bit. Revista de Medios y Educación, 2011,(38): 201-214, 2011
72011
Relational dual tableau decision procedure for modal logic K
J Golińska-Pilarek, E Muñoz-Velasco, A Mora-Bonilla
Logic Journal of the IGPL 20 (4), 747-756, 2012
62012
Fermat: E–learning of mathematics
Á Mora, E Mérida
Current developments in technology assisted education-m-ICTE, 1263-1267, 2006
42006
Using Logic to Determine Key Items in Math Education.
M Ojeda-Hernández, F Pérez-Gámez, ÁM Bonilla, D López-Rodríguez
International Association for Development of the Information Society, 2021
22021
Using Formal Concept Analysis to Explore Hidden Knowledge in the Assessment of a Math Course.
F Pérez-Gámez, M Ojeda-Hernández, ÁM Bonilla, D López-Rodríguez, ...
International Association for Development of the Information Society, 2020
22020
Bases via Minimal Generators.
P Cordero, M Enciso, A Mora, M Ojeda-Aciego
FCA4AI@ IJCAI, 33-36, 2013
22013
Integration Of Moodle Quizzes
AM Bonilla, EM Casermeiro, D López-Rodríguez, LFL Anguita
IADIS International Conference e-Learning, 45-52, 2008
22008
A CLAIM TO INCORPORATE FUNCTIONAL DEPENDENCIES IN DEVELOPMENT TOOLS-Benchmarking and Checking Functional Dependencies Algorithms
ME Garcia-Oliveros, AM Bonilla, P Cordero, R Baena
International Conference on Software and Data Technologies 2, 313-316, 2011
12011
Guidance of students daily work by using Moodle
M Moreno, EM Casermeiro, AM Bonilla
Proceedings of the 8th WSEAS International Conference on E-Activities and …, 2009
12009
FNOVA: FERMAT and Joomla fusion
SM Córdoba, JM del Castillo, GG Barranco, A Mora-Bonilla, ...
Proceedings of the IASTED International Conference 612 (015), 15, 2008
12008
HECACEJ: B-Learning Tool for Static Content Creation in Joomla!
A Mora-Bonilla, D López-Rodríguez, E Mérida-Casermeiro, ...
Blended Learning 2007, 227-236, 2007
12007
Parameterized Simplification Logic: Reasoning With Implications in an Automated Way
P Cordero-Ortega, M Enciso-García-Oliveros, Á Mora-Bonilla, V Vychodil
IEEE, 2022
2022
A conversational recommender system for diagnosis using fuzzy rules.
P Cordero-Ortega, M Enciso-García-Oliveros, D López-Rodríguez, ...
Elsevier, 2020
2020
Parameterized simplification logic I: Reasoning with implications and classes of closure operators
P Cordero-Ortega, M Enciso-García-Oliveros, Á Mora-Bonilla, V Vychodil
Taylor & Francis, 2020
2020
Un marco semántico general para la Lógica de Simplificación
PC Ortega, ME García-Oliveros, ÁM Bonilla, V Vychodil
XVIII Conferencia de la Asociación Española para la Inteligencia Artificial …, 2018
2018
Inference of mixed information in Formal Concept Analysis
Á Mora-Bonilla, P Cordero-Ortega, M Enciso-García-Oliveros, ...
2017
CAISL: Simplification Logic for Conditional Attribute Implications
Á Mora-Bonilla, P Cordero-Ortega, M Enciso-García-Oliveros, ...
2016
The system can't perform the operation now. Try again later.
Articles 1–20