The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Angel Mora 0001 Angel Mora Bonilla ( http://dblp.L3S.de/Authors/Angel_Mora_0001 )

URL (Homepage):  https://scholar.google.com/citations?user=MEEWjqUAAAAJ  Author page on DBLP  Author page in RDF  Community of Angel Mora 0001 in ASPL-2

Publication years (Num. hits)
2002-2010 (15) 2011-2013 (19) 2014-2017 (15) 2018-2019 (5)
Publication types (Num. hits)
article(18) inproceedings(36)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 55 publication records. Showing 54 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
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
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
1Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora 0001 Tableau reductions: Towards an optimal decision procedure for the modal necessity. Search on Bibsonomy J. Applied Logic 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
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
1Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora 0001 Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K. Search on Bibsonomy SOCO-CISIS-ICEUTE 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 0001 Automated Reasoning to Infer all Minimal Keys. Search on Bibsonomy IJCAI 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
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
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
1Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora Bonilla Relational dual tableau decision procedure for modal logic K. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora 0001 A new deduction system for deciding validity in modal logic K. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2011 DBLP  DOI  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
1Angel Mora 0001, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek Implementing a relational theorem prover for modal logic. 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
1Angel Mora Bonilla, Enrique Mérida Casermeiro, Domingo López-Rodríguez Improving Moodle with WIRIS and M-QIT. Search on Bibsonomy ICEIS (4) The full citation details ... 2010 DBLP  BibTeX  RDF
1Alfredo Burrieza, Angel Mora 0001, Manuel Ojeda-Aciego, Ewa Orlowska An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2009 DBLP  DOI  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
1Joanna Golinska-Pilarek, Angel Mora 0001, Emilio Muñoz-Velasco An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. Search on Bibsonomy PRICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Angel Mora Bonilla, Enrique Mérida Casermeiro, Domingo López-Rodríguez, Luis Fernando López Anguita Integration Of Moodle Quizzes. Search on Bibsonomy e-Learning The full citation details ... 2008 DBLP  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
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
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
Displaying result #1 - #54 of 54 (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