126
click to vote
ICFCA
15 years 6 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...
114
click to vote
ICFCA
15 years 6 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...
112
click to vote
ICFCA
15 years 6 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...
110
click to vote
ICFCA
15 years 6 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...
104
Voted
ICFCA
15 years 6 months ago
2004 Springer  |
Formal Methods