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