000 04422nam a22006375i 4500
001 978-3-540-31881-1
003 DE-He213
005 20240423130122.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 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aFormal Concept Analysis
_h[electronic resource] :
_bFoundations and Applications /
_cedited by Bernhard Ganter, Gerd Stumme, Rudolf Wille.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aX, 349 p.
_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 Artificial Intelligence,
_x2945-9141 ;
_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 _aArtificial intelligence.
650 0 _aSoftware engineering.
650 0 _aMachine theory.
650 0 _aComputer science
_xMathematics.
650 0 _aDiscrete mathematics.
650 0 _aInformation storage and retrieval systems.
650 1 4 _aArtificial Intelligence.
650 2 4 _aSoftware Engineering.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aInformation Storage and Retrieval.
700 1 _aGanter, Bernhard.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aStumme, Gerd.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aWille, Rudolf.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540278917
776 0 8 _iPrinted edition:
_z9783540861195
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v3626
856 4 0 _uhttps://doi.org/10.1007/978-3-540-31881-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c185245
_d185245