×
Compute Distance To:
Author ID: mora.angel Recent zbMATH articles by "Mora, Angel"
Published as: Mora, Angel; Mora, A.; Mora, Ángel
External Links: ORCID
Documents Indexed: 20 Publications since 1978
Co-Authors: 20 Co-Authors with 18 Joint Publications
265 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 45 times in 28 Documents Cited by Year
Closure via functional dependence simplification. Zbl 1257.68064
Mora, A.; Cordero, P.; Enciso, M.; Fortes, I.; Aguilera, G.
8
2012
Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis. Zbl 1392.68398
Rodríguez-Jiménez, Jose Manuel; Cordero, Pablo; Enciso, Manuel; Mora, Angel
5
2016
Non-deterministic ideal operators: an adequate tool for formalization in data bases. Zbl 1142.68023
Cordero, P.; Mora, A.; de Guzmán, I. P.; Enciso, M.
5
2008
\(\text{SL}_{\text{FD} }\) logic: Elimination of data redundancy in knowledge representation. Zbl 1037.68136
Cordero, Pablo; Enciso, Manolo; Mora, Angel; de Guzmán, Inmaculada P.
5
2002
Automated prover for attribute dependencies in data with grades. Zbl 1351.68088
Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem
5
2016
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Zbl 1191.03008
Burrieza, A.; Mora, A.; Ojeda-Aciego, M.; Orłowska, E.
3
2009
A non-explosive treatment of functional dependencies using rewriting logic. Zbl 1105.68340
Aguilera, Gabriel; Cordero, Pablo; Enciso, Manuel; Mora, Angel; Perez de Guzmán, Inmaculada
2
2004
A new deduction system for deciding validity in modal logic K. Zbl 1252.03027
Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora, Angel
2
2011
Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Zbl 1237.68077
Mora, A.; de Guzmán, I. P.; Enciso, M.; Cordero, P.
2
2011
Implementing a relational theorem prover for modal logic K. Zbl 1229.03019
Mora, A.; Muñoz-Velasco, E.; Golińska-Pilarek, J.
2
2011
Simulation of wireline sonic logging measurements acquired with borehole-eccentered tools using a high-order adaptive finite element method. Zbl 1419.76444
Pardo, David; Matuszyk, Pawel; Muga, Ignacio; Torres-Verdín, Carlos; Mora, Angel; Calo, Victor M.
2
2011
Canonical dichotomous direct bases. Zbl 1428.68291
Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel
1
2017
Direct-optimal basis computation by means of the fusion of simplification rules. Zbl 1398.68520
Rodríguez-Lorenzo, Estrella; Bertet, Karell; Cordero, Pablo; Enciso, Manuel; Mora, Ángel
1
2018
Inference of mixed information in formal concept analysis. Zbl 1430.68329
Cordero, P.; Enciso, M.; Mora, A.; Rodriguez-Jiménez, J. M.
1
2019
A tableaux-like method to infer all minimal keys. Zbl 1407.68126
Cordero, P.; Enciso, M.; Mora, A.; Pérez de Guzmán, I.
1
2014
Inference of mixed information in formal concept analysis. Zbl 1430.68329
Cordero, P.; Enciso, M.; Mora, A.; Rodriguez-Jiménez, J. M.
1
2019
Direct-optimal basis computation by means of the fusion of simplification rules. Zbl 1398.68520
Rodríguez-Lorenzo, Estrella; Bertet, Karell; Cordero, Pablo; Enciso, Manuel; Mora, Ángel
1
2018
Canonical dichotomous direct bases. Zbl 1428.68291
Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel
1
2017
Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis. Zbl 1392.68398
Rodríguez-Jiménez, Jose Manuel; Cordero, Pablo; Enciso, Manuel; Mora, Angel
5
2016
Automated prover for attribute dependencies in data with grades. Zbl 1351.68088
Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem
5
2016
A tableaux-like method to infer all minimal keys. Zbl 1407.68126
Cordero, P.; Enciso, M.; Mora, A.; Pérez de Guzmán, I.
1
2014
Closure via functional dependence simplification. Zbl 1257.68064
Mora, A.; Cordero, P.; Enciso, M.; Fortes, I.; Aguilera, G.
8
2012
A new deduction system for deciding validity in modal logic K. Zbl 1252.03027
Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora, Angel
2
2011
Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Zbl 1237.68077
Mora, A.; de Guzmán, I. P.; Enciso, M.; Cordero, P.
2
2011
Implementing a relational theorem prover for modal logic K. Zbl 1229.03019
Mora, A.; Muñoz-Velasco, E.; Golińska-Pilarek, J.
2
2011
Simulation of wireline sonic logging measurements acquired with borehole-eccentered tools using a high-order adaptive finite element method. Zbl 1419.76444
Pardo, David; Matuszyk, Pawel; Muga, Ignacio; Torres-Verdín, Carlos; Mora, Angel; Calo, Victor M.
2
2011
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Zbl 1191.03008
Burrieza, A.; Mora, A.; Ojeda-Aciego, M.; Orłowska, E.
3
2009
Non-deterministic ideal operators: an adequate tool for formalization in data bases. Zbl 1142.68023
Cordero, P.; Mora, A.; de Guzmán, I. P.; Enciso, M.
5
2008
A non-explosive treatment of functional dependencies using rewriting logic. Zbl 1105.68340
Aguilera, Gabriel; Cordero, Pablo; Enciso, Manuel; Mora, Angel; Perez de Guzmán, Inmaculada
2
2004
\(\text{SL}_{\text{FD} }\) logic: Elimination of data redundancy in knowledge representation. Zbl 1037.68136
Cordero, Pablo; Enciso, Manolo; Mora, Angel; de Guzmán, Inmaculada P.
5
2002

Citations by Year