LEADER 05102nam 22007335 450 001 996466271803316 005 20200702153751.0 010 $a3-642-01815-7 024 7 $a10.1007/978-3-642-01815-2 035 $a(CKB)1000000000746044 035 $a(SSID)ssj0000317697 035 $a(PQKBManifestationID)11208034 035 $a(PQKBTitleCode)TC0000317697 035 $a(PQKBWorkID)10293672 035 $a(PQKB)11501661 035 $a(DE-He213)978-3-642-01815-2 035 $a(MiAaPQ)EBC3064195 035 $a(PPN)13630110X 035 $a(EXLCZ)991000000000746044 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Concept Analysis$b[electronic resource] $e7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /$fedited by Sébastien Ferré, Sebastian Rudolph 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XII, 341 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v5548 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-01814-9 327 $aInvited Talks -- Usability Issues in Description Logic Knowledge Base Completion -- Concept Lattice Orbifolds ? First Steps -- The Advent of Formal Diagrammatic Reasoning Systems -- The Logic of Learning -- What Can Formal Concept Analysis Do for Data Warehouses? -- Time and Logic: A.N. Prior?s Formal Analysis of Temporal Concepts -- Can Ontology Inform Ontologies? -- Theory -- Factor Analysis of Incidence Data via Novel Decomposition of Matrices -- A Unified Hierarchy for Functional Dependencies, Conditional Functional Dependencies and Association Rules -- Robust Elements in Rough Set Abstractions -- Some Computational Problems Related to Pseudo-intents -- Algorithms -- Exploring Finite Models in the Description Logic -- Yet a Faster Algorithm for Building the Hasse Diagram of a Concept Lattice -- Context Graphs ? Representing Formal Concepts by Connected Subgraphs -- Handling Large Formal Context Using BDD ? Perspectives and Limitations -- Applications -- A Novel Approach to Cell Formation -- Identifying Ecological Traits: A Concrete FCA-Based Approach -- A Concept Lattice-Based Kernel for SVM Text Classification -- Two FCA-Based Methods for Mining Gene Expression Data -- Ontology-Based Formal Concept Differences Analysis in Radiology Report Impact by the Adoption of PACS -- Revisiting the Potentialities of a Mechanical Thesaurus -- FCA-Based Two Dimensional Pattern Matching -- History -- RESTRUCTURING LATTICE THEORY: AN APPROACH BASED ON HIERARCHIES OF CONCEPTS. 330 $aThis book constitutes the refereed proceedings of the 7th International Conference on Formal Concept Analysis, ICFCA 2009, held in Darmstadt, Germany, in May 2009. The 15 revised full papers presented were carefully reviewed and selected from 29 submissions for inclusion in the book. The papers comprise state of the art research and present new results in Formal Concept Analysis and related fields. These results range from theoretical novelties to advances in FCA-related algorithmic issues, as well as application domains of FCA such as data visualization, information retrieval, machine learning, data analysis and knowledge management. 410 0$aLecture Notes in Artificial Intelligence ;$v5548 606 $aMathematical logic 606 $aAlgebra 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aData mining 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aAlgebra$3https://scigraph.springernature.com/ontologies/product-market-codes/M11000 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aData Mining and Knowledge Discovery$3https://scigraph.springernature.com/ontologies/product-market-codes/I18030 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aMathematical logic. 615 0$aAlgebra. 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aData mining. 615 14$aMathematical Logic and Foundations. 615 24$aAlgebra. 615 24$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aData Mining and Knowledge Discovery. 615 24$aMathematical Logic and Formal Languages. 676 $a511.3 702 $aFerré$b Sébastien$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRudolph$b Sebastian$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466271803316 996 $aFormal Concept Analysis$9772457 997 $aUNISA