06670nam 22007335 450 99646601370331620200705112024.010.1007/b105806(CKB)1000000000212732(SSID)ssj0000317698(PQKBManifestationID)11246702(PQKBTitleCode)TC0000317698(PQKBWorkID)10294159(PQKB)11765661(DE-He213)978-3-540-32262-7(MiAaPQ)EBC3068010(PPN)123091853(EXLCZ)99100000000021273220101221d2005 u| 0engurnn|008mamaatxtccrFormal Concept Analysis[electronic resource] Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings /edited by Robert Godin, Bernhard Ganter1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XI, 419 p.) Lecture Notes in Artificial Intelligence ;3403"Proceedings of ICFCA 2005, the 3rd International Conference on Formal Concept Analysis ... held at the Université́́ d'Artois, Lens, France"--Pref.Printed edition: 9783540245254 Includes bibliographical references and index.Towards 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?.This 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.Lecture Notes in Artificial Intelligence ;3403Artificial intelligenceComputer science—MathematicsMathematical logicSoftware engineeringInformation storage and retrievalArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Discrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032ICFCAFormal concept analysisArtificial intelligence.Computer science—Mathematics.Mathematical logic.Software engineering.Information storage and retrieval.Artificial Intelligence.Discrete Mathematics in Computer Science.Mathematical Logic and Formal Languages.Software Engineering.Information Storage and Retrieval.006.3Godin Robertedthttp://id.loc.gov/vocabulary/relators/edtGanter Bernhardedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466013703316Formal Concept Analysis772457UNISA