Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Conceptual structures for knowledge creation and communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings / / edited by Aldo de Moor, Wilfried Lex, Bernhard Ganter
| Conceptual structures for knowledge creation and communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings / / edited by Aldo de Moor, Wilfried Lex, Bernhard Ganter |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [2003] |
| Descrizione fisica | 1 online resource (XII, 405 pages) |
| Disciplina | 003.54 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto topico |
Conceptual structures (Information theory)
Graph theory Logic diagrams Knowledge representation (Information theory) Natural language processing (Computer science) |
| ISBN | 3-540-45091-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Many Facets of Conceptual Structures -- Conceptual Contents as Information – Basics for Contextual Judgment Logic -- Analogical Reasoning -- Hegel in a Strange Costume -- Different Kinds of Comparisons between Fuzzy Conceptual Graphs -- Intensional Formalization of Conceptual Structures -- Hypotheses and Version Spaces -- Logical and Linguistic Aspects -- Description Logics for Ontologies -- Computing the Least Common Subsumer in the Description Logic w.r.t. Terminological Cycles with Descriptive Semantics -- Creation and Merging of Ontology Top-Levels -- Dynamic Type Creation in Metaphor Interpretation and Analogical Reasoning: A Case-Study with WordNet -- Correction and Extension of WordNet 1.7 -- Conceptual Representations of Time and Space -- Representing Temporal Ontology in Conceptual Graphs -- Time Dimension, Objects, and Life Tracks. A Conceptual Analysis -- Representing Time and Modality in Narratives with Conceptual Graphs -- Modeling and Representing Structures for Analyzing Spatial Organization in Agronomy -- Deepening the Formal Theory -- Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms -- Concept Graphs without Negations: Standard Models and Standard Graphs -- Distributed Systems with Simple Concept Graphs -- Concept Graphs with Subdivision: A Semantic Approach -- A Generic Scheme for the Design of Efficient On-Line Algorithms for Lattices -- Applications of Conceptual Structures -- Towards Building Active Knowledge Systems with Conceptual Graphs -- Formalizing Botanical Taxonomies -- Conceptual Graphs Self-tutoring System -- Cognitive Map of Conceptual Graphs: A Graphical Model to Help for Decision -- Mining Concise Representations of Frequent Multidimensional Patterns -- Sesei: A CG-Based Filter for Internet Search Engines -- A Semantic Search Approach by Graph Matching with Negations and Inferences -- Using Conceptual Graphs to Capture Semantics of Agent Communication. |
| Record Nr. | UNINA-9910144033703321 |
| Berlin, Heidelberg : , : Springer, , [2003] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Conceptual structures for knowledge creation and communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings / / edited by Aldo de Moor, Wilfried Lex, Bernhard Ganter
| Conceptual structures for knowledge creation and communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings / / edited by Aldo de Moor, Wilfried Lex, Bernhard Ganter |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [2003] |
| Descrizione fisica | 1 online resource (XII, 405 pages) |
| Disciplina | 003.54 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto topico |
Conceptual structures (Information theory)
Graph theory Logic diagrams Knowledge representation (Information theory) Natural language processing (Computer science) |
| ISBN | 3-540-45091-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Many Facets of Conceptual Structures -- Conceptual Contents as Information – Basics for Contextual Judgment Logic -- Analogical Reasoning -- Hegel in a Strange Costume -- Different Kinds of Comparisons between Fuzzy Conceptual Graphs -- Intensional Formalization of Conceptual Structures -- Hypotheses and Version Spaces -- Logical and Linguistic Aspects -- Description Logics for Ontologies -- Computing the Least Common Subsumer in the Description Logic w.r.t. Terminological Cycles with Descriptive Semantics -- Creation and Merging of Ontology Top-Levels -- Dynamic Type Creation in Metaphor Interpretation and Analogical Reasoning: A Case-Study with WordNet -- Correction and Extension of WordNet 1.7 -- Conceptual Representations of Time and Space -- Representing Temporal Ontology in Conceptual Graphs -- Time Dimension, Objects, and Life Tracks. A Conceptual Analysis -- Representing Time and Modality in Narratives with Conceptual Graphs -- Modeling and Representing Structures for Analyzing Spatial Organization in Agronomy -- Deepening the Formal Theory -- Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms -- Concept Graphs without Negations: Standard Models and Standard Graphs -- Distributed Systems with Simple Concept Graphs -- Concept Graphs with Subdivision: A Semantic Approach -- A Generic Scheme for the Design of Efficient On-Line Algorithms for Lattices -- Applications of Conceptual Structures -- Towards Building Active Knowledge Systems with Conceptual Graphs -- Formalizing Botanical Taxonomies -- Conceptual Graphs Self-tutoring System -- Cognitive Map of Conceptual Graphs: A Graphical Model to Help for Decision -- Mining Concise Representations of Frequent Multidimensional Patterns -- Sesei: A CG-Based Filter for Internet Search Engines -- A Semantic Search Approach by Graph Matching with Negations and Inferences -- Using Conceptual Graphs to Capture Semantics of Agent Communication. |
| Record Nr. | UNISA-996465696303316 |
| Berlin, Heidelberg : , : Springer, , [2003] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual Structures: Logical, Linguistic, and Computational Issues [[electronic resource] ] : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings / / edited by Bernhard Ganter, Guy W. Mineau
| Conceptual Structures: Logical, Linguistic, and Computational Issues [[electronic resource] ] : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings / / edited by Bernhard Ganter, Guy W. Mineau |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 576 p.) |
| Disciplina | 003/.54 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Computer science—Mathematics Mathematical logic Algorithms Artificial Intelligence Theory of Computation Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Computation by Abstract Devices |
| ISBN | 3-540-44663-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Concepts and Language -- The Role of Conceptual Structure in Human Evolution -- Concepts in Linguistics – Concepts in Natural Language -- Patterns, Schemata, and Types — Author Support through Formalized Experience -- Conventions and Notations for Knowledge Representation and Retrieval -- Conceptual Ontology -- Ontology, Metadata, and Semiotics -- Pragmatically Yours, -- Conceptual Modeling for Distributed Ontology Environments -- Discovery of Class Relations in Exception Structured Knowledge Bases -- Conceptual Graphs: Perspectives -- CGs Applications : Where Are We 7 Years after the First ICCS? -- The Engineering of a CG-Based System: Fundamental Issues -- Conceptual Graphs, Metamodeling, and Notation of Concepts -- Knowledge Representation and Reasonings Based on Graph Homomorphism -- User Modelling Using Conceptual Graphs for Intelligent Agents -- Towards a Unified Querying System of Both Structured and Semi-structured Imprecise Data Using Fuzzy View -- Formal Semantics of Conceptual Structures -- The Extensional Semantics of the Conceptual Graph Formalism -- Semantics of Attribute Relations in Conceptual Graphs -- Nested Concept Graphs and Triadic Power Context Families -- Negations in Simple Concept Graphs -- Extending the CG Model by Simulations -- Contextual Logic and Formal Concept Analysis -- Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis -- On the Contextual Logic of Ordinal Data -- Boolean Concept Logic -- Lattices of Triadic Concept Graphs -- Formalizing Hypotheses with Concepts -- Generalized Formal Concept Analysis -- A Logical Generalizationof Formal Concept Analysis -- On the Treatment of Incomplete Knowledge in Formal Concept Analysis -- Conceptual Structures in Practice -- Logic-Based Networks: Concept Graphs and Conceptual Structures -- Conceptual Knowledge Discovery and Data Analysis -- CEM – A Conceptual Email Manager -- A Contextual-Logic Extension of TOSCANA -- A Conceptual Graph Model for W3C Resource Description Framework -- Computational Aspects of Conceptual Structures -- Computing with Conceptual Structures -- Symmetry and the Computation of Conceptual Structures -- An Introduction to SNePS 3 -- Composition Norm Dynamics Calculation with Conceptual Graphs -- From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language -- A Cost-Bounded Algorithm to Control Events Generalization. |
| Record Nr. | UNISA-996466153403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual Structures: Logical, Linguistic, and Computational Issues : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings / / edited by Bernhard Ganter, Guy W. Mineau
| Conceptual Structures: Logical, Linguistic, and Computational Issues : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings / / edited by Bernhard Ganter, Guy W. Mineau |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 576 p.) |
| Disciplina | 003/.54 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Computer science—Mathematics Mathematical logic Algorithms Artificial Intelligence Theory of Computation Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Computation by Abstract Devices |
| ISBN | 3-540-44663-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Concepts and Language -- The Role of Conceptual Structure in Human Evolution -- Concepts in Linguistics – Concepts in Natural Language -- Patterns, Schemata, and Types — Author Support through Formalized Experience -- Conventions and Notations for Knowledge Representation and Retrieval -- Conceptual Ontology -- Ontology, Metadata, and Semiotics -- Pragmatically Yours, -- Conceptual Modeling for Distributed Ontology Environments -- Discovery of Class Relations in Exception Structured Knowledge Bases -- Conceptual Graphs: Perspectives -- CGs Applications : Where Are We 7 Years after the First ICCS? -- The Engineering of a CG-Based System: Fundamental Issues -- Conceptual Graphs, Metamodeling, and Notation of Concepts -- Knowledge Representation and Reasonings Based on Graph Homomorphism -- User Modelling Using Conceptual Graphs for Intelligent Agents -- Towards a Unified Querying System of Both Structured and Semi-structured Imprecise Data Using Fuzzy View -- Formal Semantics of Conceptual Structures -- The Extensional Semantics of the Conceptual Graph Formalism -- Semantics of Attribute Relations in Conceptual Graphs -- Nested Concept Graphs and Triadic Power Context Families -- Negations in Simple Concept Graphs -- Extending the CG Model by Simulations -- Contextual Logic and Formal Concept Analysis -- Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis -- On the Contextual Logic of Ordinal Data -- Boolean Concept Logic -- Lattices of Triadic Concept Graphs -- Formalizing Hypotheses with Concepts -- Generalized Formal Concept Analysis -- A Logical Generalizationof Formal Concept Analysis -- On the Treatment of Incomplete Knowledge in Formal Concept Analysis -- Conceptual Structures in Practice -- Logic-Based Networks: Concept Graphs and Conceptual Structures -- Conceptual Knowledge Discovery and Data Analysis -- CEM – A Conceptual Email Manager -- A Contextual-Logic Extension of TOSCANA -- A Conceptual Graph Model for W3C Resource Description Framework -- Computational Aspects of Conceptual Structures -- Computing with Conceptual Structures -- Symmetry and the Computation of Conceptual Structures -- An Introduction to SNePS 3 -- Composition Norm Dynamics Calculation with Conceptual Graphs -- From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language -- A Cost-Bounded Algorithm to Control Events Generalization. |
| Record Nr. | UNINA-9910768443203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Concept Analysis [[electronic resource] ] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings / / edited by Peggy Cellier, Felix Distel, Bernhard Ganter
| Formal Concept Analysis [[electronic resource] ] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings / / edited by Peggy Cellier, Felix Distel, Bernhard Ganter |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 267 p. 57 illus.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data mining Mathematical logic Software engineering Algebra Ordered algebraic structures Artificial Intelligence Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Software Engineering Order, Lattices, Ordered Algebraic Structures |
| ISBN | 3-642-38317-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contextual Implications between Attributes and Some Representation Properties for Finite Lattices -- Mathematical Morphology Operators over Concept Lattices -- Dismantlable Lattices in the Mirror -- Towards an Error-Tolerant Construction of EL⊥-Ontologies from Data Using Formal Concept Analysis -- Using Pattern Structures for Analyzing Ontology-Based Annotations of Biomedical Data -- Formal Concept Analysis via Atomic Priming -- Applications of Ordinal Factor Analysis -- Tri-ordinal Factor Analysis -- Formal F-contexts and Their Induced Implication Rule Systems -- User-Friendly Fuzzy FCA -- Proper Mergings of Stars and Chains Are Counted by Sums of Antidiagonals in Certain Convolution Arrays -- Modeling Ceteris Paribus Preferences in Formal Concept Analysis -- Concept-Forming Operators on Multilattices -- Using FCA to Analyse How Students Learn to Program -- Soundness and Completeness of Relational Concept Analysis -- Contextual Uniformities -- Fitting Pattern Structures to Knowledge Discovery in Big Data. |
| Record Nr. | UNISA-996466569803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Concept Analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings / / edited by Peggy Cellier, Felix Distel, Bernhard Ganter
| Formal Concept Analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings / / edited by Peggy Cellier, Felix Distel, Bernhard Ganter |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 267 p. 57 illus.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data mining Mathematical logic Software engineering Algebra Ordered algebraic structures Artificial Intelligence Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Software Engineering Order, Lattices, Ordered Algebraic Structures |
| ISBN | 3-642-38317-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contextual Implications between Attributes and Some Representation Properties for Finite Lattices -- Mathematical Morphology Operators over Concept Lattices -- Dismantlable Lattices in the Mirror -- Towards an Error-Tolerant Construction of EL⊥-Ontologies from Data Using Formal Concept Analysis -- Using Pattern Structures for Analyzing Ontology-Based Annotations of Biomedical Data -- Formal Concept Analysis via Atomic Priming -- Applications of Ordinal Factor Analysis -- Tri-ordinal Factor Analysis -- Formal F-contexts and Their Induced Implication Rule Systems -- User-Friendly Fuzzy FCA -- Proper Mergings of Stars and Chains Are Counted by Sums of Antidiagonals in Certain Convolution Arrays -- Modeling Ceteris Paribus Preferences in Formal Concept Analysis -- Concept-Forming Operators on Multilattices -- Using FCA to Analyse How Students Learn to Program -- Soundness and Completeness of Relational Concept Analysis -- Contextual Uniformities -- Fitting Pattern Structures to Knowledge Discovery in Big Data. |
| Record Nr. | UNINA-9910484252603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| 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
| 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 [[electronic resource] ] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings / / edited by Robert Godin, Bernhard Ganter
| Formal Concept Analysis [[electronic resource] ] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings / / edited by Robert Godin, Bernhard Ganter |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XI, 419 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science—Mathematics Mathematical logic Software engineering Information storage and retrieval Artificial Intelligence Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Software Engineering Information Storage and Retrieval |
| Soggetto non controllato |
ICFCA
Formal concept analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards Generic Pattern Mining -- Conceptual Exploration of Semantic Mirrors -- Towards a Formal Concept Analysis Approach to Exploring Communities on the World Wide Web -- Automatic Selection of Noun Phrases as Document Descriptors in an FCA-Based Information Retrieval System -- Combining Spatial and Lattice-Based Information Landscapes -- Explaining the Structure of FrameNet with Concept Lattices -- Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering -- Navigation Spaces for the Conceptual Analysis of Software Structure -- Restructuring Help Systems Using Formal Concept Analysis -- An Application of FCA to the Analysis of Aeronautical Incidents -- Characterization and Armstrong Relations for Degenerate Multivalued Dependencies Using Formal Concept Analysis -- Formal Concept Analysis Constrained by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm for Generating Closed Sets of a Binary Relation -- Uncovering and Reducing Hidden Combinatorics in Guigues-Duquenne Bases -- A Parallel Algorithm for Lattice Construction -- Using Intermediate Representation Systems to Interact with Concept Lattices -- Crisply Generated Fuzzy Concepts -- Triadic Concept Graphs and Their Conceptual Contents -- Alpha Galois Lattices: An Overview -- A Finite State Model for On-Line Analytical Processing in Triadic Contexts -- Complete Subalgebras of Semiconcept Algebras and Protoconcept Algebras -- Coherence Networks of Concept Lattices: The Basic Theorem -- Turing Machine Representation in Temporal Concept Analysis -- Protoconceptual Contents and Implications -- Planarity of Lattices -- Bialgebraic Contexts for Distributive Lattices – Revisited -- Which Concept Lattices Are Pseudocomplemented?. |
| Record Nr. | UNISA-996466013703316 |
| 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.)
| 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 | ||
| ||
Formal concept analysis : third international conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings / / Bernhard Ganter, Robert Godin (eds.)
| Formal concept analysis : third international conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings / / Bernhard Ganter, Robert Godin (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XI, 419 p.) |
| Disciplina | 511.3/3 |
| Altri autori (Persone) |
GanterBernhard
GodinRobert, Ph.D. |
| Collana | Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Lattice theory
Comprehension (Theory of knowledge) Artificial intelligence - Mathematical models Logic, Symbolic and mathematical Information theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards Generic Pattern Mining -- Conceptual Exploration of Semantic Mirrors -- Towards a Formal Concept Analysis Approach to Exploring Communities on the World Wide Web -- Automatic Selection of Noun Phrases as Document Descriptors in an FCA-Based Information Retrieval System -- Combining Spatial and Lattice-Based Information Landscapes -- Explaining the Structure of FrameNet with Concept Lattices -- Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering -- Navigation Spaces for the Conceptual Analysis of Software Structure -- Restructuring Help Systems Using Formal Concept Analysis -- An Application of FCA to the Analysis of Aeronautical Incidents -- Characterization and Armstrong Relations for Degenerate Multivalued Dependencies Using Formal Concept Analysis -- Formal Concept Analysis Constrained by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm for Generating Closed Sets of a Binary Relation -- Uncovering and Reducing Hidden Combinatorics in Guigues-Duquenne Bases -- A Parallel Algorithm for Lattice Construction -- Using Intermediate Representation Systems to Interact with Concept Lattices -- Crisply Generated Fuzzy Concepts -- Triadic Concept Graphs and Their Conceptual Contents -- Alpha Galois Lattices: An Overview -- A Finite State Model for On-Line Analytical Processing in Triadic Contexts -- Complete Subalgebras of Semiconcept Algebras and Protoconcept Algebras -- Coherence Networks of Concept Lattices: The Basic Theorem -- Turing Machine Representation in Temporal Concept Analysis -- Protoconceptual Contents and Implications -- Planarity of Lattices -- Bialgebraic Contexts for Distributive Lattices – Revisited -- Which Concept Lattices Are Pseudocomplemented?. |
| Altri titoli varianti | ICFCA 2005 |
| Record Nr. | UNINA-9910767571203321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||