Edit Profile (opens in new tab) Mora, Angel Compute Distance To: Compute Author ID: mora.angel Published as: Mora, Angel; Mora, A.; Mora, Ángel more...less External Links: ORCID Documents Indexed: 21 Publications since 1978 Co-Authors: 23 Co-Authors with 19 Joint Publications 282 Co-Co-Authors all top 5 Co-Authors 0 single-authored 15 Cordero, Pablo 9 Enciso, Manuel 5 de Guzmán, Inmaculada Pérez 3 Golińska-Pilarek, Joanna 3 Muñoz-Velasco, Emilio 3 Rodríguez-Lorenzo, Estrella 2 Aguilera, Gabriel 2 Rodríguez-Jiménez, Jose Manuel 1 Bělohlávek, Radim 1 Bertet, Karell 1 Broughton, Michael 1 Burrieza, Alfredo 1 Calo, Victor Manuel 1 Enciso, Manolo 1 Fortes, Inmaculada 1 López-Rodríguez, Domingo 1 Matuszyk, Paweł Jerzy 1 Muga, Ignacio 1 Ojeda-Aciego, Manuel 1 Orłowska, Ewa S. 1 Pardo, David 1 Pattison, Tim R. 1 Pellat, Rene 1 Pérez-Gámez, Francisco 1 Torres-Verdín, Carlos 1 Virmont, J. 1 Vychodil, Vilém 1 Weber, Derek all top 5 Serials 4 International Journal of Computer Mathematics 2 Discrete Applied Mathematics 2 Logic Journal of the IGPL 1 Journal of Computational Physics 1 Mathematical Methods in the Applied Sciences 1 Physics of Fluids 1 Information Sciences 1 International Journal of Approximate Reasoning 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Journal of Applied Logic all top 5 Fields 17 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Fluid mechanics (76-XX) 1 Combinatorics (05-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 15 Publications have been cited 51 times in 31 Documents Cited by ▼ Year ▼ Closure via functional dependence simplification. Zbl 1257.68064Mora, A.; Cordero, P.; Enciso, M.; Fortes, I.; Aguilera, G. 10 2012 Automated prover for attribute dependencies in data with grades. Zbl 1351.68088Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem 6 2016 \(\text{SL}_{\text{FD} }\) logic: Elimination of data redundancy in knowledge representation. Zbl 1037.68136Cordero, Pablo; Enciso, Manolo; Mora, Angel; de Guzmán, Inmaculada P. 6 2002 Non-deterministic ideal operators: an adequate tool for formalization in data bases. Zbl 1142.68023Cordero, P.; Mora, A.; de Guzmán, I. P.; Enciso, M. 6 2008 Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis. Zbl 1392.68398Rodríguez-Jiménez, Jose Manuel; Cordero, Pablo; Enciso, Manuel; Mora, Angel 5 2016 An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Zbl 1191.03008Burrieza, A.; Mora, A.; Ojeda-Aciego, M.; Orłowska, E. 3 2009 Direct-optimal basis computation by means of the fusion of simplification rules. Zbl 1398.68520Rodríguez-Lorenzo, Estrella; Bertet, Karell; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 3 2018 Canonical dichotomous direct bases. Zbl 1428.68291Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 3 2017 A non-explosive treatment of functional dependencies using rewriting logic. Zbl 1105.68340Aguilera, 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.03027Goliń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.68077Mora, A.; de Guzmán, I. P.; Enciso, M.; Cordero, P. 2 2011 Implementing a relational theorem prover for modal logic K. Zbl 1229.03019Mora, 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.76444Pardo, David; Matuszyk, Pawel; Muga, Ignacio; Torres-Verdín, Carlos; Mora, Angel; Calo, Victor M. 2 2011 A tableaux-like method to infer all minimal keys. Zbl 1407.68126Cordero, P.; Enciso, M.; Mora, A.; Pérez de Guzmán, I. 1 2014 Inference of mixed information in formal concept analysis. Zbl 1430.68329Cordero, P.; Enciso, M.; Mora, A.; Rodriguez-Jiménez, J. M. 1 2019 Inference of mixed information in formal concept analysis. Zbl 1430.68329Cordero, 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.68520Rodríguez-Lorenzo, Estrella; Bertet, Karell; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 3 2018 Canonical dichotomous direct bases. Zbl 1428.68291Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 3 2017 Automated prover for attribute dependencies in data with grades. Zbl 1351.68088Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem 6 2016 Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis. Zbl 1392.68398Rodríguez-Jiménez, Jose Manuel; Cordero, Pablo; Enciso, Manuel; Mora, Angel 5 2016 A tableaux-like method to infer all minimal keys. Zbl 1407.68126Cordero, P.; Enciso, M.; Mora, A.; Pérez de Guzmán, I. 1 2014 Closure via functional dependence simplification. Zbl 1257.68064Mora, A.; Cordero, P.; Enciso, M.; Fortes, I.; Aguilera, G. 10 2012 A new deduction system for deciding validity in modal logic K. Zbl 1252.03027Goliń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.68077Mora, A.; de Guzmán, I. P.; Enciso, M.; Cordero, P. 2 2011 Implementing a relational theorem prover for modal logic K. Zbl 1229.03019Mora, 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.76444Pardo, 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.03008Burrieza, 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.68023Cordero, P.; Mora, A.; de Guzmán, I. P.; Enciso, M. 6 2008 A non-explosive treatment of functional dependencies using rewriting logic. Zbl 1105.68340Aguilera, 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.68136Cordero, Pablo; Enciso, Manolo; Mora, Angel; de Guzmán, Inmaculada P. 6 2002 all cited Publications top 5 cited Publications all top 5 Cited by 42 Authors 13 Cordero, Pablo 10 Mora, Angel 6 Medina, Jesús 5 Enciso, Manuel 5 Ojeda-Aciego, Manuel 4 Vychodil, Vilém 3 Cornejo, Maria Eugenia 3 Muñoz-Velasco, Emilio 3 Ramírez-Poussa, Eloisa 3 Rodríguez-Jiménez, Jose Manuel 2 Benítez-Caballero, María José 2 Cabrera, Inma P. 2 de Guzmán, Inmaculada Pérez 2 Golińska-Pilarek, Joanna 2 López-Rodríguez, Domingo 2 Matuszyk, Paweł Jerzy 2 Ślęzak, Dominik 1 Aguilera, Gabriel 1 Bertet, Karell 1 Broughton, Michael 1 Demkowicz, Leszek F. 1 Díaz-Moreno, Juan Carlos 1 Fortes, Inmaculada 1 Gutiérrez, Gloria 1 Huuskonen, Taneli 1 Ježková, L. 1 Konecny, Jan 1 Krídlo, Ondrej 1 Liñeiro-Barea, Valentín 1 Madrid, Nicolás 1 Martínez del Castillo, Javier 1 Medina-Bulo, Inmaculada 1 Muga, Ignacio 1 Ojeda-Hernández, Manuel 1 Pardo, David 1 Pattison, Tim R. 1 Pérez-Gámez, Francisco 1 Rodríguez-Lorenzo, Estrella 1 Torres-Verdín, Carlos 1 Triska, Jan 1 Urbanova, Lucie 1 Weber, Derek all top 5 Cited in 13 Serials 5 Information Sciences 4 International Journal of Computer Mathematics 2 Discrete Applied Mathematics 2 Fuzzy Sets and Systems 2 Journal of Computational and Applied Mathematics 2 Annals of Mathematics and Artificial Intelligence 1 Computers & Mathematics with Applications 1 Computer Methods in Applied Mechanics and Engineering 1 International Journal of General Systems 1 Mathematical Methods in the Applied Sciences 1 Annals of Pure and Applied Logic 1 International Journal of Approximate Reasoning 1 TWMS Journal of Pure and Applied Mathematics all top 5 Cited in 10 Fields 27 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 2 Fluid mechanics (76-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Numerical analysis (65-XX) 1 Mechanics of deformable solids (74-XX) 1 Biology and other natural sciences (92-XX) Citations by Year