LEADER 04830nam 22008655 450 001 9910483079403321 005 20251226203212.0 010 $a3-540-32204-3 024 7 $a10.1007/11671404 035 $a(CKB)1000000000232812 035 $a(SSID)ssj0000317699 035 $a(PQKBManifestationID)11248520 035 $a(PQKBTitleCode)TC0000317699 035 $a(PQKBWorkID)10294557 035 $a(PQKB)10995801 035 $a(DE-He213)978-3-540-32204-7 035 $a(MiAaPQ)EBC3067607 035 $a(PPN)123131375 035 $a(BIP)32373964 035 $a(BIP)13248075 035 $a(EXLCZ)991000000000232812 100 $a20100419d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Concept Analysis $e4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings /$fedited by Rokia Missaoui, Jürg Schmid 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (X, 314 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v3874 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-32203-5 320 $aIncludes bibliographical references and index. 327 $aInvited Lectures -- Methods of Conceptual Knowledge Processing -- An Enumeration Problem in Ordered Sets Leads to Possible Benchmarks for Run-Time Prediction Algorithms -- Attribute Implications in a Fuzzy Setting -- The Assessment of Knowledge, in Theory and in Practice -- Regular Papers -- The Basic Theorem on Preconcept Lattices -- The Tensor Product as a Lattice of Regular Galois Connections -- Two Instances of Peirce?s Reduction Thesis -- Very Fast Instances for Concept Generation -- Negation, Opposition, and Possibility in Logical Concept Analysis -- A Note on Negation: A PCS-Completion of Semilattices -- Towards a Generalisation of Formal Concept Analysis for Data Mining Purposes -- Interactive Association Rules Discovery -- About the Family of Closure Systems Preserving Non-unit Implications in the Guigues-Duquenne Base -- Spatial Indexing for Scalability in FCA -- Homograph Disambiguation Using Formal Concept Analysis -- Using Concept Lattices to Uncover Causal Dependencies in Software -- An FCA Interpretation of Relation Algebra -- Spring-Based Lattice Drawing Highlighting Conceptual Similarity -- Characterizing Planar Lattices Using Left-Relations -- Automated Layout of Small Lattices Using Layer Diagrams -- Counting Pseudo-intents and #P-completeness. 330 $aThis book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February 2006. The 17 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the book. The papers show advances in applied lattice and order theory and in particular scientific advances related to formal concept analysis and its practical applications: data and knowledge processing including data visualization, information retrieval, machine learning, data analysis and knowledge management. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v3874 606 $aArtificial intelligence 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aMachine theory 606 $aSoftware engineering 606 $aInformation storage and retrieval systems 606 $aAlgebra 606 $aArtificial Intelligence 606 $aDiscrete Mathematics in Computer Science 606 $aFormal Languages and Automata Theory 606 $aSoftware Engineering 606 $aInformation Storage and Retrieval 606 $aOrder, Lattices, Ordered Algebraic Structures 615 0$aArtificial intelligence. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aMachine theory. 615 0$aSoftware engineering. 615 0$aInformation storage and retrieval systems. 615 0$aAlgebra. 615 14$aArtificial Intelligence. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aFormal Languages and Automata Theory. 615 24$aSoftware Engineering. 615 24$aInformation Storage and Retrieval. 615 24$aOrder, Lattices, Ordered Algebraic Structures. 676 $a006.3 701 $aMissaoui$b R$01757040 701 $aSchmid$b Ju?rg$f1944-$01757041 712 12$aInternational Conference on Formal Concept Analysis. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483079403321 996 $aFormal concept analysis$94194679 997 $aUNINA