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.
Author(s): John F. Sowa (auth.), Peter W. Eklund, Gerard Ellis, Graham Mann (eds.)
Series: Lecture Notes in Computer Science 1115 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 330
Tags: Artificial Intelligence (incl. Robotics); Database Management
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
