05102nam 22007335 450 99646627180331620200702153751.03-642-01815-710.1007/978-3-642-01815-2(CKB)1000000000746044(SSID)ssj0000317697(PQKBManifestationID)11208034(PQKBTitleCode)TC0000317697(PQKBWorkID)10293672(PQKB)11501661(DE-He213)978-3-642-01815-2(MiAaPQ)EBC3064195(PPN)13630110X(EXLCZ)99100000000074604420100301d2009 u| 0engurnn|008mamaatxtccrFormal Concept Analysis[electronic resource] 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /edited by Sébastien Ferré, Sebastian Rudolph1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (XII, 341 p.) Lecture Notes in Artificial Intelligence ;5548Bibliographic Level Mode of Issuance: Monograph3-642-01814-9 Invited 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.This 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.Lecture Notes in Artificial Intelligence ;5548Mathematical logicAlgebraArtificial intelligenceSoftware engineeringData miningMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Algebrahttps://scigraph.springernature.com/ontologies/product-market-codes/M11000Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Data Mining and Knowledge Discoveryhttps://scigraph.springernature.com/ontologies/product-market-codes/I18030Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Mathematical logic.Algebra.Artificial intelligence.Software engineering.Data mining.Mathematical Logic and Foundations.Algebra.Artificial Intelligence.Software Engineering.Data Mining and Knowledge Discovery.Mathematical Logic and Formal Languages.511.3Ferré Sébastienedthttp://id.loc.gov/vocabulary/relators/edtRudolph Sebastianedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466271803316Formal Concept Analysis772457UNISA