LEADER 05925nam 2200649 a 450 001 9910767571203321 005 20200520144314.0 024 7 $a10.1007/b105806 035 $a(CKB)1000000000212732 035 $a(SSID)ssj0000317698 035 $a(PQKBManifestationID)11246702 035 $a(PQKBTitleCode)TC0000317698 035 $a(PQKBWorkID)10294159 035 $a(PQKB)11765661 035 $a(DE-He213)978-3-540-32262-7 035 $a(MiAaPQ)EBC3068010 035 $a(PPN)123091853 035 $a(EXLCZ)991000000000212732 100 $a20041229d2005 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal concept analysis $ethird international conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings /$fBernhard Ganter, Robert Godin (eds.) 205 $a1st ed. 2005. 210 $aBerlin ;$aNew York $cSpringer$dc2005 215 $a1 online resource (XI, 419 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3403.$aLecture notes in artificial intelligence 300 $a"Proceedings of ICFCA 2005, the 3rd International Conference on Formal Concept Analysis ... held at the Universite d'Artois, Lens, France"--Pref. 311 08$aPrinted edition: 9783540245254 320 $aIncludes bibliographical references and index. 327 $aTowards Generic Pattern Mining -- Conceptual Exploration of Semantic Mirrors -- Towards a Formal Concept Analysis Approach to Exploring Communities on the World Wide Web -- Automatic Selection of Noun Phrases as Document Descriptors in an FCA-Based Information Retrieval System -- Combining Spatial and Lattice-Based Information Landscapes -- Explaining the Structure of FrameNet with Concept Lattices -- Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering -- Navigation Spaces for the Conceptual Analysis of Software Structure -- Restructuring Help Systems Using Formal Concept Analysis -- An Application of FCA to the Analysis of Aeronautical Incidents -- Characterization and Armstrong Relations for Degenerate Multivalued Dependencies Using Formal Concept Analysis -- Formal Concept Analysis Constrained by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm for Generating Closed Sets of a Binary Relation -- Uncovering and Reducing Hidden Combinatorics in Guigues-Duquenne Bases -- A Parallel Algorithm for Lattice Construction -- Using Intermediate Representation Systems to Interact with Concept Lattices -- Crisply Generated Fuzzy Concepts -- Triadic Concept Graphs and Their Conceptual Contents -- Alpha Galois Lattices: An Overview -- A Finite State Model for On-Line Analytical Processing in Triadic Contexts -- Complete Subalgebras of Semiconcept Algebras and Protoconcept Algebras -- Coherence Networks of Concept Lattices: The Basic Theorem -- Turing Machine Representation in Temporal Concept Analysis -- Protoconceptual Contents and Implications -- Planarity of Lattices -- Bialgebraic Contexts for Distributive Lattices ? Revisited -- Which Concept Lattices Are Pseudocomplemented?. 330 $aThis volume contains the Proceedings of ICFCA 2005, the 3rd International Conference on Formal Concept Analysis. The ICFCA conference series aims to be the premier forum for the publication of advances in applied lattice and order theory, and in particular scienti?c advances related to formal concept analysis. Formal concept analysis is a ?eld of applied mathematics with its mat- matical root in order theory, in particular in the theory of complete lattices. Researchers had long been aware of the fact that these ?elds have many - tential applications. Formal concept analysis emerged in the 1980s from e?orts to restructure lattice theory to promote better communication between lattice theorists and potential users of lattice theory. The key theme was the mathe- tization of concept and conceptual hierarchy. Since then, the ?eld has developed into a growing research area in its own right with a thriving theoretical com- nity and an increasing number of applications in data and knowledge processing, including data visualization, information retrieval, machine learning, data an- ysis and knowledge management. ICFCA2005re?ectedbothpracticalbene?tsandprogressinthefoundational theory of formal concept analysis. Algorithmic aspects were discussed as well as e?orts to broaden the ?eld. All regular papers appearing in this volume were refereed by at least two, in most cases three independent reviewers. The ?nal decision to accept the papers was arbitrated by the Program Chairs based on the referee reports. It was the involvement of the Program Committee and the Editorial Board that ensured the scienti?c quality of these proceedings. 410 0$aLecture notes in computer science ;$v3403. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence. 517 3 $aICFCA 2005 606 $aLattice theory$vCongresses 606 $aComprehension (Theory of knowledge)$vCongresses 606 $aArtificial intelligence$xMathematical models$vCongresses 606 $aLogic, Symbolic and mathematical$vCongresses 606 $aInformation theory$vCongresses 615 0$aLattice theory 615 0$aComprehension (Theory of knowledge) 615 0$aArtificial intelligence$xMathematical models 615 0$aLogic, Symbolic and mathematical 615 0$aInformation theory 676 $a511.3/3 701 $aGanter$b Bernhard$0117759 701 $aGodin$b Robert$cPh.D.$01756907 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910767571203321 996 $aFormal concept analysis$94194436 997 $aUNINA