Formal Concept Analysis : Mathematical Foundations / / by Bernhard Ganter, Rudolf Wille |
Autore | Ganter Bernhard |
Edizione | [2nd ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (375 pages) |
Disciplina |
005.73
003.54 |
Altri autori (Persone) | WilleRudolf |
Soggetto topico |
Data structures (Computer science)
Information theory Information storage and retrieval systems Information modeling Algebra Computer science - Mathematics Discrete mathematics Data Structures and Information Theory Information Storage and Retrieval Information Model Order, Lattices, Ordered Algebraic Structures Discrete Mathematics in Computer Science |
ISBN | 3-031-63422-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface to the first edition -- Preface to the second edition -- Acknowledgements -- 0. Order-theoretic foundations -- 1. Concept lattices of formal contexts -- 2. Determination and representation -- 3. Parts, factors, and bonds -- 4. Decompositions of concept lattices -- 5. Constructions of concept lattices -- 6. Properties of concept lattices -- 7. Context comparison and conceptual measurability -- 8. Contextual concept logic -- References -- Formal contexts and concept lattices in this book -- Index. |
Record Nr. | UNINA-9910878044003321 |
Ganter Bernhard | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Concept Analysis [[electronic resource] ] : Foundations and Applications / / edited by Bernhard Ganter, Gerd Stumme, Rudolf Wille |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (X, 349 p.) |
Disciplina | 511.3/3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Mathematical logic Computer science—Mathematics Information storage and retrieval Artificial Intelligence Software Engineering Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Information Storage and Retrieval |
ISBN |
3-540-31881-X
3-540-27891-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foundations -- 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. |
Record Nr. | UNISA-996465782403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal concept analysis : foundations and applications / / Bernhard Ganter, Gerd Stumme, Rudolf Wille (eds.) |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, : Springer, 2005 |
Descrizione fisica | 1 online resource (X, 349 p.) |
Disciplina | 511.3/3 |
Altri autori (Persone) |
GanterBernhard
StummeGerd <1967-> WilleRudolf |
Collana | Lecture notes in artificial intelligence : subseries of Lecture notes in computer science |
Soggetto topico |
Lattice theory
Comprehension (Theory of knowledge) Logic, Symbolic and mathematical Information theory Artificial intelligence - Mathematical models |
ISBN |
3-540-31881-X
3-540-27891-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foundations -- 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. |
Record Nr. | UNINA-9910483593103321 |
Berlin, : Springer, 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|