Conceptual structures : knowledge representation as interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996 : proceedings

"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."--PUBLISHER'S WEBSITE Processes and participants....Pages 1-22 Conceptual structures of multicontexts....Pages 23-39 Graph drawing methods....Pages 40-49 Big posets of participatings and thematic roles....Pages 50-74 Linguistic Geometry tools generate optimal solutions....Pages 75-99 Natural language text processing and the maximal join operator....Pages 100-114 DB-MAT: Knowledge acquisition, processing and NL generation using conceptual graphs....Pages 115-129 Conceptual graph aboutness....Pages 130-144 Conceptual structures and structured documents....Pages 145-159 Conceptual graphs isomorphism: Algorithm and use....Pages 160-174 Editing conceptual graphs....Pages 175-187 Computational situation theory in the conceptual graph language....Pages 188-202 Existential graphs and tense logic....Pages 203-217 Microanalysis: Acquiring database semantics in conceptual graphs....Pages 218-228 Propagating truth and detecting contradiction in conceptual graph databases....Pages 229-247 Sound and complete forward and backward chainings of graph rules....Pages 248-262 Towards fuzzy conceptual graph programs....Pages 263-276 Sparse term encoding for dynamic taxonomies....Pages 277-292 Lattice embedding....Pages 293-307 Local scaling in conceptual data systems....Pages 308-320

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.

The five full, and 15 revised papers presented in this volume were selected from the proceedings of the Fourth International Conference on Conceptual Structures. The issues addressed include natural language processing, information retrieval, graph operations, and conceptual graph theory.