Conceptual Structures: Knowledge Representations as Interlingua: 4th International Conference on Conceptual Structures, ICCS'96, Sydney, Australia, August 19 - 22, 1996, Proceedings
Peter W. Eklund, Gerard Ellis, Graham Mann
Springer, Aug 29, 1996 - Knowledge representation (Information theory) - 321 pages
This volume constitutes the refereed proceedings of the Fourth International Conference on Conceptual Structures, ICCS '96, held in Sydney, Australia, in August 1996. The book presents five full papers by the invited speakers together with 15 revised full papers selected for presentation at the conference from a respectable number of submissions. The issues addressed are natural language processing, information retrieval, graph operations, conceptual graph and Peirce theory, knowledge acquisition, theorem proving and CG programming, and order-based organisation and encoding.
48 pages matching object in this book
Results 1-3 of 48
What people are saying - Write a review
We haven't found any reviews in the usual places.
Conceptual Structures of Multicontexts
Graph Drawing Methods
15 other sections not shown
algorithm application Artificial Intelligence attributes axiom B-Zone backward chaining bit-vectors CGKAT complex Computer Science concept lattice concept type conceptual graphs conceptual relation Conceptual Structures constraints context coreference corresponding database DB-MAT defined definition denoted described diagram document domain editor elements ElEn encoding entity event example existential graphs Figure Formal Concept Formal Concept Analysis function fuzzy GlSIT Graph Drawing graph G hypertext implementation inference infon integer isomorphism knowledge representation lexical linear linguistic logic mapping maximal join microanalysis multicontext natural language node object operations optimal partial order Peirce poset predicate preorder problem projection Prolog Proof propagated query referent represented retrieval robot rule semantic semantic networks situation theory Sowa sparse terms step Stilman subgraphs subset tense logic thematic roles Theorem trajectory trans(g transitive closure tree type hierarchy verb W-BOMBER W-FIGHTER Zone