Conceptual Exploration / / by Bernhard Ganter, Sergei Obiedkov |
Autore | Ganter Bernhard |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 315 p. 148 illus.) |
Disciplina | 006.312 |
Soggetto topico |
Data mining
Algebra Ordered algebraic structures Data Mining and Knowledge Discovery Order, Lattices, Ordered Algebraic Structures |
ISBN | 3-662-49291-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | What to expect from this book -- Concept lattices -- An algorithm for closure systems -- The canonical basis -- Attribute exploration -- Non-implicational background knowledge -- Enhancing the expressive power -- Relational Exploration -- Concept exploration. . |
Record Nr. | UNINA-9910254982003321 |
Ganter Bernhard | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Conceptual Knowledge Structures : First International Joint Conference, CONCEPTS 2024, Cádiz, Spain, September 9–13, 2024, Proceedings / / edited by Inma P. Cabrera, Sébastien Ferré, Sergei Obiedkov |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (342 pages) |
Disciplina | 003.54 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer engineering Computer networks Computer science Application software Artificial Intelligence Computer Engineering and Networks Theory of Computation Computer and Information Systems Applications |
ISBN | 3-031-67868-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Theory -- Sub-directly irreducible and semi-simple double Boolean algebras -- The Birkhoff completion of finite lattices -- Towards a generalized modus ponens based on the φ-index of inclusion -- Efficiency of fuzzy decision algorithms based on the strength of decision rules -- Comparing Relational Concept Analysis and Graph-FCA on their common ground -- Algorithms, Methods, and Resources Shapley value in classification problems with Triadic Formal Concept Analysis -- What is the intrinsic dimension of your binary data? — and how to compute it quickly -- Rearrangement of fuzzy formal contexts for reducing cost of algorithms -- What can FCA-based Boolean matrix factorization do for object-attribute biclustering -- FCAvizIR: Exploring Relational Data Set’s Implications using Metrics and Topics -- Realizability of Rectangular Euler Diagrams -- Spanning Concept Trees: Algorithms and Interaction -- A Repository for Formal Contexts -- Applications -- Conceptual Mapping of Controversies -- Conceptual Knowledge Modelling for Human-AI Teaming in Data-Frugal Industrial Environments -- Handling Knowledge over Moving Object Trajectories using Formal Concept Analysis -- Discovering the Structure of Odorants in Caenorhabditis elegans using Formal Concept Analysis -- Exploiting Formal Concept Analysis for Data Modeling in Data Lakes -- Document Classification via Stable Graph Patterns and Conceptual AMR Graphs -- Exploring Old Arabic Remedies with Formal and Relational Concept Analysis -- Enhancing JAAD with Knowledge Graphs for Improved Pedestrian Crossing Predictions -- Symbolic Artificial Intelligence for Schema Therapy using Knowledge Graphs. |
Record Nr. | UNINA-9910878990403321 |
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Concept Analysis [[electronic resource] ] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings / / edited by Raoul Medina, Sergei Obiedkov |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XII, 328 p.) |
Disciplina | 006.1 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Mathematical logic Software engineering Data mining Algebra Ordered algebraic structures Artificial Intelligence Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Software Engineering Data Mining and Knowledge Discovery Order, Lattices, Ordered Algebraic Structures |
ISBN | 3-540-78137-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Communicative Rationality, Logic, and Mathematics -- Actionability and Formal Concepts: A Data Mining Perspective -- Acquiring Generalized Domain-Range Restrictions -- A Finite Basis for the Set of -Implications Holding in a Finite Model -- Lexico-Logical Acquisition of OWL DL Axioms -- From Concepts to Concept Lattice: A Border Algorithm for Making Covers Explicit -- A Formal Context for Symmetric Dependencies -- The Number of Plane Diagrams of a Lattice -- Spectral Lattices of -Formal Contexts -- About Keys of Formal Context and Conformal Hypergraph -- An Algebraization of Linear Continuum Structures -- On the Complexity of Computing Generators of Closed Sets -- Generating Positive and Negative Exact Rules Using Formal Concept Analysis: Problems and Solutions -- On the Merge of Factor Canonical Bases -- Lattices of Rough Set Abstractions as P-Products -- Scale Coarsening as Feature Selection -- Formal Concept Analysis for the Identification of Combinatorial Biomarkers in Breast Cancer -- Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data -- Analysis of Social Communities with Iceberg and Stability-Based Concept Lattices -- Formal Concept Analysis Enhances Fault Localization in Software -- Refactorings of Design Defects Using Relational Concept Analysis -- Contingency Structures and Concept Analysis -- Comparison of Dual Orderings in Time II. |
Record Nr. | UNISA-996465946903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Concept Analysis : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings / / edited by Raoul Medina, Sergei Obiedkov |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XII, 328 p.) |
Disciplina | 006.1 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Mathematical logic Software engineering Data mining Algebra Ordered algebraic structures Artificial Intelligence Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Software Engineering Data Mining and Knowledge Discovery Order, Lattices, Ordered Algebraic Structures |
ISBN | 3-540-78137-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Communicative Rationality, Logic, and Mathematics -- Actionability and Formal Concepts: A Data Mining Perspective -- Acquiring Generalized Domain-Range Restrictions -- A Finite Basis for the Set of -Implications Holding in a Finite Model -- Lexico-Logical Acquisition of OWL DL Axioms -- From Concepts to Concept Lattice: A Border Algorithm for Making Covers Explicit -- A Formal Context for Symmetric Dependencies -- The Number of Plane Diagrams of a Lattice -- Spectral Lattices of -Formal Contexts -- About Keys of Formal Context and Conformal Hypergraph -- An Algebraization of Linear Continuum Structures -- On the Complexity of Computing Generators of Closed Sets -- Generating Positive and Negative Exact Rules Using Formal Concept Analysis: Problems and Solutions -- On the Merge of Factor Canonical Bases -- Lattices of Rough Set Abstractions as P-Products -- Scale Coarsening as Feature Selection -- Formal Concept Analysis for the Identification of Combinatorial Biomarkers in Breast Cancer -- Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data -- Analysis of Social Communities with Iceberg and Stability-Based Concept Lattices -- Formal Concept Analysis Enhances Fault Localization in Software -- Refactorings of Design Defects Using Relational Concept Analysis -- Contingency Structures and Concept Analysis -- Comparison of Dual Orderings in Time II. |
Record Nr. | UNINA-9910484219603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Concept Analysis of Social Networks / / edited by Rokia Missaoui, Sergei O. Kuznetsov, Sergei Obiedkov |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XVIII, 195 p. 38 illus., 19 illus. in color.) |
Disciplina | 302.30285 |
Collana | Lecture Notes in Social Networks |
Soggetto topico |
Data mining
Artificial intelligence Database management Physics Social sciences Data Mining and Knowledge Discovery Artificial Intelligence Database Management Applications of Graph Theory and Complex Networks Methodology of the Social Sciences |
ISBN | 3-319-64167-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Knowledge Communities and Socio-Cognitive Taxonomies -- Individuality in Social Networks -- Descriptive Community Detection -- Multimodal Clustering for Community Detection -- Acquisition of Terminological Knowledge from Social Networks in the Description Logic MH -- Formal Concept Analysis of Attributed Networks -- A Formal Concept Analysis look at the Analysis of Affiliation Networks. |
Record Nr. | UNINA-9910254832203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|