The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Manuel Enciso Manuel Enciso García-Oliveros ( http://dblp.L3S.de/Authors/Manuel_Enciso )

URL (Homepage):  http://www.lcc.uma.es/~enciso/  Author page on DBLP  Author page in RDF  Community of Manuel Enciso in ASPL-2

Publication years (Num. hits)
1994-2004 (15) 2006-2013 (22) 2014-2017 (16) 2018-2019 (6)
Publication types (Num. hits)
article(21) inproceedings(38)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords

Results
Found 60 publication records. Showing 59 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Angel Mora 0001 Minimal generators, an affordable approach by means of massive computation. Search on Bibsonomy The Journal of Supercomputing The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francisco 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. Search on Bibsonomy Neuroinformatics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Pablo Gomez González An Approach to Visualize Implications. Search on Bibsonomy ICFCA (Supplements) The full citation details ... 2019 DBLP  BibTeX  RDF
1Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Angel Mora 0001 Direct-optimal basis computation by means of the fusion of simplification rules. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001 Directness in Fuzzy Formal Concept Analysis. Search on Bibsonomy IPMU (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Vilém Vychodil Towards Simplification Logic for Graded Attribute Implications with General Semantics. Search on Bibsonomy CLA The full citation details ... 2018 DBLP  BibTeX  RDF
1Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Angel Mora 0001 Formation of the D-basis from implicational systems using Simplification logic. Search on Bibsonomy Int. J. General Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1L. Jezková, Pablo Cordero, Manuel Enciso Fuzzy functional dependencies: A comparative survey. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Angel Mora Bonilla Reducing the search space by closure and simplification paradigms. Search on Bibsonomy The Journal of Supercomputing The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Angel Mora Bonilla Canonical dichotomous direct bases. Search on Bibsonomy Inf. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Angel Mora Bonilla An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis. Search on Bibsonomy Int. J. Intell. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Radim Belohlávek, Pablo Cordero, Manuel Enciso, Angel Mora 0001, Vilém Vychodil Automated prover for attribute dependencies in data with grades. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph Concept lattices with negative information: A characterization theorem. Search on Bibsonomy Inf. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Angel Mora Bonilla CAISL: Simplification Logic for Conditional Attribute Implications. Search on Bibsonomy CLA The full citation details ... 2016 DBLP  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Manuel Ojeda-Aciego, Carlos Rossi Knowledge discovery in social networks by using a logic-based treatment of implications. Search on Bibsonomy Knowl.-Based Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1José Manuel Rodríguez-Jiménez, Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Angel Mora 0001 A Normal Form for Fuzzy Functional Dependencies. Search on Bibsonomy SSCI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Angel Mora 0001 From an Implicational System to its Corresponding D-basis. Search on Bibsonomy CLA The full citation details ... 2015 DBLP  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Inmaculada Perez de Guzmán A tableaux-like method to infer all minimal keys. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Angel Mora 0001 Negative Attributes and Implications in Formal Concept Analysis. Search on Bibsonomy ITQM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Angel Mora 0001 Increasing the Efficiency of Minimal Key Enumeration Methods by Means of Parallelism. Search on Bibsonomy ICSOFT EA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Angel Mora 0001 The Direct-optimal Basis via Reductions. Search on Bibsonomy CLA The full citation details ... 2014 DBLP  BibTeX  RDF
1José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Angel Mora 0001 A Generalized Framework to Consider Positive and Negative Attributes in Formal Concept Analysis. Search on Bibsonomy CLA The full citation details ... 2014 DBLP  BibTeX  RDF
1Manuel Enciso, Enrique Soler Teaching database design: A reverse engineering approach. Search on Bibsonomy EDUCON The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Angel Mora 0001 Automated Inference with Fuzzy Functional Dependencies over Graded Data. Search on Bibsonomy IWANN (2) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, José Manuel Rodríguez-Jiménez Computing non-redundant sets of functional dependencies via simplification. Search on Bibsonomy FOCI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora 0001 Quality Improvement in Data Models with SLFD-based OCL Constraints. Search on Bibsonomy ICSOFT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora 0001, Antonio Guevara Improving Recommender Systems with Simplification Logic to Manage Implications with Grades. Search on Bibsonomy ICSOFT (Selected Papers) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora 0001, Antonio Guevara Context-aware Recommendation using Fuzzy Formal Concept Analysis. Search on Bibsonomy ICSOFT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Manuel Ojeda-Aciego Computing Left-Minimal Direct Basis of implications. Search on Bibsonomy CLA The full citation details ... 2013 DBLP  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora Bonilla, Manuel Ojeda-Aciego Bases via Minimal Generators. Search on Bibsonomy FCA4AI@IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001 Automated Reasoning to Infer all Minimal Keys. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Angel Mora 0001, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera Closure via functional dependence simplification. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Radim Belohlávek, Pablo Cordero, Manuel Enciso, Angel Mora 0001, Vilém Vychodil An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data. Search on Bibsonomy MDAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel Enciso, Carlos Rossi, Antonio Guevara A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation. Search on Bibsonomy ICSOFT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Manuel Ojeda-Aciego Computing Minimal Generators from Implications: a Logic-guided Approach. Search on Bibsonomy CLA The full citation details ... 2012 DBLP  BibTeX  RDF
1Angel Mora 0001, Inmaculada Perez de Guzmán, Manuel Enciso, Pablo Cordero Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies. Search on Bibsonomy IWANN (2) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez Specification and inference of fuzzy attributes. Search on Bibsonomy FOCI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manuel 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. Search on Bibsonomy ICSOFT (1) The full citation details ... 2011 DBLP  BibTeX  RDF
1Carlos Rossi, Antonio Guevara, Manuel Enciso, José Luis Caro, Angel Mora 0001, Pablo Cordero A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD. Search on Bibsonomy ICSOFT (2) The full citation details ... 2010 DBLP  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Inmaculada Perez de Guzmán A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations. Search on Bibsonomy IWANN (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Angel Mora 0001, Inman P. de Guzmán, Manuel Enciso Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Angel Mora 0001, Gabriel Aguilera, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán A new closure algorithm based in logic: SLFD-Closure versus classical closures. Search on Bibsonomy Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial The full citation details ... 2006 DBLP  BibTeX  RDF
1Angel Mora 0001, Manuel Enciso A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information. Search on Bibsonomy ICEIS (1) The full citation details ... 2006 DBLP  BibTeX  RDF
1Manuel Enciso, Inmaculada Perez de Guzmán, Carlos Rossi Una forma normal temporal independiente del método de deducción. Search on Bibsonomy Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial The full citation details ... 2004 DBLP  BibTeX  RDF
1Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán Formalization of UML state machines using temporal logic. Search on Bibsonomy Software and System Modeling The full citation details ... 2004 DBLP  DOI  BibTeX  RDF UML, specification, formal semantics, interval temporal logic, Statechart diagrams
1Angel Mora 0001, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero A/D Case: A New Heart for FD3. Search on Bibsonomy ICEIS (1) The full citation details ... 2004 DBLP  BibTeX  RDF
1Carlos Rossi, Manuel Enciso, Angel Mora 0001 A First Order Temporal Logic for Behavior Representation. Search on Bibsonomy IBERAMIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Angel Mora 0001, Inmaculada Perez de Guzmán A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. Search on Bibsonomy SBIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Angel Mora 0001, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm. Search on Bibsonomy CAEPIA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Inman P. de Guzmán Bases for closed sets of implicants and implicates in temporal logic. Search on Bibsonomy Acta Inf. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán From the Poset of Temporal Implicates/implicants to a Temporal Negative Form. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2002 DBLP  BibTeX  RDF
1Manuel Enciso, Angel Mora 0001 FD3: A Functional Dependencies Data Dictionary. Search on Bibsonomy ICEIS The full citation details ... 2002 DBLP  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Inman P. de Guzmán SLFD Logic: Elimination of Data Redundancy in Knowledge Representation. Search on Bibsonomy IBERAMIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Inman P. de Guzmán, Manuel Enciso, Pablo Cordero A temporal negative normal form which preserves implicants and implicates. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Inman P. de Guzmán, Pablo Cordero, Manuel Enciso Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. Search on Bibsonomy EPIA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Manuel Enciso, Inman P. de Guzmán, Carlos Rossi Temporal Reasoning over Linear Discrete Time. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF temporal logics, automated theorem proving
1Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego Executing Intensional Logic with the TAS Tool. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1996 DBLP  BibTeX  RDF
1Manuel Enciso, Inman P. de Guzmán, Carlos Rossi A Temporal Logic for Program Specification. Search on Bibsonomy GULP-PRODE (2) The full citation details ... 1994 DBLP  BibTeX  RDF
Displaying result #1 - #59 of 59 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license