Conceptual Structures: Knowledge Visualization and Reasoning [[electronic resource] ] : 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings / / edited by Peter Eklund, Ollivier Haemmerlé |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (X, 311 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer programming Programming languages (Electronic computers) Computer science—Mathematics Mathematical logic Algorithms Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
ISBN | 3-540-70596-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Diagrammatic Reasoning Systems -- Pursuing the Goal of Language Understanding -- Web, Graphs and Semantics -- Transdisciplinarity and Generalistic Sciences and Humanities -- Jacob Lorhard’s Ontology: A 17th Century Hypertext on the Reality and Temporality of the World of Intelligibles -- Revelator’s Complex Adaptive Reasoning Methodology for Resource Infrastructure Evolution -- Conceptual Spider Diagrams -- An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation -- Flexible Querying of Fuzzy RDF Annotations Using Fuzzy Conceptual Graphs -- Query-Answering CG Knowledge Bases -- Attribute Exploration Using Implications with Proper Premises -- Sorting Concepts by Priority Using the Theory of Monotone Systems -- Extending Attribute Dependencies for Lattice-Based Querying and Navigation -- PACTOLE: A Methodology and a System for Semi-automatically Enriching an Ontology from a Collection of Texts -- Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis -- Contextual Cognitive Map -- Employing a Domain Specific Ontology to Perform Semantic Search -- Concept Similarity and Related Categories in SearchSleuth -- Grounded Conceptual Graph Models -- Scenario Argument Structure vs Individual Claim Defeasibility: What Is More Important for Validity Assessment? -- Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit. |
Record Nr. | UNISA-996465999003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Graph-Based Representation and Reasoning [[electronic resource] ] : 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings / / edited by Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (X, 261 p. 96 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Database management Information storage and retrieval Algorithms Artificial Intelligence Discrete Mathematics in Computer Science Database Management Information Storage and Retrieval Algorithm Analysis and Problem Complexity |
ISBN | 3-319-40985-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Time representation -- Graphs and networks -- Formal concept analysis -- Ontologies and linked data. |
Record Nr. | UNISA-996466003903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Graph-Based Representation and Reasoning : 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings / / edited by Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (X, 261 p. 96 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Database management Information storage and retrieval Algorithms Artificial Intelligence Discrete Mathematics in Computer Science Database Management Information Storage and Retrieval Algorithm Analysis and Problem Complexity |
ISBN | 3-319-40985-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Time representation -- Graphs and networks -- Formal concept analysis -- Ontologies and linked data. |
Record Nr. | UNINA-9910484908803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|