• 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 ...
    • 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 ...
    • 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. ...