Search
Now showing items 1-2 of 2
Article
Verification of the Formal Concept Analysis
(Real Academia de Ciencias, 2004)
This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to represent and formally verify some algorithms of this theory. We also develop a method to transform ...
Presentation
Bounded Rationality for Data Reasoning based on Formal Concept Analysis
(IEEE, 2011)
Formal Concept Analysis (FCA) is a theory whose goal is to discover and extract Knowledge from qualitative data. It also provides tools for sound reasoning (implication basis and association rules). The aim of this paper ...