141
click to vote
ICFCA
15 years 7 months ago
2004 Springer 
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
129
Voted
ICFCA
15 years 7 months ago
2004 Springer 
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...
128
click to vote
ICFCA
15 years 7 months ago
2004 Springer 
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...
124
click to vote
ICFCA
15 years 7 months ago
2004 Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
|
Formal Methods