000 05887nam a22007095i 4500
001 978-3-540-27769-9
003 DE-He213
005 20240423125728.0
007 cr nn 008mamaa
008 121227s2004 gw | s |||| 0|eng d
020 _a9783540277699
_9978-3-540-27769-9
024 7 _a10.1007/b98793
_2doi
050 4 _aQA268
050 4 _aQ350-390
072 7 _aGPJ
_2bicssc
072 7 _aGPF
_2bicssc
072 7 _aCOM031000
_2bisacsh
072 7 _aGPJ
_2thema
072 7 _aGPF
_2thema
082 0 4 _a003.54
_223
245 1 0 _aConceptual Structures at Work
_h[electronic resource] :
_b12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004, Proceedings /
_cedited by Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach.
250 _a1st ed. 2004.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2004.
300 _aXII, 408 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v3127
505 0 _aInvited 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.
520 _aThis 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 structures for hum- centered practical purposes. That invites us to develop not only clear conceptual theories,butalsomethodstosupporthumansintheapplicationofthesetheories in their societies. Some promising steps in this direction are being taken, but the gap between the researchers working on a highly sophisticated level on one side and the practitioners in many ?elds of applications on the other side is usually di?culttobridge.Someofushaveexperiencesinsuchpracticalcooperation,but we need more members of our community to be engaged in “real life problems”. We all know that solutions of complex problems in practice require not only a well-developed formal theory, but also an understanding of the whole context of the given problems. To support our understanding we need general philo- phical methods as well as formal theories for the representation of fundamental structures in practice. We believe that our community has powerful tools and methodsforsuccessfulapplicationsinpractice,butthatwemustdevelopaforum to present our results to a broader audience. First we must understand the s- ni?cant developments in our own group, which has activities in many directions of research.
650 0 _aCoding theory.
650 0 _aInformation theory.
650 0 _aArtificial intelligence.
650 0 _aComputer science
_xMathematics.
650 0 _aDiscrete mathematics.
650 0 _aMachine theory.
650 0 _aAlgorithms.
650 0 _aApplication software.
650 1 4 _aCoding and Information Theory.
650 2 4 _aArtificial Intelligence.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aAlgorithms.
650 2 4 _aComputer and Information Systems Applications.
700 1 _aWolff, Karl Erich.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aPfeiffer, Heather D.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aDelugach, Harry S.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540223924
776 0 8 _iPrinted edition:
_z9783662177112
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v3127
856 4 0 _uhttps://doi.org/10.1007/b98793
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c181083
_d181083