• A generalized framework to consider positive and negative attributes in formal concept analysis 

      Rodríguez Jiménez, Jose Manuel; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Angel (2014-10-23)
      In Formal Concept Analysis the classical formal context is analized taking into account only the positive information, i.e. the presence of a property in an object. Nevertheless, the no presence of a property in an object ...
    • A logic-based approach to compute a direct basis from implications 

      Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Angel; Ojeda-Aciego, Manuel; Rodríguez-Lorenzo, Estrella (2014-09-19)
      Formal Concept Analysis is an emergent area in the topic of data analysis based on lattice theory. In this framework, a context is defined as the relation between a set of objects and a set of attributes and from here it ...
    • CAISL: Simplification Logic for Conditional Attribute Implications 

      Mora-Bonilla, Angel; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Rodríguez-Lorenzo, Estrella; Missaoui, Nokia (2016-07-25)
      In this work, we present a sound and complete axiomatic system for conditional attribute implications (CAIs) in Triadic Concept Analysis (TCA). Our approach is strongly based on the Simplification paradigm which offers a ...
    • Caracterización de un equipo de tomografía por emisión de positrones 

      Guerrero Pertíñez, María del Pilar (2017-02-09)
      En este trabajo fin de grado se evalúan los parámetros más relevantes del rendimiento de un escáner de tomografía por emisión de positrones (PET), dedicado a la imagen de animal pequeño. Para ello se han seguido los ...
    • Clasificación y respuesta automática de correos electrónicos mediante herramientas de análisis de datos 

      Ruiz Luque, José Manuel (2020-11-17)
      Con este estudio nuestro objetivo es reducir el tiempo de trabajo de los empleados de una empresa, haciendo que se centren en la respuesta a correos más individualizados mientras que los correos generales se respondan ...
    • Extending FuzAtAnalyzer to approach the management of classical negation 

      Rodríguez-Jiménez, J.M.; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Angel (2015-09-16)
      FuzAtAnalyzer was conceived as a Java framework which goes beyond of classical tools in formal concept analysis. Specifically, it successfully incorporated the management of uncertainty by means of methods and tools from ...
    • From an implicational system to its corresponding D-basis 

      Rodríguez-Lorenzo, Estrella; Adaricheva, Kira; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Angel (2015-10-30)
      Closure system is a fundamental concept appearing in several areas such as databases, formal concept analysis, artificial intelligence, etc. It is well-known that there exists a connection between a closure operator on a ...
    • Inference of mixed information in Formal Concept Analysis 

      Mora-Bonilla, Angel; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Rodríguez, Jose Manuel (2017-10-10)
      Negative information can be considered twofold: by means of a negation operator or by capturing the absence of information. In this second approach, a new framework have to be developed: from the syntax to the semantics, ...
    • Removing redundancy for attribute implications in data with grades 

      Mora-Bonilla, Angel; Rodriguez-Lorenzo, Estrella; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel (Cristina Alcalde, Humberto Bustince, Francisco Javier Fernández, 2016)
      Reasoning with if-then rules –in particular, with those taking from of implications between conjunctions of attributes– is crucial in many disciplines ranging from theoretical computer science to applications. One of the ...
    • The direct-optimal basis via reductions 

      Rodríguez-Lorenzo, Estrella; Bertet, Karell; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Angel (2014-10-23)
      Formal Concept Analysis has become a real approach in the trend Information-Knowledge-Wisdom. It turns around the mining of a data set to built a concept lattice which provides an strong structure of the knowledge. ...
    • Un enfoque lógico a los sistemas de implicaciones y las bases directas 

      Rodriguez-Lorenzo, Estrella (UMA Editorial, 2017-06-20)
      El tratamiento de la información y el conocimiento es uno de los muchos campos en los que confluyen los métodos matemáticos y computacionales. Una de las áreas donde encontramos de forma clara esta concurrencia es en el ...