Conference papers accepted

European Symposium on Computational Intelligence and Mathematics (ESCIM), Toledo, 2019.


  1. N. Madrid and M. Ojeda-Aciego. Some relationships between the notions of f-inclusion and f-contradiction.
    ABSTRACT In this paper we analyse the relationships between the notions of f-inclusion and f-weak-contradiction. In particular, we present some theoretical results that relate both notions by means of negation operators (used to define complements of fuzzy sets) and Galois connections
  2. O. Krídlo, M. Ojeda-Aciego, T. Put, and M. Reformat. On some categories underlying knowledge graphs.
    ABSTRACT This paper proposes a method to provide a categorical structure for RDF-based data representing descriptions of entities. This is the first step towards our aim to further develop the underlying categorical structure so that we can eventually provide an internal logic which enables us to focus on analysis of properties of entities.
  3. P. Cordero, M. Enciso, A. Mora, M. Ojeda-Aciego, and C. Rossi. Interactive search by means of the minimal generators.
    ABSTRACT If-then rules are frequently used as basic elements for knowledge representation in several areas. In Formal Concept Analysis, these rules are the so-called implications and can be used to find minimal generators in a symbolic way by using logic. The computation of all minimal generators is exponential. Here, we provide a novel lazy algorithm with polynomial delay in which minimal generators are used as forks in a map to guide an interactive search..

CMMSE'19

Intl Conf on Computational and Mathematical methods in Science and Engineering. Rota, July 1-5, 2019


Three members of the group attended CMMSE this year, where we organised a special session on "
Mathematical Models for Computer Science".

session

Domingo López (left) presented Recommendations in CDSS using Fuzzy Formal Concept Analysis, and Nicolás Madrid (right) presented Towards a measure of inclusion from the index of inclusion between fuzzy sets.

domin nico

Last but not least, J.M. Rodríguez (left) presented Analysing patterns in false documents with Formal Concept Analysis to detect forgers, and Manuel Ojeda (right) presented Relational Galois connections between fuzzy t-digraphs.
kiko manolo