- RIUMA Principal
- Listar por autor
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, Ángel; 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, Ángel; 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, Ángel (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, Ángel (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. ...