Formal concept analysis : 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, proceedings / Dominik Dürrschnabel, Domingo López Rodríguez, editors.
Material type:
TextSeries: Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 13934. | LNCS sublibrary. SL 7, Artificial intelligence.Publisher: Cham : Springer, [2023]Copyright date: ©2023Description: 1 online resource (xxviii, 199 pages) : illustrations (some color)Content type: - text
- computer
- online resource
- 9783031359491
- 3031359496
- ICFCA 2023
- Computer science -- Mathematics -- Congresses
- Logic, Symbolic and mathematical -- Congresses
- Formal methods (Computer science) -- Congresses
- Informatique -- Mathématiques -- Congrès
- Logique symbolique et mathématique -- Congrès
- Méthodes formelles (Informatique) -- Congrès
- Computer science -- Mathematics
- Formal methods (Computer science)
- Logic, Symbolic and mathematical
- 004.01/51 23/eng/20230712
- QA76.9.M35
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
International conference proceedings.
Includes author index.
This book constitutes the proceedings of the 17th International Conference on Formal Concept Analysis, ICFCA 2023, which took place in Kassel, Germany, in July 2023. The 13 full papers presented in this volume were carefully reviewed and selected from 19 submissions. The International Conference on Formal Concept Analysis serves as a platform for researchers from FCA and related disciplines to showcase and exchange their research findings. The papers are organized in two topical sections, first "Theory" and second "Applications and Visualization".
Theory: Approximating fuzzy relation equations through concept lattices -- Doubly-Lexical Order Supports Standardisation and Recursive Partitioning of Formal Context -- Graph-FCA Meets Pattern Structures -- On the commutative diagrams among Galois connections involved in closure structures -- Scaling Dimension -- Three Views on Dependency Covers from an FCA Perspective -- A Triadic Generalisation of the Boolean Concept Lattice -- Applications and Visualization: Computing witnesses for centralising monoids on a three-element set -- Description Quivers for Compact Representation of Concept Lattices and Ensembles of Decision Trees -- Examples of clique closure systems -- On the maximal independence polynomial of the covering graph of the hypercube up to n=6 -- Relational Concept Analysis in Practice: Capitalizing on Data Modeling using Design Patterns -- Representing Concept Lattices with Euler Diagrams.
Online resource; title from PDF title page (SpringerLink, viewed July 12, 2023).