Ángel Mora Bonilla

Associate Professor

website scholar github twitter
NoteRecent publications

Close-by-One-like algorithms in the fuzzy setting: Theory and experimentation

2025
Domingo López Rodríguez, Manuel Ojeda Hernández, Ángel Mora, Carlos Bejines
Fuzzy Sets and Systems vol. 520, pages 109574.

A Formal Concept Analysis approach to hierarchical description of malware threats

2024
Manuel Ojeda Hernández, Domingo López Rodríguez, Ángel Mora
Forensic Science International: Digital Investigation vol. 50 , pages 301797.

Attribute implications with unknown information based on weak Heyting algebras

2024
Pablo Cordero, Manuel Enciso, Ángel Mora, Francisco Pérez Gámez
Fuzzy Sets Syst. vol. 490 , pages 109026.

Simplification logic for the management of unknown information

2023
Francisco Pérez Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora
Information Sciences, vol. 638, July 2023, pp 505–519

Lexicon-based sentiment analysis in texts using Formal Concept Analysis

2023
Manuel Ojeda Hernández, Domingo López Rodríguez, Ángel Mora
International Journal of Approximate Reasoning, vol. 155, pp 104-112

fcaR, Formal Concept Analysis with R

2022
Pablo Cordero, Manuel Enciso, Domingo López Rodríguez, Ángel Mora
The R Journal

Minimal Generators from Positive and Negative Attributes: Analysing the Knowledge Space of a Mathematics Course

2022
Manuel Ojeda Hernández, Francisco Pérez Gámez, Domingo López Rodríguez, Nicolás Madrid, Ángel Mora
International Journal of Computational Intelligence Systems, 15:58

Parameterized Simplification Logic: Reasoning With Implications in an Automated Way

2022
Pablo Cordero, Manuel Enciso, Ángel Mora, Vilem Vychodil
IEEE Transactions on Fuzzy Systems vol 30 (12), 5534 - 5543

Simplifying Implications with Positive and Negative Attributes: A Logic-Based Approach

2022
Francisco Pérez Gámez, Domingo López Rodríguez, Pablo Cordero, Ángel Mora, Manuel Ojeda-Aciego
Mathematics, 10(4) 607

A conversational recommender system for diagnosis using fuzzy rules

2020
Pablo Cordero, Manuel Enciso, Domingo López Rodríguez, Ángel Mora
Expert Systems with Applications, volume 154, 2020

A Formal Concept Analysis Approach to Cooperative Conversational Recommendation

2020
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi
International Journal of Computational Intelligence Systems, 13 (1), pp. 1243 - 1252

Parameterized simplification logic I: reasoning with implications and classes of closure operators

2020
Pablo Cordero, Manuel Enciso, Ángel Mora, Vilem Vychodil
International Journal of General Systems vol 49 (7), pp. 724 – 746

Minimal generators, an affordable approach by means of massive computation

2019
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora
J. Supercomput. vol. 75 (3), pages 1350–1367.

Direct-optimal basis computation by means of the fusion of simplification rules

2018
Estrella Rodríguez-Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora
Discrete Applied Mathematics 249, pp. 106 - 119

Minimal generators, an affordable approach by means of massive computation

2018
Fernando Benito-Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora
the Journal of Supercomputing vol. 75, pp. 1350–1367

An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis

2017
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Ángel Mora
Int. J. Intell. Syst. vol. 32 (8), pages 760–777.

Canonical dichotomous direct bases

2017
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Ángel Mora
Inf. Sci. vol. 376 , pages 39–53.

Formation of the D-basis from implicational systems using Simplification logic

2017
Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Ángel Mora
Int. J. Gen. Syst. vol. 46 (5), pages 547–568.

Reducing the search space by closure and simplification paradigms

2017
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora
J. Supercomput. vol. 73 (1), pages 75–87.

Automated prover for attribute dependencies in data with grades

2016
Radim Belohlávek, Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
Int. J. Approx. Reason. vol. 70 , pages 51–67.

Tableau reductions: Towards an optimal decision procedure for the modal necessity

2016
Joanna Golinska-Pilarek, Emilio Muñoz Velasco, Ángel Mora
J. Appl. Log. vol. 17 , pages 14–24.

Knowledge discovery in social networks by using a logic-based treatment of implications

2015
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi
Knowl. Based Syst. vol. 87 , pages 16–25.

A tableaux-like method to infer all minimal keys

2014
Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán
Log. J. {IGPL} vol. 22 (6), pages 1019–1044.

Closure via functional dependence simplification

2012
Ángel Mora, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera
Int. J. Comput. Math. vol. 89 (4), pages 510–526.

Ideal non-deterministic operators as a formal framework to reduce the key finding problem

2011
Ángel Mora, Inmaculada Perez de Guzmán, Manuel Enciso, Pablo Cordero
Int. J. Comput. Math. vol. 88 (9), pages 1860–1868.

Implementing a relational theorem prover for modal logic

2011
Ángel Mora, Emilio Muñoz Velasco, Joanna Golinska-Pilarek
Int. J. Comput. Math. vol. 88 (9), pages 1869–1884.

A new deduction system for deciding validity in modal logic {K}

2011
Joanna Golinska-Pilarek, Emilio Muñoz Velasco, Ángel Mora
Log. J. {IGPL} vol. 19 (2), pages 425–434.

An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning

2009
Alfredo Burrieza, Ángel Mora, Manuel Ojeda-Aciego, Ewa Orlowska
Int. J. Comput. Math. vol. 86 (10{&}11), pages 1852–1866.

Non-deterministic ideal operators: An adequate tool for formalization in Data Bases

2008
Pablo Cordero, Ángel Mora, Inma P. de Guzmán, Manuel Enciso
Discret. Appl. Math. vol. 156 (6), pages 911–923.

A new closure algorithm based in logic: SLFD-Closure versus classical closures

2006
Ángel Mora, Gabriel Aguilera, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán
Inteligencia Artif. vol. 10 (31), pages 31–40.
No matching items