Conceptual Structures at Work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004, Proceedings
Springer Science & Business Media, Jul 5, 2004 - Computers - 401 pages
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 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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
agent algebra algorithm Alpha graphs applications Artificial Intelligence attributes Boolean Brandom calculus called CGIF cognitive communication concept lattice concept type conceptual graphs Conceptual Structures context morphism coreference corresponding database datalog defined definition described diagrams domain equivalent esthetic example existential Existential Graphs FIPA Formal Concept Analysis formal context function Ganter genes graph morphisms hierarchy ICCS implementation implications inference inferential isomorphic KNAML knowledge base knowledge representation labels language lattice theory Lemma LNAI logic mapping mathematical meme module negation nodes normative science notion objects ontology operation pattern Peirce Peirce’s poset power context family pragmatic problem projection proposition protoconcept graph queries reasoning relation elements relational association rules represented semantic Semantic Web semiconcept graph semiotic software agents Sowa specific Springer Springer-Verlag stereotype subgraph subsumption Theorem theory tion void type workflow