000 04085nam a22005775i 4500
001 978-3-540-31881-1
003 DE-He213
005 20201213200830.0
007 cr nn 008mamaa
008 100928s2005 gw | s |||| 0|eng d
020 _a9783540318811
_9978-3-540-31881-1
024 7 _a10.1007/978-3-540-31881-1
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
100 1 _aGanter, Bernhard.
_eeditor.
245 1 0 _aFormal Concept Analysis
_h[electronic resource] :
_bFoundations and Applications /
_cedited by Bernhard Ganter, Gerd Stumme, Rudolf Wille.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2005.
300 _aX, 349 p. Also available online.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v3626
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aComputational complexity.
650 0 _aInformation storage and retrieval systems.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aSoftware Engineering.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aInformation Storage and Retrieval.
700 1 _aStumme, Gerd.
_eeditor.
700 1 _aWille, Rudolf.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540278917
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v3626
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-540-31881-1
912 _aZDB-2-SCS
912 _aZDB-2-LNC
950 _aComputer Science (Springer-11645)
999 _c13828
_d13828