default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDÁngel Mora 0001
Angel Mora 0001 – Angel Mora-Bonilla
Person information
- affiliation (PhD 2002): University of Málaga, Department of Applied Mathematics, Spain
Other persons with the same name
- Angel Mora 0002
![[0000-0001-6881-6530]](https://dblp.org/img/orcid-mark.12x12.png "0000-0001-6881-6530")
— King Abdullah University of Science and Technology, Saudi Arabia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j28]Manuel Ojeda-Hernández, Domingo López-Rodríguez, Ángel Mora:
A Formal Concept Analysis approach to hierarchical description of malware threats. Forensic Sci. Int. Digit. Investig. 50: 301797 (2024)- [j27]Pablo Cordero, Manuel Enciso, Ángel Mora, Francisco Pérez-Gámez:
Attribute implications with unknown information based on weak Heyting algebras. Fuzzy Sets Syst. 490: 109026 (2024) - 2023
- [j26]Manuel Ojeda-Hernández, Domingo López-Rodríguez, Ángel Mora:
Lexicon-based sentiment analysis in texts using Formal Concept Analysis. Int. J. Approx. Reason. 155: 104-112 (2023) - [j25]Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora:
Simplification logic for the management of unknown information. Inf. Sci. 634: 505-519 (2023) - 2022
- [j24]Manuel Ojeda-Hernández, Francisco Pérez-Gámez, Domingo López-Rodríguez, Nicolás Madrid, Ángel Mora:
Minimal Generators from Positive and Negative Attributes: Analysing the Knowledge Space of a Mathematics Course. Int. J. Comput. Intell. Syst. 15(1): 58 (2022) - [j23]Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora:
fcaR, Formal Concept Analysis with R. R J. 14(1): 341-361 (2022) - [j22]Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil:
Parameterized Simplification Logic: Reasoning With Implications in an Automated Way. IEEE Trans. Fuzzy Syst. 30(12): 5534-5543 (2022) - [c44]Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego:
Partial formal contexts with degrees. CLA 2022: 35-44 - [c43]Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora:
A Galois connection between partial formal contexts and attribute sets. CLA 2022: 45-56 - [c42]Domingo López-Rodríguez, Ángel Mora, Manuel Ojeda-Hernández:
Revisiting Algorithms for Fuzzy Concept Lattices. CLA 2022: 105-116 - [c41]Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora:
fcaR, Spreading FCA to the Data Science World. CLA 2022: 199-205 - [c40]Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora:
Computing the Mixed Concept Lattice. IPMU (1) 2022: 87-99 - [p1]Tim Pattison, Manuel Enciso, Ángel Mora, Pablo Cordero, Derek Weber, Michael Broughton:
Scalable Visual Analytics in FCA. Complex Data Analytics with Formal Concept Analysis 2022: 167-200 - 2021
- [c39]Domingo López-Rodríguez, Pablo Cordero, Manuel Enciso, Ángel Mora:
How to provide light to COVID data by means of FCA. RealDataFCA@ICFCA 2021: 5-12 - [c38]Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora:
A New Kind of Implication to Reason with Unknown Information. ICFCA 2021: 74-90 - [c37]Domingo López-Rodríguez, Pablo Cordero, Manuel Enciso, Ángel Mora:
Clustering and Identification of Core Implications. ICFCA 2021: 138-154 - 2020
- [j21]Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora:
A conversational recommender system for diagnosis using fuzzy rules. Expert Syst. Appl. 154: 113449 (2020) - [j20]Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi:
A Formal Concept Analysis Approach to Cooperative Conversational Recommendation. Int. J. Comput. Intell. Syst. 13(1): 1243-1252 (2020) - [j19]Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil:
Parameterized simplification logic I: reasoning with implications and classes of closure operators. Int. J. Gen. Syst. 49(7): 724-746 (2020)
2010 – 2019
- 2019
- [j18]Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora:
Minimal generators, an affordable approach by means of massive computation. J. Supercomput. 75(3): 1350-1367 (2019) - [c36]Pablo Cordero, Manuel Enciso, Ángel Mora, Pablo Gomez González:
An Approach to Visualize Implications. ICFCA (Supplements) 2019: 113-124 - 2018
- [j17]Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora:
Direct-optimal basis computation by means of the fusion of simplification rules. Discret. Appl. Math. 249: 106-119 (2018) - [c35]Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil:
Towards Simplification Logic for Graded Attribute Implications with General Semantics. CLA 2018: 129-140 - [c34]Pablo Cordero, Manuel Enciso, Ángel Mora:
Directness in Fuzzy Formal Concept Analysis. IPMU (1) 2018: 585-595 - 2017
- [j16]Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Ángel Mora:
Formation of the D-basis from implicational systems using Simplification logic. Int. J. Gen. Syst. 46(5): 547-568 (2017) - [j15]Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Ángel Mora:
An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis. Int. J. Intell. Syst. 32(8): 760-777 (2017) - [j14]Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Ángel Mora:
Canonical dichotomous direct bases. Inf. Sci. 376: 39-53 (2017) - [j13]Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora:
Reducing the search space by closure and simplification paradigms. J. Supercomput. 73(1): 75-87 (2017) - 2016
- [j12]Radim Belohlávek, Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil:
Automated prover for attribute dependencies in data with grades. Int. J. Approx. Reason. 70: 51-67 (2016) - [j11]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora:
Tableau reductions: Towards an optimal decision procedure for the modal necessity. J. Appl. Log. 17: 14-24 (2016) - [c33]Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Ángel Mora:
CAISL: Simplification Logic for Conditional Attribute Implications. CLA 2016: 337-348 - 2015
- [j10]Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi:
Knowledge discovery in social networks by using a logic-based treatment of implications. Knowl. Based Syst. 87: 16-25 (2015) - [c32]Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Ángel Mora:
From an Implicational System to its Corresponding D-basis. CLA 2015: 217-228 - [c31]José Manuel Rodríguez-Jiménez, Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Ángel Mora:
A Normal Form for Fuzzy Functional Dependencies. SSCI 2015: 984-989 - 2014
- [j9]Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán:
A tableaux-like method to infer all minimal keys. Log. J. IGPL 22(6): 1019-1044 (2014) - [c30]Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora:
The Direct-optimal Basis via Reductions. CLA 2014: 145-156 - [c29]José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora:
A Generalized Framework to Consider Positive and Negative Attributes in Formal Concept Analysis. CLA 2014: 267-278 - [c28]Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora:
Increasing the Efficiency of Minimal Key Enumeration Methods by Means of Parallelism. ICSOFT EA 2014: 512-517 - [c27]José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora:
Negative Attributes and Implications in Formal Concept Analysis. ITQM 2014: 758-765 - 2013
- [c26]Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego:
Computing Left-Minimal Direct Basis of implications. CLA 2013: 293-298 - [c25]Pablo Cordero, Manuel Enciso, Ángel Mora, José Manuel Rodríguez-Jiménez:
Computing non-redundant sets of functional dependencies via simplification. FOCI 2013: 9-14 - [c24]José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora, Antonio Guevara:
Improving Recommender Systems with Simplification Logic to Manage Implications with Grades. ICSOFT (Selected Papers) 2013: 290-305 - [c23]Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora:
Quality Improvement in Data Models with SLFD-based OCL Constraints. ICSOFT 2013: 563-569 - [c22]José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora, Antonio Guevara:
Context-aware Recommendation using Fuzzy Formal Concept Analysis. ICSOFT 2013: 617-623 - [c21]Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego:
Bases via Minimal Generators. FCA4AI@IJCAI 2013: 33-36 - [c20]Pablo Cordero, Manuel Enciso, Ángel Mora:
Automated Reasoning to Infer all Minimal Keys. IJCAI 2013: 817-823 - [c19]José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora:
Automated Inference with Fuzzy Functional Dependencies over Graded Data. IWANN (2) 2013: 254-265 - [c18]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora:
Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K. SOCO-CISIS-ICEUTE 2013: 429-438 - 2012
- [j8]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora-Bonilla:
Relational dual tableau decision procedure for modal logic K. Log. J. IGPL 20(4): 747-756 (2012) - [j7]Ángel Mora, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera:
Closure via functional dependence simplification. Int. J. Comput. Math. 89(4): 510-526 (2012) - [c17]Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego:
Computing Minimal Generators from Implications: a Logic-guided Approach. CLA 2012: 187-198 - [c16]Radim Belohlávek, Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil:
An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data. MDAI 2012: 408-419 - 2011
- [j6]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora:
A new deduction system for deciding validity in modal logic K. Log. J. IGPL 19(2): 425-434 (2011) - [j5]Ángel Mora, Inmaculada Perez de Guzmán, Manuel Enciso, Pablo Cordero:
Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Int. J. Comput. Math. 88(9): 1860-1868 (2011) - [j4]Ángel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek:
Implementing a relational theorem prover for modal logic. Int. J. Comput. Math. 88(9): 1869-1884 (2011) - [c15]Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez:
Specification and inference of fuzzy attributes. FOCI 2011: 107-114 - [c14]Manuel Enciso García-Oliveros, Angel Mora-Bonilla, Pablo Cordero, Rosario Baena:
A Claim to Incorporate Functional Dependencies in Development Tools - Benchmarking and Checking Functional Dependencies Algorithms. ICSOFT (1) 2011: 313-316 - [c13]Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez:
An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies. IWANN (2) 2011: 412-420 - 2010
- [c12]Ángel Mora, Enrique Mérida Casermeiro, Domingo López-Rodríguez:
Improving Moodle with WIRIS and M-QIT. ICEIS (4) 2010: 75-80 - [c11]Carlos Rossi, Antonio Guevara, Manuel Enciso, José Luis Caro, Ángel Mora, Pablo Cordero:
A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD. ICSOFT (2) 2010: 195-200
2000 – 2009
- 2009
- [j3]Alfredo Burrieza, Ángel Mora, Manuel Ojeda-Aciego, Ewa Orlowska:
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Int. J. Comput. Math. 86(10&11): 1852-1866 (2009) - [c10]Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán:
A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations. IWANN (1) 2009: 261-269 - 2008
- [j2]Pablo Cordero, Ángel Mora, Inman P. de Guzmán, Manuel Enciso:
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. Discret. Appl. Math. 156(6): 911-923 (2008) - [c9]Angel Mora-Bonilla, Enrique Mérida Casermeiro, Domingo López-Rodríguez, Luis Fernando López Anguita:
Integration Of Moodle Quizzes. e-Learning 2008: 45-52 - [c8]Joanna Golinska-Pilarek, Ángel Mora, Emilio Muñoz-Velasco:
An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. PRICAI 2008: 128-139 - 2006
- [j1]Ángel Mora, Gabriel Aguilera, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán:
A new closure algorithm based in logic: SLFD-Closure versus classical closures. Inteligencia Artif. 10(31): 31-40 (2006) - [c7]Ángel Mora, Manuel Enciso:
A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information. ICEIS (1) 2006: 302-305 - 2004
- [c6]Carlos Rossi, Manuel Enciso, Ángel Mora:
A First Order Temporal Logic for Behavior Representation. IBERAMIA 2004: 408-418 - [c5]Ángel Mora, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero:
A/D Case: A New Heart for FD3. ICEIS (1) 2004: 482-490 - [c4]Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán:
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. SBIA 2004: 31-40 - 2003
- [c3]Ángel Mora, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán:
An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm. CAEPIA 2003: 136-146 - 2002
- [c2]Pablo Cordero, Manuel Enciso, Ángel Mora, Inman P. de Guzmán:
SLFD Logic: Elimination of Data Redundancy in Knowledge Representation. IBERAMIA 2002: 141-150 - [c1]Manuel Enciso, Ángel Mora:
FD3: A Functional Dependencies Data Dictionary. ICEIS 2002: 807-810
Coauthor Index
[j27] [j25] [j23] [j22] [c44] [c43] [c41] [c40] [p1] [c39] [c38] [c37] [j21] [j20] [j19] [j18] [c36] [j17] [c35] [c34] [j16] [j15] [j14] [j13] [j12] [c33] [j10] [c32] [c31] [j9] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [j7] [c17] [c16] [j5] [c15] [c14] [c13] [c11] [c10] [j2] [j1] [c5] [c4] [c3] [c2]
Manuel Enciso
aka: Manuel Enciso García-Oliveros
aka: Manuel Enciso García-Oliveros
[j27] [j25] [j23] [j22] [c44] [c43] [c41] [c40] [p1] [c39] [c38] [c37] [j21] [j20] [j19] [j18] [c36] [j17] [c35] [c34] [j16] [j15] [j14] [j13] [j12] [c33] [j10] [c32] [c31] [j9] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [j7] [c17] [c16] [j5] [c15] [c14] [c13] [c11] [c10] [j2] [j1] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
Inmaculada Perez de Guzmán
aka: Inman P. de Guzmán
aka: Inman P. de Guzmán
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
