Listar por autor "Rodríguez-Lorenzo, Estrella"
Mostrando ítems 1-4 de 4
-
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. ...