![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Manuel Enciso
Person information
- affiliation: University of Málaga, Spain
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j28]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
- [j27]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
- [j26]Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez
, Ángel Mora
:
fcaR, Formal Concept Analysis with R. R J. 14(1): 341-361 (2022) - [j25]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) - [c45]Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego:
Partial formal contexts with degrees. CLA 2022: 35-44 - [c44]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 - [c43]Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora:
fcaR, Spreading FCA to the Data Science World. CLA 2022: 199-205 - [c42]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
- [c41]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 - [c40]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 - [c39]Domingo López-Rodríguez
, Pablo Cordero
, Manuel Enciso
, Ángel Mora
:
Clustering and Identification of Core Implications. ICFCA 2021: 138-154 - 2020
- [j24]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) - [j23]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) - [j22]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
- [j21]Francisco Javier López-González
, José Paredes-Pacheco
, Karl Thurnhofer-Hemsi
, Carlos Rossi
, Manuel Enciso, Daniel Toro-Flores, Belén Murcia-Casas, Antonio L. Gutiérrez-Cardo, Núria Roé-Vellvé:
QModeling: a Multiplatform, Easy-to-Use and Open-Source Toolbox for PET Kinetic Analysis. Neuroinformatics 17(1): 103-114 (2019) - [j20]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) - [c38]Pablo Cordero, Manuel Enciso, Ángel Mora, Pablo Gomez González:
An Approach to Visualize Implications. ICFCA (Supplements) 2019: 113-124 - 2018
- [j19]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) - [c37]Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil:
Towards Simplification Logic for Graded Attribute Implications with General Semantics. CLA 2018: 129-140 - [c36]Pablo Cordero
, Manuel Enciso
, Ángel Mora
:
Directness in Fuzzy Formal Concept Analysis. IPMU (1) 2018: 585-595 - 2017
- [j18]L. Jezková, Pablo Cordero, Manuel Enciso
:
Fuzzy functional dependencies: A comparative survey. Fuzzy Sets Syst. 317: 88-120 (2017) - [j17]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) - [j16]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) - [j15]Estrella Rodríguez Lorenzo
, Pablo Cordero, Manuel Enciso, Ángel Mora
:
Canonical dichotomous direct bases. Inf. Sci. 376: 39-53 (2017) - [j14]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
- [j13]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) - [j12]José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso
, Sebastian Rudolph
:
Concept lattices with negative information: A characterization theorem. Inf. Sci. 369: 51-62 (2016) - [c35]Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Ángel Mora:
CAISL: Simplification Logic for Conditional Attribute Implications. CLA 2016: 337-348 - 2015
- [j11]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) - [c34]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 - [c33]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
- [j10]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) - [c32]Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora:
The Direct-optimal Basis via Reductions. CLA 2014: 145-156 - [c31]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 - [c30]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 - [c29]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
- [c28]Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego:
Computing Left-Minimal Direct Basis of implications. CLA 2013: 293-298 - [c27]Manuel Enciso
, Enrique Soler:
Teaching database design: A reverse engineering approach. EDUCON 2013: 474-480 - [c26]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 - [c25]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 - [c24]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 - [c23]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 - [c22]Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego:
Bases via Minimal Generators. FCA4AI@IJCAI 2013: 33-36 - [c21]Pablo Cordero, Manuel Enciso, Ángel Mora:
Automated Reasoning to Infer all Minimal Keys. IJCAI 2013: 817-823 - [c20]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 - 2012
- [j9]Ángel Mora, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera:
Closure via functional dependence simplification. Int. J. Comput. Math. 89(4): 510-526 (2012) - [c19]Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego:
Computing Minimal Generators from Implications: a Logic-guided Approach. CLA 2012: 187-198 - [c18]Manuel Enciso, Carlos Rossi, Antonio Guevara:
A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation. ICSOFT 2012: 291-296 - [c17]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
- [j8]Á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) - [c16]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 - [c15]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 - [c14]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
- [c13]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
- [c12]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
- [j7]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) - 2006
- [j6]Á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) - [c11]Ángel Mora, Manuel Enciso:
A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information. ICEIS (1) 2006: 302-305 - 2004
- [j5]Manuel Enciso, Inmaculada Perez de Guzmán, Carlos Rossi:
Una forma normal temporal independiente del método de deducción. Inteligencia Artif. 8(23): 27-45 (2004) - [j4]Carlos Rossi, Manuel Enciso
, Inmaculada Perez de Guzmán:
Formalization of UML state machines using temporal logic. Softw. Syst. Model. 3(1): 31-54 (2004) - [c10]Carlos Rossi, Manuel Enciso
, Ángel Mora
:
A First Order Temporal Logic for Behavior Representation. IBERAMIA 2004: 408-418 - [c9]Á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 - [c8]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
- [c7]Á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
- [j3]Pablo Cordero, Manuel Enciso, Inman P. de Guzmán:
Bases for closed sets of implicants and implicates in temporal logic. Acta Informatica 38(9): 599-619 (2002) - [j2]Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán:
From the Poset of Temporal Implicates/implicants to a Temporal Negative Form. Reports Math. Log. 36: 3-53 (2002) - [c6]Pablo Cordero, Manuel Enciso, Ángel Mora
, Inman P. de Guzmán:
SLFD Logic: Elimination of Data Redundancy in Knowledge Representation. IBERAMIA 2002: 141-150 - [c5]Manuel Enciso, Ángel Mora:
FD3: A Functional Dependencies Data Dictionary. ICEIS 2002: 807-810 - 2000
- [j1]Inman P. de Guzmán, Manuel Enciso
, Pablo Cordero:
A temporal negative normal form which preserves implicants and implicates. J. Appl. Non Class. Logics 10(3-4): 243-272 (2000)
1990 – 1999
- 1999
- [c4]Inman P. de Guzmán, Pablo Cordero, Manuel Enciso:
Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. EPIA 1999: 193-207 - 1996
- [c3]Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego:
Executing Intensional Logic with the TAS Tool. APPIA-GULP-PRODE 1996: 561-566 - [c2]Manuel Enciso
, Inman P. de Guzmán, Carlos Rossi:
Temporal Reasoning over Linear Discrete Time. JELIA 1996: 303-319 - 1994
- [c1]Manuel Enciso, Inman P. de Guzmán, Carlos Rossi:
A Temporal Logic for Program Specification. GULP-PRODE (2) 1994: 309-323
Coauthor Index
aka: Inman P. de Guzmán
aka: Angel Mora-Bonilla
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-07-20 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint