Conceptual Structures at Work 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Wolff, Karl Erich (Επιμελητής έκδοσης), Pfeiffer, Heather D. (Επιμελητής έκδοσης), Delugach, Harry S. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 3127
• Θέματα: Computer science.; Coding theory.; Algorithms.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Computer Science.; Coding and Information Theory.; Artificial Intelligence (incl. Robotics).; Discrete Mathematics in Computer Science.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.; Information Systems Applications (incl. Internet).

This volume contains selected papers presented at the 12th International C- ference on Conceptual Structures, ICCS 2004, held in Huntsville Alabama, July 19–23, 2004. The main theme of the conference, “Conceptual Structures at Work”, was chosen to express our intention of applying conceptual structu...

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

• Invited Talks
• The Esthetic Grounding of Ordered Thought
• Memes as Signs in the Dynamic Logic of Semiosis: Beyond Molecular Science and Computation Theory
• Graphics and Languages for the Flexible Modular Framework
• Implicational Concept Graphs
• Types and Tokens for Logic with Diagrams
• From Data to Conceptual Structures
• Concept-Based Data Mining with Scaled Labeled Graphs
• Iceberg Query Lattices for Datalog
• ‘Particles’ and ‘Waves’ as Understood by Temporal Concept Analysis
• A Void Type for Medical Language Disambiguation
• Clustering of Conceptual Graphs with Sparse Data
• Concept Lattices and Concept Graphs
• A Cartesian Closed Category of Approximable Concept Structures
• Implications in Triadic Formal Contexts
• Exploring Relational Structures Via
• An Extension of the Theory of Information Flow to Semiconcept and Protoconcept Graphs
• Negation in Contextual Logic
• Conceptual Frameworks for Applications
• Using Brandom’s Framework to Do Peirce’s Normative Science: Pragmatism as the Game of Harmonizing Assertions?
• Improving the Testbed Development Process in Collaboratories
• Relation Elements for the Semantic Web
• Poset Ontologies and Concept Lattices as Semantic Hierarchies
• Concept Types and Coreference in Simple Conceptual Graphs
• An Exportable CGIF Module from the CP Environment: A Pragmatic Approach
• Reasoning with Conceptual Structures
• Using Conceptual Graphs to Represent Agent Semantic Constituents
• Improving Generalization Level in UML Models Iterative Cross Generalization in Practice
• KNAML: A Knowledge Representation Language for Distributed Reasoning
• Interoperability of Ontologies Using Conceptual Graph Theory
• A Priorean Approach to Time Ontologies.