LEADER 04308nam 2200673 a 450 001 9910483593103321 005 20200520144314.0 010 $a3-540-31881-X 010 $a3-540-27891-5 024 7 $a10.1007/978-3-540-31881-1 035 $a(CKB)1000000000213145 035 $a(SSID)ssj0000323210 035 $a(PQKBManifestationID)11272571 035 $a(PQKBTitleCode)TC0000323210 035 $a(PQKBWorkID)10299382 035 $a(PQKB)10506551 035 $a(DE-He213)978-3-540-31881-1 035 $a(MiAaPQ)EBC3067531 035 $a(PPN)149015364 035 $a(EXLCZ)991000000000213145 100 $a20050615d2005 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aFormal concept analysis $efoundations and applications /$fBernhard Ganter, Gerd Stumme, Rudolf Wille (eds.) 205 $a1st ed. 2005. 210 $aBerlin $cSpringer$d2005 215 $a1 online resource (X, 349 p.) 225 1 $aLecture notes in artificial intelligence : subseries of Lecture notes in computer science,$x0302-9743 ;$v3626 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540278917 320 $aIncludes bibliographical references and index. 327 $aFoundations -- Formal Concept Analysis as Mathematical Theory of Concepts and Concept Hierarchies -- Semiconcept and Protoconcept Algebras: The Basic Theorems -- Features of Interaction Between Formal Concept Analysis and Algebraic Geometry -- From Formal Concept Analysis to Contextual Logic -- Contextual Attribute Logic of Many-Valued Attributes -- Treating Incomplete Knowledge in Formal Concept Analysis -- States, Transitions, and Life Tracks in Temporal Concept Analysis -- Applications -- Linguistic Applications of Formal Concept Analysis -- Using Concept Lattices for Text Retrieval and Mining -- Efficient Mining of Association Rules Based on Formal Concept Analysis -- Galois Connections in Data Analysis: Contributions from the Soviet Era and Modern Russian Research -- Conceptual Knowledge Processing in the Field of Economics -- Software Engineering -- A Survey of Formal Concept Analysis Support for Software Engineering Activities -- Concept Lattices in Software Analysis -- Formal Concept Analysis Used for Software Analysis and Modelling -- Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development -- The ToscanaJ Suite for Implementing Conceptual Information Systems. 330 $aFormal concept analysis has been developed as a field of applied mathematics based on the mathematization of concept and concept hierarchy. It thereby allows us to mathematically represent, analyze, and construct conceptual structures. The formal concept analysis approach has been proven successful in a wide range of application fields. This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and its applications. The first part of the book is devoted to foundational and methodological topics. The contributions in the second part demonstrate how formal concept analysis is successfully used outside of mathematics, in linguistics, text retrieval, association rule mining, data analysis, and economics. The third part presents applications in software engineering. 410 0$aLecture notes in computer science ;$v3626. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence. 606 $aLattice theory 606 $aComprehension (Theory of knowledge) 606 $aLogic, Symbolic and mathematical 606 $aInformation theory 606 $aArtificial intelligence$xMathematical models 615 0$aLattice theory. 615 0$aComprehension (Theory of knowledge) 615 0$aLogic, Symbolic and mathematical. 615 0$aInformation theory. 615 0$aArtificial intelligence$xMathematical models. 676 $a511.3/3 701 $aGanter$b Bernhard$0117759 701 $aStumme$b Gerd$f1967-$0980151 701 $aWille$b Rudolf$055209 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483593103321 996 $aFormal concept analysis$94198541 997 $aUNINA