Proyectos de investigación

Supported by

Ministry of Economy, Industry and Competitiveness and co-financed by ERDF funds.

Team

• (I.P.1) Cordero Ortega, Pablo J.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• de las Peñas Cabrera, Inmaculada
  Dpto. Matemática Aplicada. Universidad de Málaga.

• (I.P.2) Enciso García-Oliveros, Manuel
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

• Guevara Plaza, Antonio.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

• Mora Bonilla, Ángel.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Ojeda Hernández, Manuel (PhD student, Contrato F.P.U.)
  Dpto. Álgebra, Geometría y Topología. Universidad de Málaga. 

• Pérez Gámez,  Francisco (PhD student, Contrato F.P.I.)
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Rossi Jiménez, Carlos.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

Abstract

Nowadays, there are different technological solutions for the storage and manipulation of information: OLTP databases, OLAP databases, data lakes, etc. Each architecture is oriented to a particular use. In this paper we plan to enrich the granularity data compression paradigm to OLAP repositories in order to reduce the gap, in storage capacity, over data lakes. We propose to generalize the reduction technique that optimizes the use of decompression in query execution. This project is therefore presented in the mode of oriented research, more specifically in mathematical modelling and analysis and new mathematical solutions for science and technology.

The general objective of the project is the design of mathematical models to introduce an approximate paradigm for the development of queries by iteration. This paradigm uses compression mechanisms to compact the information with large volumes of data. Specifically, we intend to design a mathematical model in the framework of formal concept analysis (FCA). This is a solid mathematical theory that allows the storage of information in tabular form and makes it possible to discover and manage the complete knowledge of the information provided by the data. For this purpose, we propose, on the one hand, to introduce structures from rough set theory and fuzzy set theory to store the compressed information and, on the other hand, to define 3-valued, 4-valued and bilattice based logics to efficiently handle the compacted datasets.

Thus, the model will provide FCA techniques with the ability to analyze the formal context or dataset at different levels of granularity in order to abstract and consider only that information that serves a specific interest. That is, we will consider the existence of several partial contexts and their relationships as formal support to the granular compression paradigm. By focusing on different levels of granularity, different levels of knowledge can be obtained, as well as a better understanding of the inherent knowledge structure.

The architecture will not remain only in the compression/decompression mechanism, but will include knowledge extraction techniques in terms of approximate implicational systems. In this way, we will take full advantage of the semantics of the data showing the relationships between attributes and we will design automatic reasoning mechanisms, a previous step for the development of efficient applications. The reasoning methods will be strongly connected to the Simplification paradigm that has given rise to a family of logics for different generalizations in FCA.

As the ultimate goal of this project, we intend to produce three types of fruits. On the one hand, to design tools, either packages or specific software, to be able to execute the designed methods. From there, we will build applications that will give rise to the third of our fruits: the success cases. We will focus especially on the tourism sector for several reasons: for our previous experience in this area, for the strength of the sector at local, regional and state level and also because of the growing demand for computational intelligence mechanisms. This would also be in favor of a more responsible exploitation of resources, favoring sustainable tourism.

Keywords

Formal Concept Analysis, Implicational Systems, Logic and Automated Reasoning, Fuzzy and Rough Sets

Supported by

Ministry of Economy, Industry and Competitiveness and co-financed by ERDF funds.

Team

• Aguilera Venegas, Gabriel.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Benito Picazo, Fernando (PhD student)
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

• Bertet, Karell (external partner)
  Laboratorie L3i (University of La Rochelle, France)

• (I.P.1) Cordero Ortega, Pablo José.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• de las Peñas Cabrera, Inmaculada.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Demko, Christopher (external partner)
  Laboratorie L3i (University of La Rochelle, France)

• (I.P.2) Enciso García-Oliveros, Manuel Nicolás.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

• Guevara Plaza, Antonio.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

• Mora Bonilla, Ángel.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Pérez de Guzmán Molina, Inmaculada.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Rodríguez Jiménez, José Manuel (PhD student)
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Rodríguez Lorenzo, Estrella. (PhD student, Beca FPI)
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Rossi Jiménez, Carlos.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

• Viaud, Jean-François (external partner)
  Laboratorie L3i (University of La Rochelle, France)

Abstract

Data generated nowadays uses to be stored in datasets with no structure, namely a binary relation between objects and attributes. One has to select a suitable knowledge representation to describe information and manipulate it. The language used has a direct impact on the expressive power and, also, in the efficiency of its management. In general, the higher expressiveness we have, the worse performance our method has. Thus, we have to carefully balance these two issues.

In this proposal we select a very popular tool to describe knowledge: the if-then rules. They have been used in several areas (databases, logic programming, expert systems, formal concept analysis, etc) with different interpretations and views (cause-effect, executable actions, attribute connection, etc.). In our opinion this successfully widespread use is due to its simplicity and also to the fact that it is suitable to emulate human-like reasoning.

Nevertheless, an augmentation of the expressive power is in increasing demand. In the classical framework, the system only considers the information provided by the user, but it is not able to consider its absence. Negative attributes generalization provides a solution for this, preserving the same data sets. In other contexts, we demand to associate each piece of information with some degree, interpreted as uncertainty, truthfulness or vagueness. The use of fuzzy sets provides both an enriched language and a proper manipulation. Another way to add a measure of the accuracy of the rules is to consider association rules, where the support and confidence are introduced. In addition to object and attributes, we can also consider new information provided by means of the so-called conditions. Although using a relational model could approach this situation, triadic datasets provides a simpler approach. Finally, we also plan to combine two of the generalization into a single one. Thus, for instance the mixture of the fuzzy and negative issues can be addressed with the intuitionist logic, where two independent values can be tied to an assertion and its negation.

Our main goal is to show how all these generalizations can be approached in a uniform way within the formal concept analysis framework. We plan to consider in this proposal all the generalizations mentioned above: negation, fuzzy, triadic, accuracy and intuitionist. We propose to deal with the implication problem in all these generalizations, enunciated as a very wide and ambitious challenge: how to efficiently check if new information can be deduced from the stored knowledge. We will tackle this problem by means of the attribute closure operator. This operator receives an attribute set and uses a set of rules to infer the maximal attribute set strongly associated with the input. The keystone of the proposed work is our simplification closure operator. It applies a set of simplification logic equivalences. Our operator has an outstanding property: it produces a two-fold output. In addition to the closed attribute set, it also renders a complementary set of implications that can be viewed as the knowledge remaining in the attributes not included in the output closed set. This second part of the output constitutes a very useful tool to go deeper in the reasoning with no extra cost, since it is generated at the same time the closure is built. This extra cost is not trivial since the extraction of the rule sets from a data set has an exponential complexity.

Keywords

Implications, Logic, Formal Concept Analysis, Lattice Theory.

Supported by

Spanish Ministry of Economy, Industry and Competitiveness and co-financed with ERDF funds.

Team

• Aguayo Maldonado, Andrés.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

• Aguilera Venegas, Gabriel.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Benito Picazo, Fernando (PhD student)
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

• Bertet, Karell (external partner)
  Laboratorie L3i (University of La Rochelle, France)

• (I.P.1) Cordero Ortega, Pablo José.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• de las Peñas Cabrera, Inmaculada.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Demko, Christopher (external partner)
  Laboratorie L3i (University of La Rochelle, France)

• (I.P.2) Enciso García-Oliveros, Manuel Nicolás.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

• García Pardo, Francisca (PhD student)
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Guevara Plaza, Antonio.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

• Gutiérrez Barranco, Gloria.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Leiva Olivenza, José Luis (Colaborador)
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

• Martínez del Castillo, Javier.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Mora Bonilla, Ángel.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Pérez de Guzmán Molina, Inmaculada.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Rodríguez Jiménez, José Manuel (PhD student)
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Rodríguez Lorenzo, Estrella. (PhD student, Beca FPI)
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Rossi Jiménez, Carlos.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

• Viaud, Jean-François (external partner)
  Laboratorie L3i (University of La Rochelle, France)

Abstract

Formal Concept Analysis (FCA) is being recently adopted as a solid alternative to the process of information treatment to be used in real applications with some automated methods. More specifically, it has been appreciated with a significant growth of their use in a wide variety of areas: biomedicine, tourism, education, social networks, etc.

A great part of this recent interest is due to its unique and general framework. Thus, FCA provides a framework to develop the beginning to the end all the stages involved in the way from information to knowledge and, moreover, to automatically reason about it.

There are others approaches tackling this problem and different techniques have been successfully proposed in data mining, clustering, etc. But, once the task has been covered, usually other areas have to be taken into account to work with the inferred knowledge.

However, a great difference between these approaches and FCA is that the last one look for all the knowledge enclosed in the system. Thus, in these areas the word approximate is commonly used whereas FCA demands semantic completeness as a critical requirement. Obviously, this situation induces a higher complexity and it is unavoidable to treat with significant concept lattice or long implicational systems. Nevertheless, a big number of works have brought classical FCA closer to applications be means of the development of more efficient methods and techniques.

A big number of new applications demand a higher expressive power. One question that is already out in the open is the built of a generalization to integrate imprecise information. For instance we would like to make the system more flexible so that instead of ensuring that a patient has a symptom or he doesn't have it, we would like to specify our belief about the degree in which the symptom is presented. The main answer to this problem is the extension of the formal context (dataset) to consider many-valued attributes. This change implies a new development of the full framework, from the implication inference to the logic used to manage them. The development of such logic was the main goal of our previous TIN project.

The second issued demanded in expressiveness are related with the fact that up to now FCA works deal with the presence of an attribute in an object, i.e., the validated information. However, only a few numbers of researchers has tried to incorporate the absence of an attribute in an object. Thus an affirmation such that "if a patient has the X symptom, the disease Y has to be consider in the diagnostic" could be enriched to add that "and at the same time the Z disease has not to be considered". This novel generalization constitutes the second issue of this proposal. We will study aspect related with knowledge discovering, knowledge representation, its manipulation and automated reasoning.

The general aim of this proposal is to incorporate in the information the degree of believe and their absence. We are going to extend all the elements involved in the FCA framework to get a more general and richer one to be used in real applications.

Keywords

Formal Concept Analysis, Logic, Implicational Systems, Inaccurate, Negations.

Results

Publications in journals.
1. Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets.
Galois connections between a fuzzy preordered structure and a general fuzzy structure.
IEEE Transactions on Fuzzy Systems, DOI: 10.1109/TFUZZ.2017.2718495.

Factor de impacto en JCR 2016: 7,671.Posición en el ranking: 4a de 133 (Q1)

CiteScore Rank (SCOPUS) 2016: Posición 2a de 210 (Q1)

2. Estrella Rodríguez-Lorenzo, Kira Adaricheva, Pablo Cordero, Manuel Enciso, Ángel Mora.

Formation of the D-Basis from implicational system using Simplification Logic.

International Journal of General Systems, 46(5): 547-568, 2017.

Factor de impacto en JCR 2016: 2,490. Posición en el ranking: 22a de 104 (Q1)

CiteScore Rank (SCOPUS) 2016: Posición 20a de 216 (Q1)

3. Estrella Rodríguez-Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora.

Direct optimal basis computation by means of the fusion of Simplification rules.

Discrete Applied Mathematics. Aceptado para publicación.

Factor de impacto en JCR 2016: 0,956. Posición en el ranking: 118a de 255 (Q2)

CiteScore Rank (SCOPUS) 2016: Posición 10a de 47 (Q1)

4. Estrella Rodríguez-Lorenzo, Pablo Cordero, Manuel Enciso, Ángel Mora.

Canonical dichotomous direct bases.

Information Sciences, 376: 39-53, 2017.

Factor de impacto en JCR 2016: 4,832. Posición en el ranking: 7a de 146 (Q1)

CiteScore Rank (SCOPUS) 2016: Posición 6a de 118 (Q1)

5. Fernando Benito, Pablo Cordero, Manuel Enciso, Ángel Mora.

Reducing the search space by closure and simplification paradigms.

Journal of Supercomputing, 73(1): 75-87, 2017.

Factor de impacto en JCR 2016: 1,326. Posición en el ranking: 52a de 104 (Q2)

CiteScore Rank (SCOPUS) 2016: Posición 34a de 113 (Q2)

6. Lucie Jezkova, Pablo Cordero, Manuel Enciso.

Fuzzy functional dependencies: A comparative survey.

Fuzzy Sets and Systems, 317: 88-120, 2017.

Factor de impacto en JCR 2016: 2,718. Posición en el ranking: 10a de 255 (Q1)

CiteScore Rank (SCOPUS) 2016: Posición 1a de 21 (Q1)

7. Lubomir Antoni, Inmaculada P Cabrera, Stanislav Kracji, Odrej Kridlo, Manuel Ojeda-Aciego.

The Chu construction and generalized formal concept analysis.

Journal International Journal of General Systems 46(5): 458-474, 2017.

Factor de impacto en JCR 2016: 2,490. Posición en el ranking: 22a de 104 (Q1)

CiteScore Rank (SCOPUS) 2016: Posición 20a de 216 (Q1)

8. Estrella Rodríguez-Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Ángel Mora.

An axiomatic system for conditional attribute implications in triadic concept analysis.

International Journal of Intelligent Systems, 32(8): 760-777, 2017.

Factor de impacto en JCR 2016: 2,929. Posición en el ranking: 31a de 133 (Q1)

CiteScore Rank (SCOPUS) 2016: Posición 15a de 113 (Q1)

9. Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets. On the construction of adjunctions between a fuzzy preposet and an unstructured set.

Fuzzy Sets and Systems, 320: 81-92, 2017.

Factor de impacto en JCR 2016: 2,718. Posición en el ranking: 10a de 255 (Q1)

CiteScore Rank (SCOPUS) 2016: Posición 1a de 21 (Q1)

10. Alfredo Burrieza, Inmaculada Fortes, Inmaculada Pérez de Guzmán.

Completeness of a functional system for surjective functions.

Mathematical Logic Quarterly 63(6): 574-597, 2017.

Factor de impacto en JCR 2016: 0,250. Posición en el ranking: 304a de 311 (Q4)

CiteScore Rank (SCOPUS) 2016: Posición 19a de 21 (Q4)

11. Fernando Benito, Manuel Enciso, Carlos Rossi, Antonio Guevara.

Enhancing the conversational process by using a logical closure operator in phenotypes implications

Mathematical Methods in the Applied Sciences, 41(3): 1089-1100, 2017.

Factor de impacto en JCR 2016: 1,017. Posición en el ranking: 108a de 255 (Q2)

CiteScore Rank (SCOPUS) 2016: Posición 74a de 317 (Q1)

12. José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph.

Concept lattices with negative information: A characterization theorem.

Information Sciences, 369: 51--62, 2016.

Factor de impacto en JCR 2016: 4,832. Posición en el ranking: 7a de 146 (Q1)

CiteScore Rank (SCOPUS) 2016: Posición 6a de 118 (Q1)

13. Fang-Wei Chen, Antonio Guevara, Pilar Alarcón.

Automatically extracting tourism-related opinion from Chinese social media.

Current Issues in Tourism, 20: 1070-1087, 2016.

Factor de impacto en JCR 2016: 2,451. Posición en el ranking: 12a de 45 (Q2)

CiteScore Rank (SCOPUS) 2016: Posición 44a de 586 (Q1)

14. Joanna Golinska-Pilarek, Emilio Muñoz, Ángel Mora.

Tableau reductions: Towards an optimal decision procedure for the modal necessity.

J. Applied Logic 17: 14-24, 2016.

Factor de impacto en JCR 2016: 0,838. Posición en el ranking: 5a de 21 (Q1)

CiteScore Rank (SCOPUS) 2016: Posición 8a de 21 (Q2)

15. José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora.

Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis.

Mathematical Methods in the Applied Sciences, 39(16): 4829-4845, 2016.

Factor de impacto en JCR 2016: 1,017. Posición en el ranking: 108a de 255 (Q2)

CiteScore Rank (SCOPUS) 2016: Posición 74a de 317 (Q1)

16. Radim Belohlavek, Pablo Cordero, Ángel Mora, Manuel Enciso, Vilem Vychodil.

Automated Prover for Attribute Dependencies in Data with Grades.

International Journal of Approximate Reasoning, 70: 51--67, 2016.

Factor de impacto en JCR 2015: 1,726. Posición en el ranking: 23a de 130 (Q1)

CiteScore Rank (SCOPUS) 2016: Posición 34a de 398 (Q1)

17. Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi.

Knowledge discovery in social networks by using a logic-based treatment of implications.

Knowledge-Based Systems, 87: 16-25, 2015.

Factor de impacto en JCR 2015: 3,325. Posición en el ranking: 17a de 130 (Q1)

CiteScore Rank (SCOPUS) 2015: Posición 4a de 69 (Q1)

18. Salvador Merino, Javier Martínez, Francisco Guzmán.

Metadomotic optimization using genetic algorithms.

Applied Mathematics and Computation, 267: 170-178, 2015.

Factor de impacto en JCR 2015: 1,345. Posición en el ranking: 54a de 254 (Q1)

CiteScore Rank (SCOPUS) 2015: Posición 76a de 402 (Q1)

19. Estrella Rodríguez-Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego.

From Implicational Systems to Direct-Optimal bases: A Logic Approach.

Applied Mathematics & Information Sciences, 9(2L): 305--317, 2015.

Factor de impacto en JCR 2013: 1,232. Posición en el ranking: 53a de 250 (Q1)

CiteScore Rank (SCOPUS) 2015: Posición 49a de 119 (Q2)

20. Eugenio Roanes, José Luis Galán, Gabriel Aguilera.

A portable knowledge-based system for car breakdown evaluation.

Applied Mathematics and Computation 267: 758-770, 2015.

Factor de impacto en JCR 2015: 1,345. Posición en el ranking: 54a de 254 (Q1)

CiteScore Rank (SCOPUS) 2015: Posición 76a de 402 (Q1)

21. Fernando Benito, Pablo Cordero, Manuel Enciso, Ángel Mora.

Minimal generators, an affordable approach by means of massive computation.

Journal of Supercomputing. En revisión.

Factor de impacto en JCR 2016: 1,326. Posición en el ranking: 52a de 104 (Q2)

CiteScore Rank (SCOPUS) 2016: Posición 34a de 113 (Q2)

22. Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets. On the existence of right adjoints for surjective mappings between fuzzy structures. Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications. CEUR Workshop Proceedings 1624: 97-108 (2016)

CiteScore Rank (SCOPUS) 2016: Posición 171a de 191 (Q4)

23. Estrella Rodríguez-Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Angel Mora: CAISL: Simplification Logic for Conditional Attribute Implications. Proceedings of The Thirteenth International Conference on Concept Lattices and Their Applications. CEUR Workshop Proceedings 1624: 337-348 (2016)

CiteScore Rank (SCOPUS) 2016: Posición 171a de 191 (Q4)

24. Lubomir Antoni, Inma P. Cabrera, Stanislav Kracji, Odrej Kridlo, Manuel Ojeda-Aciego. Using the Chu Construction for generalizing formal concept analysis. Proceedings of The 12th International Conference on Concept Lattices and Their Applications, CEUR Workshop Proceedings 1466: 147-158 (2015)

CiteScore Rank (SCOPUS) 2016: Posición 171a de 191 (Q4)

25. Estrella Rodríguez-Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Angel Mora: From an Implicational System to its Corresponding D-basis. Proceedings of The 12th International Conference on Concept Lattices and Their Applications, CEUR Workshop Proceedings 1466: 217-228 (2015)

CiteScore Rank (SCOPUS) 2016: Posición 171a de 191 (Q4)

26. Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego. On Closure Systems and Adjunctions Between Fuzzy Preordered Sets. Lecture Notes in Computer Science, 9113: 114-127 (2015)

CiteScore Rank (SCOPUS) 2016: Posición 110a de 191 (Q3)

27. José Luis Leiva, Antonio Guevara, Carlos Rossi. RAMCAT: Modelo para generar recomendaciones en un sistema de realidad aumentada contextual basándose en las preferencias del turista. PASOS. Revista de Turismo y Patrimonio Cultural, 13(3): 645-664 (2015)

índices de Impacto: SCHOLAR METRICS 2016 14/19; CAPES QUALIS 2015 B1-B2; ICDS MIAR 2016 9.6

28. José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora: Optimization in Engine Design via Formal Concept Analysis using Negative Attributes. Computer Science & Information Technology (CS & IT) DOI: 10.5121/csit.2016.60115 (2016)

Book chapters/proceedings.

1. Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: Towards relational fuzzy adjunctions . 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). DOI: 10.1109/FUZZ-IEEE.2017.8015677 ISBN: 978-1-5090-6034-4

2. Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: Relational fuzzy Galois connections. 2017 Joint 17th World Congress of International the Fuzzy Systems Association and 9th International Conference on Soft Computing and Intelligent Systems (IFSA-SCIS). DOI: 10.1109/IFSA-SCIS.2017.8023288 ISBN:978-1-5090-4917-2

3. Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: Galois connections in computational intelligence: A short survey. 2017 IEEE Symposium Series on Computational Intelligence, IEEE-SSCI 2017. DOI: 10.1109/SSCI.2017.8285310 ISBN: 978-1-5386-2726-6

4. Fernando Benito, Pablo Cordero, Manuel Enciso, Ángel Mora: Closed sets enumeration: a logical approach. Proceedings of the 17th International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2017: 287-292. ISBN: 978-84-617-8694-7

5. Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: Relation-based Galois-connections: towards the residual of a relation. Proceedings of the 17th International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2017: 469-475. ISBN: 978-84-617-8694-7

6. Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: Characterizing the existence of residual for a morphism between a fuzzy preposet and an unordered fuzzy structure. Proceedings of Symposia on Mathematical Techniques Applied to Data Analysis and Processing, SMATAD 2017: 17-19. ISBN: 978-84-697-3370-7

7. Estrella Rodríguez-Lorenzo, Pablo Cordero, Manuel Enciso, Ángel Mora: Simplification Logic as the tool to build efficiently direct bases in Formal Concept Analysis. Proceedings of Symposia on Mathematical Techniques Applied to Data Analysis and Processing, SMATAD 2017: 23-26. ISBN: 978-84-697-3370-7

8. Pablo Cordero, Manuel Enciso, Ángel Mora, José Manuel Rodríguez-Jiménez: Inference of mixed information in Formal Concept Analysis. Proceedings of the 9th European Symposium on Computational Intelligence and Mathematics, ESCIM 2017: En revisión para publicación por Springer.

9. Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: The natural embedding of fuzzy preposet and its residual mapping. Proceedings of the 16th International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2016: 289-295. ISBN: 978-84-608-6082-2

10. Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: On fuzzy relations, adjunctions, and functional fuzzy relations. 2016 IEEE Symposium Series on Computational Intelligence, IEEE-SSCI 2016: 1- 7. DOI: 10.1109/SSCI.2016.7850149 ISBN: 978-1-5090-4240-1

11. Pablo Cordero, Manuel Enciso, Ángel Mora, José Manuel Rodríguez-Jiménez: Manipulating Positive and Negative Attributes in Implications. Proceedings of the 8th European Symposium on Computational Intelligence and Mathematics, ESCIM 2016: 43-48. ISBN: 978-84-617-5119-8

12. Fernando Benito, Manuel Enciso, Carlos Rossi, Antonio Guevara: Conversational recommendation to avoid the cold-start problem. Proceedings of the 16th International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2016: 184-190. ISBN: 978-84-608-6082-2

13. José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora: Analyzing criminal networks using Formal Concept Analysis with negative attributes. Proceedings of the 16th International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2016: 1076-1086. ISBN: 978-84-608-6082-2

14. Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego: Multilattices and residuated multilattices: generalizing the lattice theory. Proceedings of the XXIV Congress on Differential Equations and Applications / XIV Congress on Applied Mathematics, CEDYA-CMA 2015: 309-314. ISBN 978-84-9828-527-7

15. Estrella Rodríguez-Lorenzo, Pablo Cordero, Manuel Enciso, Ángel Mora: Dichotomous sets of implications and directness. Proceedings of the 7th European Symposium on Computational Intelligence and Mathematics, ESCIM 2015: 186-191. ISBN: 978-84-608-2823-5

16. Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego: Constructing right adjoints between fuzzy preordered sets. Actas de la XVI Conferencia de la Asociación Española para la Inteligencia Artificial, CAEPIA 2015: 439-447. ISBN: 978-84-608-4099-2

17. Fernando Benito, Pablo Cordero, Manuel Enciso, Ángel Mora: Keys for the fusion of heterogeneous information. Proceedings of the 15th International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2015: 201-211. ISBN: 978-84-617-2230-3

18. Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego: On the definition of fuzzy adjunction. Proceedings of the XXIV Congress on Differential Equations and Applications / XIV Congress on Applied Mathematics, CEDYA-CMA 2015: 307-308. ISBN 978-84-9828-527-7

19. Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: On Fuzzy Preordered Sets and Monotone Galois Connections. 2015 IEEE Symposium Series on Computational Intelligence, IEEE-SSCI 2015: 990-994. DOI: 10.1109/SSCI.2015.144 ISBN: 978-1-4799-7560-0

20. Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego: On the notion of fuzzy adjunction between fuzzy orders. Proceedings of the 15th International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2015: 267-274.

ISBN: 978-84-617-2230-3

21. José Manuel Rodríguez-Jiménez, Estrella Rodríguez-Lorenzo, Pablo Cordero, Manuel Enciso, Angel Mora: A Normal Form for Fuzzy Functional Dependencies. 2015 IEEE Symposium Series on Computational Intelligence, IEEE-SSCI 2015: 984-989. DOI: 10.1109/SSCI.2015.143 ISBN: 978-1-4799-7560-0

22. José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora: Extending FuzAtAnalyzer to approach the management of classical negation. Proceedings of the 15th International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2015: 956-964. ISBN 978-84-617-2230-3

23. José Manuel Rodríguez-Jiménez, Estrella Rodríguez-Lorenzo, Pablo Cordero, Manuel Enciso, Ángel Mora: Fuzzy functional dependencies and direct bases. Actas de la XVI Conferencia de la Asociación Española para la Inteligencia Artificial, CAEPIA 2015: 655-664. ISBN: 978-84-608-4099-2

24. FranciscoValverde-Albacete, CarmenPeláez-Moreno, Inma P. Cabrera, PabloCordero, ManuelOjeda-Aciego. Formal independence analysis. Procedings of the International Conference on Information Processing and Management of Uncertainty in Knowlegde-Bases IPMU, 2018. Accepted and it will be published in Communications in Computer and Information Science (CCIS) with Springer.

25. Pablo Cordero, Manuel Enciso, and Ángel Mora. Directness in Fuzzy Formal Concept Analysis, 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2018. Accepted and it will be published in Communications in Computer and Information Science (CCIS) with Springer.

Tesis doctorales relacionadas con el proyecto.

Nombre: Francisca García Pardo

Directora: Inma P. Cabrera

Título: Conexiones de Galois y Técnicas de Tratamiento de la Información. Galois Connections and Information Processing Techniques.

Organismo: Universidad de Málaga

Finalizada

Nombre: José Manuel Rodríguez-Jiménez Jiménez

Director: Pablo Cordero

Título: Extracción de conocimiento usando atributos negativos en el Análisis de Conceptos Formales. Aplicaciones en la Ingeniería. Knowledge extraction using negative attributes in Formal Concept Analysis. Engineering Applications.

Organismo: Universidad de Málaga

Finalizada

Nombre: Estrella Rodríguez-Lorenzo Lorenzo

Director: Pablo Cordero, Ángel Mora

Título: Un enfoque lógico a los sistemas de implicaciones y las bases directas. A logic-based approach to deal with implicational systems and direct bases.

Organismo: Universidad de Málaga

Finalizada

Nombre: Fernando Benito Picazo

Director: Manuel Enciso, Carlos Rossi

Título: Las implicaciones como base de la manipulación inteligente del conocimiento.

Organismo: Universidad de Málaga

En marcha

Supported by

Spanish Ministry of Science and Innovation and co-financed with FEDER funds.

Research Team

• Aguayo Maldonado, Andrés.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

•  Aguilera Venegas, Gabriel.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Atencia Arcas, Manuel.
  INRIA Grenoble Rhône-Alpes (Montbonnot, Grenoble, France)

•  (I.P.) Cordero Ortega, Pablo José.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• David, Jérôme.
  INRIA Grenoble Rhône-Alpes (Montbonnot, Grenoble, France)

•  de las Peñas Cabrera, Inmaculada.
  Dpto. Matemática Aplicada. Universidad de Málaga.

•  Enciso García-Oliveros, Manuel Nicolás.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

•  Guevara Plaza, Antonio.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

•  Gutiérrez Barranco, Gloria.
  Dpto. Matemática Aplicada. Universidad de Málaga.

•  Martínez del Castillo, Javier.
  Dpto. Matemática Aplicada. Universidad de Málaga.

•  Mora Bonilla, Ángel.
  Dpto. Matemática Aplicada. Universidad de Málaga.

•  Pérez de Guzmán Molina, Inmaculada.
  Dpto. Matemática Aplicada. Universidad de Málaga.

• Rodríguez Lorenzo, Estrella.
  Dpto. Matemática Aplicada. Universidad de Málaga.

•  Rossi Jiménez, Carlos.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

Abstract

Many different solutions for both the treatment of uncertainty in relational databases and management of data stored in semi-structured warehouses have been proposed so far. Nevertheless, there is no consensus on the way to treat uncertainty in semi-structured environments yet. This lack of consensus arises at the very basic research level and accordingly in the application of this research. Thus we believe that it is necessary to develop a formal framework where to integrate the existing approaches for treatment of uncertain information stored in semi-structured environments so as to build a generalized theory.

We plan to work within this formal framework to extend current research with both theoretical and practical solutions, and the development of new methods, techniques and tools. We will use soft-computing techniques for this aim. More specifically, our goal is threefold:

• 1. To study the mathematical foundations that will allow us to have a uniform treatment of uncertainty when data have diverse characteristics: structured and semi-structured data, huge amounts of data provided by scientific devices, data stored in several heterogeneous sources, etc. Our purpose is to focus not only on the way data is stored but also to incorporate uncertainty in the management of data. Formal Concept Analysis and their fuzzy extensions will play a significant role in the study of these mathematical foundations.

• 2. To design logics and inference systems which will give us the possibility to reason with several kinds of dependencies and associations. These logics and their inference systems will be based on the fuzzy and crisp logics already developed by our research group and will provide means for the treatment of fuzzy functional dependencies. We will pay special attention to relations among data, and not only to the data itself. Our goal is to provide tools which capture the semantic of the data. In this point we will generalize the dependency theory for the semantic web and, particularly, for RDF Schemes.

• 3. To build software tools to provide a technological solution for realistic problems, such as data integration and their efficient management. We want to develop a method for the unified treatment of heterogeneous data warehouses based on ontologies and formal concept analysis. Besides that, we also want to establish a basis for the design of tools to query, optimize and get services from databases. This design will be based on data mining techniques and automated reasoning over data with uncertainty.

Keywords

Executable Logics, Automatic Reasoning, Semi-structured Data, Lattice Theory.

Results

[ABEGS12] Manuel Atencia, Alexander Borgida, Jérôme Euzenat, Chiara Ghidini, Luciano Serafini: A formal semantics for weighted ontology mappings. The Semantic Web, ISWC 2012, 11th International Semantic Web Conference. Lecture Notes in Computer Science 7649: 17–33 (2012). CORE B.

[ACDL14] Manuel Atencia, Michel Chein, Madalina Croitoru, Jérôme David, Michel Leclère, Nathalie Pernelle, Fatiha Saïs, François Scharffe, Danai Symeonidou: Defining Key Semantics for the RDF Datasets: Experiments and Evaluations. ICCS 2014. Lecture Notes in Computer Science 8577: 65-78 (2014). CORE B.

[ADE14] Manuel Atencia, Jérôme David, Jérôme Euzenat: Data interlinking through robust linkkey extraction. ECAI 2014. Frontiers in Artificial Intelligence and Applications, 263: 15-20 (2014). CORE A.

[ADS12] Manuel Atencia, Jérôme David, Francois Scharffe. Keys and pseudo-keys detection for web datasets cleansing and interlinking. Knowledge Engineering and Knowledge Management - 18th International Conference, EKAW 2012. Lecture Notes in Computer Science, 7603:144–153 (2012). CORE B.

[AGMR14a] Gabriel Aguilera Venegas, José Luis Galán García, Enrique Mérida Casermeiro, Pedro Rodríguez Cielos: An accelerated-time simulation of baggage traffic in an airport terminal. Mathematics and Computers in Simulation 104: 58-66 (2014)

[AGMR14b] Gabriel Aguilera Venegas, José Luis Galán García, José Manuel García, Enrique Mérida Casermeiro, Pedro Rodríguez Cielos: An accelerated-time simulation of car traffic on a motorway using a CAS. Mathematics and Computers in Simulation 104: 21-30 (2014)

[ALR15] Mustafa Al-Bakri, Manuel Atencia, Steffen Lalande, Marie-Christine Rousset: Inferring Same-as Facts from Linked Data: An Iterative Import-by-Query Approach. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, AAAI 2015. CORE A*.

[AR15] Manuel Atencia, Mustafa Al-Bakri, Marie-Christine Rousset: Trust in networks of ontologies and alignments. Knowledge and Information Systems, 42 (2): 353-379 (2015) ISI-JCR Impact Factor: 1.782. Q1 – Computer Science, Information Systems.

[AS12] Manuel Atencia, Marco Schorlemmer. An interaction-based approach to semantic alignment. Journal of Web Semantics, 12:131–147 (2012) ISI-JCR Impact Factor: 2.550. Q1 – Computer Science, Artificial Intelligence; Computer Science, Information Systems; Computer Science, Software Engineering.

[BAERCM13] Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora: Quality Improvement in Data Models with SLFD-based OCL Constraints. ICSOFT 2013: 563-569. CORE B.

[BCEM14] Fernando Benito-Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora: Increasing the Efficiency of Minimal Key Enumeration Methods by Means of Parallelism. ICSOFT 2014: 512-517. CORE B.

[BCEM15] Fernando Benito-Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora: Keys for the fusion of heterogeneous information. Proceedings of the 15th International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2015: 201-211.

[BCEM16] Fernando Benito-Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora: Reducing the search space by closure and simplification paradigms: A parallel key finding method. The Journal of Supercomputing. DOI 10.1007/s11227-016-1622-1. ISI-JCR Impact Factor: 0.858. Q3 – Computer Scxience, Theory & Methods.

[BCEMV12] Radim Belohlávek, Pablo Cordero, Manuel Enciso, Ángel Mora, Vilem Vychodil: An efficient reasonig method for dependencies over similarity and ordinal data. 9th International Conference on Modeling Decisions for Artificial Intelligence, Gerona 2012. Lecture Notes in Computer Science, 7647: 408—419 (2012). CORE B.

[BCEMV16] Radim Belohlavek, Pablo Cordero, Manuel Enciso, Angel Mora, Vilem Vychodil. Automated Prover for Attribute Dependencies in Data with Grades. International Journal of Approximate Reasoning 70:51-67, (2016) ISI-JCR Impact Factor: 2.451. Q1 - Computer Science, Artificial Intelligence.

[CE14] Cordero, Pablo; Enciso, Manuel: Tableaux-like methods to compute minimal keys and algorithms to compute bases of implications with negative attributes. Seminar on Information Science. Url: http://www.inf.upol.cz/kalendar?rok=2013&typ=1 DAMOL, Palacky University, Olomuc (República Checa)

[CELMR14] Pablo Cordero, Manuel Enciso, José Luis Leiva, Ángel Mora, Carlos Rossi: Prefiltrado para sistemas de recomendación basado en lógica difusa. Spanish Conference on Fuzzy Logic and Technology, ESTYLF 2014, 109–114.

[CEM13] Pablo Cordero, Manuel Enciso, Ángel Mora: Automated Reasoning to Infer all Minimal Keys. IJCAI 2013. Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence: 817 - 823. CORE A*.

[CEMO12] Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda: Computing minimal generators from implications: A logic-guided approach. 9th International Conference Concept Lattice and their Applications 2012, Málaga. Proceedings of the 9th International Conference on Concept Lattice and Applications, 187—198 (2012)

[CEMO13a] Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego: Computing Left-Minimal Direct Basis of implications. International Conference on Concept Lattices and Their Applications. La Rochelle - Francia, CLA 2013. pp. 293 - 298.

[CEMO13b] Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego: A method to extract precise implication from context. International Conference on Computational and Mathematical Methods in Science - CMMSE 2013, pp. 437—443.

[CEMO13c] Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego: Bases via Minimal Generators. FCA4AI@IJCAI 2013: pp. 33—36.

[CEMOR14] Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego, Estrella Rodríguez-Lorenzo: A logic-based approach to compute a direct basis from implications. International Conference on Computational and Mathematical Methods on on Science and Engineering, CMMSE 2014, 331-339.

[CEMOR15] Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego, Carlos Rossi: Knowledge discovery in social networks by using a logic-based treatment of implications. Knowledge-Based Systems 87: 16-25 (2015) ISI-JCR Impact Factor: 2.947. Q1 – Computer Science, Artificial Intelligence.

[CEMP14] Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán: A tableaux-like method to infer all minimal keys. Logic Journal of the IGPL 22(6): 1019-1044 (2014) ISI-JCR Impact Factor: 0.540. Q1 - LOGIC.

[CEMR13] Pablo Cordero, Manuel Enciso, Angel Mora, José Manuel Rodríguez-Jiménez: Computing non-redundant sets of functional dependencies via simplification. 2013 IEEE Symposium Series on Computational Intelligence - FOCI: 9-14.

[CGMO12] Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego: Finitary coalgebraic multisemilattices and multilattices. Applied Mathematics and Computation, 219(1): 31-44 (2012) ISI-JCR Impact Factor: 1.349. Q1 - Mathematics, Applied.

[CGMO12] Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego: Filters and deductive systems on residuated multilattices. 10th International FLINS Conference 2012, Estambul (Turquía). Uncertainty Modeling in Knowledge Engineering and Decision Making, 690-695 (2012). CORE B.

[CGMO14] Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego: On residuation in multilattices: Filters, congruences, and homomorphisms. Fuzzy Sets and Systems 234: 1-21 (2014). ISI-JCR Impact Factor: 1.749. Q1 - Computer Science, Theory & Methods, Mathematics, Applied y Statistic & Probability.

[CGMO15] Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego: Multilattices and residuated multilattices: generalizing the lattice theory. Proceedings of the XXIV Congress on Differential Equations and Applications / XIV Congress on Applied Mathematics: 309-314 (2015).

[CGO15a] Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego: Constructing right adjoints between fuzzy preordered sets. Actas de la XVI Conferencia CAEPIA: 439-447 (2015).

[CGO15b] Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego: On the notion of fuzzy adjunction between fuzzy orders. Proceedings of the 15th International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2015: 267-274.

[CGO15c] Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego: On the definition of fuzzy adjunction. Proceedings of the XXIV Congress on Differential Equations and Applications / XIV Congress on Applied Mathematics: 307-308 (2015).

[COGB16] Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisca García, Bernard de Baets: On the construction of adjunctions between a fuzzy preposet and an unstructured set. Fuzzy Sets and Systems. Submited. ISI-JCR Impact Factor: 1.749. Q1 – Computer Science, Theory & Methods, Mathematics, Applied y Statistic & Probability.

[COP14] Inma P. Cabrera, Manuel Ojeda-Aciego, Jozef Pócs: Ordering Objects via Attribute Preferences. CLA 2014: 157-168.

[DEJ12] Jérôme David, Jérôme Euzenat, Jason Jung: Experimenting with ontology distances in semantic social networks: methodological remarks. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012, Seoul, Korea (South), pages 2909-2914. IEEE Computer Society, 2012. CORE B.

[DER12] Jérôme David, Jérôme Euzenat, Maria-Elena Rosoiu: Linked data from your pocket. Workshop on Downscaling the Semantic Web, ESWC 2012. CEUR Workshop Proceedings 844:6-13 (2012).

[ERG12] Manuel Enciso, Carlos Rossi, Antonio Guevara: A metamodel for functional dependencies. Towards a functional dependency model transformation. 7th International Joint conference on Software Paradigm Trends, ICSOFT 2012. Proceedings of the 7th International Joint conference on Software Technologies 291-296 (2012). CORE B.

[FGABMS13] Inma Fortes, María A. Galán, Gabriel Aguilera, Alfredo Burrieza, José Morones, Sixto Sánchez: A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques. Fuzzy Sets and Systems, 218:53–72 (2013). ISI-JCR Impact Factor: 1.986. Q1 - Mathematics, Applied.

[GAR14] José Luis Galán García, Gabriel Aguilera Venegas, Pedro Rodríguez Cielos: An accelerated-time simulation for traffic flow in a smart city. J. Computational Applied Mathematics 270: 557-563 (2014)

[GARG15] José L. Galán, Gabriel Aguilera, Pedro Rodríguez, María Á. Galán: A new Probabilistic Extension of Dijkstra's Algorithm to simulate more realistic traffic flow in a smart city. Applied Mathematics and Computation 267:780–789 (2015) ISI-JCR Impact Factor: 1.551. Q1 - Mathematics, Applied.

[GCO13] Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: On Galois Connections and Soft Computing. IWANN 2013. Lecture Notes in Computer Science 7903: 224-235 (2013). CORE B.

[GCO14a] Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: On Adjunctions between Fuzzy Preordered Sets: Necessary Conditions. RSCTC 2014. Lecture Notes in Computer Science 8536: 211-221. CORE C.

[GCO14b] Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: On the construction of fuzzy Galois connections. ESTYLF 2014: 99-102.

[GCO15a] Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: On Closure Systems and Adjunctions Between Fuzzy Preordered Sets. ICFCA 2015. Lecture Notes in Computer Science 9113: 114-127 (2015). CORE C.

[GCO15b] Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: On Fuzzy Preordered Sets and Monotone Galois Connections. IEEE Symposium Series on Computational Intelligence - IEEE Symposium on Foundations of Computational Intelligence. South Africa, 2015.

[GCOR14a] Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez: On the definition of suitable orderings to generate adjunctions over an unstructured codomain. Information Sciences 286: 173-187 (2014) ISI-JCR Impact Factor: 3.643. Q1 - Computer Science, Information Systems.

[GCOR14b] Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez: On the Existence of Isotone Galois Connections between Preorders. ICFCA 2014. Lecture Notes in Computer Science 8478: 67-79 (2014). CORE C.

[GCOR14c] Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez: Generating Isotone Galois Connections on an Unstructured Codomain. IPMU 2014. Communications in Computer and Information Science 444: 91-99 (2014). CORE C.

[GM12] Joana Golinska-Pilarek, Emilio Muñoz, Ángel Mora: Relational dual tableau decision procedure for modal logic K. Logic Journal of the IGPL 20(4): 747-756 (2012) ISI-JCR Impact Factor: 1.136. Q1 - Logic.

[GM13] Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora: Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K. International Joint Conference SOCO’13-CISIS’13-ICEUTE’13. Advances in Intelligent Systems and Computing 239:429-438 (2013). CORE B.

[GR12] Antonio Guevara, Carlos Rossi: Sistemas de recomendación basados en grupo para su aplicación en realidad aumentada. IX congreso Turismo y Tecnologías de la Información y Comunicaciones, 2012. Actas Turitec 2012 (ISBN 978-84-615-9946-2)

[GR14] Guevara, Antonio; Rossi, Carlos: Las TICs aplicadas a la gestión de destinos turísticos. Manual de gestión de destinos turísticos. pp. 243 - 271. Ed. Tirant lo Blanch, (2014).

[JCE16] Lucie Jezkova, Pablo Cordero, Manuel Enciso: Fuzzy functional dependencies: a comparative survey. Fuzzy Sets and Systems. To appear. ISI-JCR Impact Factor: 1.986. Q1 – Mathematics, Applied.

[LERCMG13] José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora, Antonio Guevara: Context-aware Recommendation using Fuzzy Formal Concept Analysis. ICSOFT 2013: 617-623. CORE B.

[LERCMG14] José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora, Antonio Guevara: Improving Recommender Systems with Simplification Logic to Manage Implications with Grades. Software Technologies. Communications in Computer and Information Science 457:290-305 (2014).

[LGR12] José Luis Leiva, Antonio Guevara, Carlos Rossi: Sistemas de recomendación para realidad aumentada en un sistema integral de gestión de destinos. Revista de Análisis Turístico. Vol.14: 69-81 (2012) IN~RECS 2010: Q2.

[LGR15] José Luis Leiva, Antonio Guevara, Carlos Rossi: RAMCAT: Modelo para generar recomendaciones en un sistema de realidad aumentada contextual basándose en las preferencias del turista. Pasos. Revista de Turismo y Patrimonio Cultural, 13(3): 649-668 (2015).

[LGRA13] José Luis Leiva, Antonio Guevara, Carlos Rossi, Andrés Aguayo. Sistemas de Recomendación Basados en Grupo para su Aplicación en Realidad Aumentada. Novática. 225. 63-68. 2013.

[LGRA14] José Luis Leiva, Antonio Guevara, Carlos Rossi, Andrés Aguayo: Realidad aumentada y sistemas de recomendación grupales. Estudios y perspectivas en turismo. Vol 23 (1) 2014.

[LGRCM14] José Luis Leiva, Antonio Guevara, Carlos Rossi, Pablo Cordero, Ángel Mora, Manuel Enciso: Técnicas de filtrado contextual para motores de recomendación turísticos, X Congreso de Turismo y Tecnologías de la Información y las Comunicaciones, TURITEC 2014: 8—20.

[MCEFA12] Ángel Mora, Pablo Cordero, Manuel Enciso, Inma Fortes, Gabriel Aguilera: Closure via functional dependence simplification. International Journal of Computer Mathematics. 89(4): 510-526 (2012) ISI-JCR Impact Factor: 0.542. Q3 - Mathematics, Applied.

[RACEM15] Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Angel Mora: From an Implicational System to its Corresponding D-basis. CLA 2015: 217-228.

[RBCEM14] Estrella Rodríguez-Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora: The Direct-optimal Basis via Reductions. CLA 2014. CEUR Workshop Proceedings 1252:145-156 (2104).

[RBCEM15] José Manuel Rodríguez-Jiménez, Estrella Rodríguez-Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora: Fuzzy functional dependencies and direct bases. Actas de la XVI Conferencia CAEPIA: 655-664, (2015).

[RBCEMO15] Estrella Rodríguez-Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego: From Implicational Systems to Direct-Optimal bases: A Logic-based Approach. Appl. Math 9 (2L), 305-317 (2015). ISI-JCR Impact Factor: 1,232. Q1 - Mathematics, Applied.

[RCEM13] José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora: Automated Inference with Fuzzy Functional Dependencies over Graded Data. IWANN 2013. Lecture Notes in Computer Science 7903: 254-265 (2013). CORE B.

[RCEM14a] 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. CEUR Workshop Proceedings 1252: 267-278 (2014).

[RCEM14b] José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora: Negative Attributes and Implications in Formal Concept Analysis. ITQM 2014. Procedia Computer Science 31: 758-765 (2014).

[RCEM15a] José Manuel Rodríguez-Jiménez, Estrella Rodríguez, Pablo Cordero, Manuel Enciso, Ángel Mora: A Normal Form for Fuzzy Functional Dependencies. IEEE Symposium Series on Computational Intelligence - IEEE Symposium on Foundations of Computational Intelligence. South Africa, 2015.

[RCEM15b] José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora: Extending FuzAtAnalyzer to approach the management of classical negation. Proceedings of the 15th International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2015: 956-964.

[RCEM15c] Estrella Rodríguez-Lorenzo, Pablo Cordero, Manuel Enciso, Ángel Mora: Dichotomous sets of implications and directness. Proceedings of the 7th European Symposium on Computational Intelligence and Mathematics. ESCIM 2015: 186-191.

[RCEM16a] José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora: Data mining algorithms to computemixed concepts with negative attributes: an application to breast cancer data analysis. Mathematical Methods in the Applied Sciences. DOI: 10.1002/mma.3814. ISI-JCR Impact Factor: 0.918. Q2 – Mathematics, Applied.

[RCEM16b] José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora: Optimization in Engine Design via Formal Concept Analysis using Negative Attributes. Proceedings of The Fourth International Conference on Control, Modelling, Computing and Applications 2016. ArXiv preprint arXiv:1601.01807

[RCEM16c] Estrella Rodríguez-Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Ángel Mora: An axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis. International Journal of Intelligent Systems. Subbmited. ISI-JCR Impact Factor: 1.886. Q2 - Computer Science, Artificial Intelligence.

[RCEM16d] Estrella Rodríguez-Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Ángel Mora: Dichotomous sets of implications and directness. Information Sciences. Submitted. ISI-JCR Impact Factor: 4.038. Q1 – Computer Science, Information Systems.

[RCER16] José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph: Concept lattices with negative information. A characterization theorem. Information Sciences. Submitted. ISI-JCR Impact Factor: 4.038. Q1 – Computer Science, Information Systems.

[RGA15] Eugenio Roanes-Lozano, José L. Galán-García, Gabriel Aguilera-Venegas: A Portable Knowledge-Based System for Car Breakdown Evaluation. Applied Mathematics and Computation 267: 758–770 (2015). ISI-JCR Impact Factor: 1.551. Q1 - Mathematics, Applied.

TIN2011-28084

Uncertainty management in distributed semi-structured informati

Supported by

Spanish Ministry of Science and Innovation and co-financed with FEDER funds.

Research Team

•  Aguayo Maldonado, Andrés.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

•  Aguilera Venegas, Gabriel.
  Dpto. Matemática Aplicada. Universidad de Málaga.

•  (I.P.) Cordero Ortega, Pablo José.
  Dpto. Matemática Aplicada. Universidad de Málaga.

•  de las Peñas Cabrera, Inmaculada.
  Dpto. Matemática Aplicada. Universidad de Málaga.

•  Enciso García-Oliveros, Manuel Nicolás.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

•  Guevara Plaza, Antonio.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

•  Gutiérrez Barranco, Gloria.
  Dpto. Matemática Aplicada. Universidad de Málaga.

•  Martínez del Castillo, Javier.
  Dpto. Matemática Aplicada. Universidad de Málaga.

•  Mora Bonilla, Ángel.
  Dpto. Matemática Aplicada. Universidad de Málaga.

•  Pérez de Guzmán Molina, Inmaculada.
  Dpto. Matemática Aplicada. Universidad de Málaga.

•  Rossi Jiménez, Carlos.
  Dpto. Lenguajes y CC. de la Computación. Universidad de Málaga.

Abstract

This project is a further step in the development of inference methods. The research team have been working in the field of automated reasoning for more than 15 years. In this period of time, we have designed a set of new logics, inference systems and automated methods. Most of them are non-classical logics (temporal, modal and probabilistic logics) and some of them are proper subsets of the classical logic (functional dependencies logics). In this project we have focussed on the notion of dependence among data, but opening the field from the relational model to the semi-structured data.

Since the relational model has a strong definition and a formal basis, the concept of dependence has been established and well studied. This concept in semi-structured data is usually defined by extending the classical (relational) functional dependency. In this project, we have in mind that the hierarchical model underlies the semi-structured data. We have studied the algebraic structure suitable to consider the knowledge provided by data and dependencies among them, but also the information provided by paths. The results concerning multilattices and multisemilattices have provided a formal framework to develop methods to deal with dependencies in semi-structured data. This framework has been shown to be useful for the design of automated inference systems in fuzzy environments.

These theoretical results have practical benefits. Besides the advantage of having a formal framework for the development of executable logics for dependencies, these automated methods are used to enrich a new CASE tool named CBD. The heart of CBD is the information contained in an XML database, which store the meta-data. Our methods are used to depurate the XML database and to produce a reduction in the metadata, which are used to generate a relational model with the data specified by the user.

Keywords

Executable Logics, Automatic Reasoning, Semi-structured Data, Lattice Theory.

References

[A.1] P. Cordero, A. Mora, M. Enciso, and I. Pérez de Guzmán. Non-deterministic ideal operators: An adequate tool for formalization in data bases. Discrete Applied Mathematics, 156(6):911–923, 2008.

Factor de impacto en ISI-JCR 2008: 0,783

Factor de impacto en SJR 2009: 0.051, H Index: 35

[A.2] J. L. Caro, G. Corpas, J. Trujillo, M. R. Bautista, A. Guevara, and A. Aguayo. A new multilingual authoring tool of semiestructured legal documents. Revista de traductología, 12: 259–276, 2008.

[A.3] J. Golinska-Pilarek, A. Mora, and E. Muñoz. An ATP of a relational proof system for order of magnitude reasoning with negligibility, non-closeness and distance. Lecture Notes In Computer Science, 5351: 128 – 139, 2008.

[A.4] J. L. Leiva, J. L. Caro, and A. Guevara. Reingeniería y workflow: Exinus una herramienta cooperativa para el desarrollo de sistemas de información. Revista ibérica de Sistemas y Tecnologías de Información, 1: 28–39, 2008.

[A.5] A. Burrieza, A. Mora, M. Ojeda-Aciego, and E. Orlowska. An implementation of a dual tableaux system for order-of-magnitud qualitative reasoning. International Journal of Computer Mathematics, 86(10–11):1852–1866, 2009.

Factor de impacto en ISI-JCR 2009: 0,478

[A.6] I. P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego. Congruence relations on some hyperstructures. Annals of Mathematics and Artificial Intelligence, 56(3-4):361--370, 2009.

Factor de impacto en ISI-JCR 2009: 0,893.

Factor de impacto en SJR 2009: 0.058, H Index: 27

[A.7] I. P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego. Fuzzy congruence relations on nd-groupoids. International Journal on Computer Mathematics, 86:1684–1695, 2009.

Factor de impacto en ISI-JCR 2009: 0,478

[A.8] P. Cordero, M. Enciso, A. Mora, and I. Pérez de Guzmán. A complete logic for fuzzy functional dependencies over domains with similarity relations. Lecture Notes In Computer Science, 5517: 261 – 269, 2009.

[A.9] J.L. Galán, G. Aguilera, P. Rodríguez, Y. Padilla, and M.A. Galán. Random distributions.mth: Random samples from distributions with derive. The Derive Newsletter, 75:22–43, 2009.

[A.10] J. P. Peña, J. M. Romero, G. Aguilera, and A. Goldsmith. Performance comparison of mrc and ic under transmit diversity. IEEE Transactions on Wireless Communications, 8:2484–2493, 2009.

Factor de impacto en ISI-JCR 2009: 2,181.

Factor de impacto en SJR 2009: 0.099, H Index: 75

[A.11] G. Aguilera, J.L. Galán, R. Madrid, A.M. Martínez, P. Rodríguez, and Y. Padilla. Automated generation of contrapuntal musical compositions using probabilistic logic in derive. Mathematics and Computers in Simulation 80(6): 1200-1211, 2010.

Factor de impacto en ISI-JCR 2009: 0,930.

Factor de impacto en SJR 2009: 0.051, H Index: 30

[A.12] A. Burrieza, I. Pérez de Guzmán, and E. Muñoz. Analyzing completeness of axiomatic functional systems for temporal x modal logics. Mathematical Logic Quarterly, 56(1):89– 102, 2010.

Factor de impacto en ISI-JCR 2009: 0.523

Factor de impacto en SJR 2009: 0.036, H Index: 13

[A.13] A. Burrieza, I. Pérez de Guzmán, and E. Muñoz. Functional systems in the context of temporal x modal logics with indexed flows. International Journal of Computer Mathematics, 86(10–11):1696 –1706, 2010.

Factor de impacto en ISI-JCR 2009: 0,478

[A.14] I. P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, and M. Ojeda-Aciego. A coalgebraic approach to non-determinism: applications to multilattices. Information Sciences, 180(22):4323--4335, 2010.

Factor de impacto en ISI-JCR 2009: 3,291

Factor de impacto en SJR 2009: 0.088, H Index: 54

[A.15] E. Muñoz, A. Mora, and J. Golinska-Pilarek. A relational theorem prover for modal logic K. International Journal of Computer Mathematics, 2010. DOI:10.1080/00207160.2010.493211.

Factor de impacto en ISI-JCR 2009: 0,478

[A.16] A. Mora, I. Pérez de Guzmán, M. Enciso, and P. Cordero. Ideal Non-deterministic Operators as a Formal Framework to Reduce the Key Finding Problem. International Journal of Computer Mathematics, 2010. DOI: 10.1080/00207160.2010.484488.

Factor de impacto en ISI-JCR 2009: 0,478

[A.17] P. Cordero, M. Enciso, A. Mora, I. Pérez de Guzmán. Closure via Functional Dependencie Simplification. International Journal of Computer Mathematics, Submitted.

Factor de impacto en ISI-JCR 2009: 0,478

[A.18] P. Cordero, A. Mora, M. Enciso, and I. Pérez de Guzmán. Reasoning with constraints in XML. International Journal of Software Engineering and Knowledge Engineering, Submitted.

Factor de impacto en ISI-JCR 2009: 0,327

Factor de impacto en SJR 2009: 0.035, H Index: 19

[A.19] J. Golinska-Pilarek, E. Muñoz, A. Mora. Relational dual tableaux decision procedure for modal logic K. Logic Journal of the IGPL, 2010. DOI: doi:10.1093/jigpal/jzr019.

Factor de impacto en ISI-JCR 2009: 0,320

Factor de impacto en SJR 2009: 0.036, H Index: 8

[A.20] E. Muñoz, A. Mora, and J. Golinska-Pilarek. Implementing a relational theorem prover for modal logic K. International Journal of Computer Mathematics, 2010. DOI: 10.1080/00207160.2010.493211

Factor de impacto en ISI-JCR 2009: 0,478

[A.21] I. P. Cabrera, P. Cordero, and M. Ojeda-Aciego. Fuzzy logic, soft computing, and applications. IWANN 2009. volume 5517 of Lecture Notes in Computer Science, pages 261–269. Springer, 2009.

[B.1] P. Cordero, G. Gutiérrez, J. Martínez, S. Merino, and F. Rodríguez. Algebraic topics on discrete mathematics, pages 41–90. Discrete mathematics research progress, 2008.

[C.1] A. L. Carrillo, J. Falgueras, J. A. Dianes, A. Guevara. A guided interface for web interaction. In Proceedings of ICEIS 2008 - 10TH International Conference On Enterprise Information Systems., pages 70--77, 2008.

Caracter: Internacional.

Indexado en CORE ranking: C.

Indexado en CiteSeer Ranking de 2007 en el puesto 400 de 581.

Indexado en Conference Ranking by the School of Computer Engineering, Nanyang University, Singapore: C.

[C.2] P. Cordero, G. Gutiérrez, J. Martínez, M. Ojeda-Aciego, and I. P. Cabrera. Congruence relations on multilattices. In Intl FLINS Conference on Computational Intelligence in Decision and Control, FLINS'08, pages 139--144, 2008.

Caracter: Internacional.

Indexado en CORE ranking: B.

[C.3] J. Golinska-Pilarek, A. Mora, and E. Muñoz. An ATP of a relational proof system for order of magnitude reasoning with negligibility, non-closeness and distance. PRICAI 2010 - Lecture Notes In Computer Science, volume 5351, pages 128--139, 2008.

Caracter: Internacional.

Indexado en CORE ranking: B.

Indexado en ARNETMINER Ranking, FI 1182.

Indexado en el AI Conference Ranking.

[C.4] I. P. Cabrera, P. Cordero, and M. Ojeda-Aciego. Fuzzy logic, soft computing, and applications. IWANN 2009. Lecture Notes in Computer Science, volume 5517, pages 233--244. Springer, 2009.

Caracter: Internacional.

Indexado en CORE ranking: B.

Indexado en el CiteSeer Ranking de 2007 en el puesto 293 de 581.

Indexado en el AI Conference Ranking.

[C.5] P. Cordero, M. Enciso, A. Mora, I. Pérez de Guzmán. A complete logic for fuzzy functional dependencias over domains with similarity relations. IWANN 2009. Lecture Notes In Computer Science, volume 5517, pages 261--269, 2009.

Caracter: Internacional.

Indexado en CORE ranking: B.

Indexado en el CiteSeer Ranking de 2007 en el puesto 293 de 581.

Indexado en el AI Conference Ranking.

[C.6] C. Rossi, A. Guevara, M. Enciso, J.L. Caro, A. Mora, P. Cordero. A tool for user-guided database application development. Automatic Design of XML Models using CBD. 5th International Conference on Software and Data Technologies. ICSOFT, 2010.

Caracter: Internacional.

Indexado en CORE ranking: C.

[C.7] I.P. Cabrera, P. Cordero, M. Ojeda-Aciego. Non-deterministic algebraic structures for soft computing. IWANN 2011. Lecture Notes In Computer Science, to appear, 2011.

Caracter: Internacional.

Indexado en CORE ranking: B.

Indexado en el CiteSeer Ranking de 2007 en el puesto 293 de 581.

Indexado en el AI Conference Ranking.

[C.8] P. Cordero, A. Mora, I. Pérez de Guzmán, M. Enciso and J.M. Rodríguez-Jiménez. An efficient algorithm for reasoning about fuzzy functional dependencies. IWANN 2011. Lecture Notes In Computer Science, to appear, 2011.

Caracter: Internacional.

Indexado en CORE ranking: B.

Indexado en el CiteSeer Ranking de 2007 en el puesto 293 de 581.

Indexado en el AI Conference Ranking.

[C.9] G. Aguilera, J.L. Galán, Y. Padilla, P. Rodríguez. Developing propositional classical logic automated theorem provers for education. In Fifth Computer Algebra in Mathematics Education Symposium, 2007.

[C.10] A. Guevara. Tecnologías e innovación en la gestión empresarial. In La actividad turística española en 2007, pages 215 -- 228, 2007.

[C.11] A. Guevara, J. L. Caro, J. L. Leiva, and J. L. Gómez. I. comis: Cooperative methodology for information systems. In Proceedings of ENC'2007 Advances in Computer Science, pages 81--87, 2007.

[C.12] A. Aguayo, J. L. Caro, and A. Guevara. Sistemas de información de destinos turísticos integrados. In I Jornadas de investigación en turismo., pages 199--206, 2008.

[C.13] G. Aguilera, J.L. Galán, A. Gálvez, A.J. Jiménez, Y. Padilla, P. Rodríguez. Tableaux.mth: Semantic tableaux for propositional logic with derive. In International Conference on Applications of Computer Algebra, 2008.

[C.14] A. L. Carrillo, J. Falgueras, J. A. Dianes, and A. Guevara. Goal driven interaction for web applications. In Proceedings of Internet and Multimedia Systems and Applications, pages 88--93, 2008.

[C.15] J. L. Caro A. Guevara. The green card (targeta verda): A tourist card for the balearic islands. In Etourism: Case Studies, pages 342-349, 2008.

[C.16] P. Cordero, G. Gutiérrez, J. Martínez, M. Ojeda-Aciego, I. P. Cabrera. Congruence relations on hypergroupoids and nd-groupoids. In XIV Spanish Conference on Fuzzy Logic and Technology, pages 127--132, 2008.

[C.17] P. Cordero, G. Gutiérrez, J. Martínez, M. Ojeda-Aciego, I. P. Cabrera. Fuzzy congruence relations on nd-groupoids. In Intl Conference on Mathematical Methods in Science and Engineering, CMMSE'08, pages 151--159, 2008.

[C.18] P. Cordero, A. Mora, M. Enciso, G. A., I. Pérez de Guzmán. Reasoning about fuzzy functional dependencies. In XIV Spanish Conference on Fuzzy Logic and Technology, pages 121--126, 2008.

[C.19] P. Díaz, A. Guevara, A. Aguayo, J. L. Caro. Descubriendo las razones para introducir el comercio electrónico en la web de destinos turísticos. In TURITEC, pages 189--200, 2008.

[C.20] A. Guevara. La web 2.0 y su aplicación al sector turístico. In Travel 2.0. Bit, pages 38 -- 40, 2008.

[C.21] A. Mora, E. Muñoz, and J. Golinska-Pilarek. Axiomatic functional systems for temporal x modal logics. In International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE 2008), pages 721 --736, 2008.

[C.22] G. Aguilera, P. Cordero, I. Pérez de Guzmán, M. Enciso, A. Mora. Functional dependencies: From the algebraic formalization to the applications. In Congreso de la Real Sociedad Matemática Española, 2009.

[C.23] G. Aguilera, A. Fernández, J.L. Galán, E. Mérida, A. Mora, P. Rodríguez. Scilab and maxima environment: Towards free software in numerical analysis. In International Conference on Applications of Computer Algebra, 2009.

[C.24] A. Aguayo, A. Guevara, and J. L. Caro. Buenas prácticas de teleformación en las diez universidades andaluzas. In Buenas prácticas de teleformación en las diez universidades andaluzas, pages 199--206, 2009.

[C.25] G. Aguilera, J.L. Galán, Y. Padilla, P. Rodríguez. Generating random samples from continues and discrete distributions with derive. In International Conference on Applications of Computer Algebra, 2009.

[C.26] G. Aguilera, J.L. Galán, Y. Padilla, P. Rodríguez. Implementation of a probabilistic logic with both precise and imprecise connectives in a cas. In International Conference on Applications of Computer Algebra, 2009.

[C.27] A. Burrieza, A. Mora, M. Ojeda-Aciego, E. Orlowska. Implementing a relational system for order of magnitude reasoning. In International Conference on Computational and Mathematical Methods in Science and Engineering, volume 86, pages 93--102, 2009.

[C.28] I. P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, M. Ojeda-Aciego. On congruences and homomorphisms on some non-deterministic algebras. In n Proceedings of the International Join Conference on Computational Intelligence, pages 59--67, 2009.

[C.29] I. P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, M. Ojeda-Aciego. On congruences, ideals and homomorphisms over multilattices. In In EUROFUSE Workshop Preference Modelling and Decision Analysis, pages 299--304, 2009.

[C.30] P. Cordero, A. Mora, M. Enciso, I. Pérez de Guzmán. Computing minimal keys using lattice theory. In Computational and Mathematical Methods in Science and Engineering, pages 288--299, 2009.

[C.31] A. Guevara, J. L. Leiva, and J. L. Caro. Work flow as a tool in the development of information systems. In Social Managerial and organizational dimensions of enterprise information systems, pages 255 -- 271, 2009.

[C.32] J. Golinska-Pilarek, A. Mora, and E. Muñoz. A new decision procedure for modal logic K. In International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE 2009), pages 537-- 548, 2009.

[C.33] A. Mora, E. Muñoz, and J. Golinska-Pilarek. REPMLK: A relational prover for modal logic k. In International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE 2009), pages 743 -- 754, 2009.

[C.34] I. P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, M. Ojeda-Aciego. On fuzzy homomorphisms between hyperrings. In XV Congreso Español Sobre Tecnologías Y Lógica Fuzzy - ESTYLF 2010, 2010.

[C.35] P. Cordero, A. Mora, M. Enciso, I. Pérez de Guzmán. A complete logic for fuzzy functional dependencias over t-norms. In XV Congreso Español Sobre Tecnologías y Lógica Fuzzy - ESTYLF 2010, 2010.

[C.36] M. Enciso, P. Cordero, A. Mora, and I. Pérez de Guzmán. Schema integration from relation to xml using dependencies. In Technical Report, 2010.

[C.37] A. Guevara, J.L. Caro, A. Aguayo, C. Rossi, J. L. Leiva. Sistema integrado de gestión de destinos. TURITEC 2010 : VIII Congreso Nacional Turismo y Tecnologías de la Información y las Comunicaciones, pages 353—369. 2010.

[C.38] A. Mora, M. Enciso, P. Cordero, and I. Pérez de Guzmán. Fd-simplification rule: a tool for removing controlling redundancy. Submitted to International Conference Computational and Mathematical Methods in Science and Engineering, 2011.

[C.39] A. Mora, M. Enciso, P. Cordero, I. Pérez de Guzmán, J.M. Rodríguez-Jiménez. Specification and inference of fuzzy attributes. IEEE Symposium on Foundations of Computational Intelligence organized in IEEE Symposium Series in Computational Intelligence 2011