Formal Concept Analysis: Foundations and Applications (Lecture Notes in Computer Science, 3626)

✍ Scribed by Bernhard Ganter (editor), Gerd Stumme (editor), Rudolf Wille (editor)

Publisher: Springer
Year: 2005
Tongue: English
Leaves: 359
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

Formal 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.

✦ Table of Contents

Frontmatter
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
Backmatter

📜 SIMILAR VOLUMES

Formal Concept Analysis: Foundations and

📁 Formal Concept Analysis: Foundations and Applications

✍ Rudolf Wille (auth.), Bernhard Ganter, Gerd Stumme, Rudolf Wille (eds.) 📂 Library 📅 2005 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Formal 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 succe

Applications of Uncertainty Formalisms (

📁 Applications of Uncertainty Formalisms (Lecture Notes in Computer Science, 1455)

✍ Anthony Hunter (editor) 📂 Library 📅 1998 🏛 Springer 🌐 English

An introductory review of uncertainty formalisms by the volume editors begins the volume. The first main part of the book introduces some of the general problems dealt with in research. The second part is devoted to case studies; each presentation in this category has a well-delineated applica

[Lecture Notes in Computer Science] Form

📁 [Lecture Notes in Computer Science] Formal Concept Analysis Volume 3874 || The Assessment of Knowledge, in Theory and in Practice

✍ Missaoui, Rokia; Schmidt, Jürg 📂 Library 📅 2006 🏛 Springer Berlin Heidelberg

Foundations of Security Analysis and Des

📁 Foundations of Security Analysis and Design: Tutorial Lectures (Lecture Notes in Computer Science, 2171)

✍ Riccardo Focardi (editor), Roberto Gorrieri (editor) 📂 Library 📅 2001 🏛 Springer 🌐 English

Security is a rapidly growing area of computer science, with direct and increasing relevance to real life applications such as Internet transactions, electronic commerce, information protection, network and systems integrity, etc. This volume presents thoroughly revised versions of lectures gi

Leveraging Applications of Formal Method

📁 Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

✍ Tiziana Margaria (editor), Bernhard Steffen (editor) 📂 Library 📅 2021 🏛 Springer 🌐 English

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications

Leveraging Applications of Formal Method

📁 Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science, 13036)

✍ Tiziana Margaria (editor), Bernhard Steffen (editor) 📂 Library 📅 2021 🏛 Springer 🌐 English

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applic