Formal Concept Analysis [[electronic resource] ] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011, Proceedings / / edited by Petko Valtchev, Robert Jäschke |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XII, 267 p.) |
Disciplina | 006.301/51133 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Data mining Mathematical logic Computer science—Mathematics Algebra Ordered algebraic structures Artificial Intelligence Software Engineering Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Order, Lattices, Ordered Algebraic Structures |
ISBN | 3-642-20514-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465558803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Graph-Based Representation and Reasoning [[electronic resource] ] : 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings / / edited by Nathalie Hernandez, Robert Jäschke, Madalina Croitoru |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 311 p. 93 illus.) |
Disciplina | 003.54 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Database management Information storage and retrieval Artificial Intelligence Discrete Mathematics in Computer Science Database Management Information Storage and Retrieval |
ISBN | 3-319-08389-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Conceptual Graphs Are Also Graphs -- Argumentation-Based Paraconsistent Logics -- Towards a Framework for Learning from Networked Data -- Games on Graphs -- A Partial-Closure Canonicity Test to Increase the Efficiency of CbO-Type Algorithms -- On Conceptual Graphs and Explanation of Query Answering under Inconsistency -- Defining Key Semantics for the RDF Datasets: Experiments and Evaluations -- A Framework for Qualitative Representation and Reasoning about Spatiotemporal Patterns -- Combining Restricted Boltzmann Machine and One Side Perceptron for Malware Detection -- Knowledge Management and Human Trafficking: Using Conceptual Knowledge Representation, Text Analytics and Open-Source Data to Combat Organized Crime -- Default Reasoning Implementation in CoGui -- Extracting Threshold Conceptual Structures from Web Documents -- A Formal Topology of Web Classification -- Specifying Well-Formed Part-Whole Relations in Coq -- Automatic Extraction of Semantic Relations by Using Web Statistical Information -- Efficient Representation of Extensional Constraints -- On the Usability of Random Indexing in Patent Retrieval -- Teaching Syllogistics Using Conceptual Graphs -- Principles of Regulated Activation Networks -- Computing Concept Lattices from Very Sparse Large-Scale Formal Contexts -- Swip: A Natural Language to SPARQL Interface Implemented with SPARQL -- Environmental Scanning and Knowledge Representation for the Detection of Organised Crime Threats -- Combining Business Intelligence with Semantic Technologies: The CUBIST Project -- FCA-Based Recommender Models and Data Analysis for Crowdsourcing Platform Witology -- Conceptual Structures in Leading and Best Enterprise Practices -- Eco-Efficient Packaging Material Selection for Fresh Produce: Industrial Session. |
Record Nr. | UNISA-996213701503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Graph-Based Representation and Reasoning : 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings / / edited by Nathalie Hernandez, Robert Jäschke, Madalina Croitoru |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 311 p. 93 illus.) |
Disciplina | 003.54 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Database management Information storage and retrieval Artificial Intelligence Discrete Mathematics in Computer Science Database Management Information Storage and Retrieval |
ISBN | 3-319-08389-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Conceptual Graphs Are Also Graphs -- Argumentation-Based Paraconsistent Logics -- Towards a Framework for Learning from Networked Data -- Games on Graphs -- A Partial-Closure Canonicity Test to Increase the Efficiency of CbO-Type Algorithms -- On Conceptual Graphs and Explanation of Query Answering under Inconsistency -- Defining Key Semantics for the RDF Datasets: Experiments and Evaluations -- A Framework for Qualitative Representation and Reasoning about Spatiotemporal Patterns -- Combining Restricted Boltzmann Machine and One Side Perceptron for Malware Detection -- Knowledge Management and Human Trafficking: Using Conceptual Knowledge Representation, Text Analytics and Open-Source Data to Combat Organized Crime -- Default Reasoning Implementation in CoGui -- Extracting Threshold Conceptual Structures from Web Documents -- A Formal Topology of Web Classification -- Specifying Well-Formed Part-Whole Relations in Coq -- Automatic Extraction of Semantic Relations by Using Web Statistical Information -- Efficient Representation of Extensional Constraints -- On the Usability of Random Indexing in Patent Retrieval -- Teaching Syllogistics Using Conceptual Graphs -- Principles of Regulated Activation Networks -- Computing Concept Lattices from Very Sparse Large-Scale Formal Contexts -- Swip: A Natural Language to SPARQL Interface Implemented with SPARQL -- Environmental Scanning and Knowledge Representation for the Detection of Organised Crime Threats -- Combining Business Intelligence with Semantic Technologies: The CUBIST Project -- FCA-Based Recommender Models and Data Analysis for Crowdsourcing Platform Witology -- Conceptual Structures in Leading and Best Enterprise Practices -- Eco-Efficient Packaging Material Selection for Fresh Produce: Industrial Session. |
Record Nr. | UNINA-9910483374703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|