ICFCA
13 years 11 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...
ICFCA
13 years 11 months ago
2004 Springer  ICFCA
13 years 11 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...
ICFCA
13 years 11 months ago
2004 Springer 
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis first steps are done into the direction of a conceptual theory of ...
ICFCA
13 years 11 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...
|
Formal Methods