Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Eklund, Peter (Επιμελητής έκδοσης), Haemmerlé, Ollivier (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Lecture Notes in Computer Science, 5113
• Θέματα: Computer science.; Computer programming.; Programming languages (Electronic computers).; Algorithms.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Discrete Mathematics in Computer Science.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.

This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from over 70 submissions. The scop...

Πίνακας περιεχομένων:

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