4. ICCS 1996: Sydney, Australia

Peter W. Eklund, Gerard Ellis, Graham Mann (Eds.): Conceptual Structures: Knowledge Representation as Interlingua, 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996, Proceedings. Lecture Notes in Computer Science 1115 Springer 1996, ISBN 3-540-61534-2

Invited Papers

John F. Sowa:
Processes and Participants. 1-22
Rudolf Wille:
Conceptual Structures of Multicontexts. 23-39
Peter Eades:
Graph Drawing Methods. 40-49
Fritz Lehmann:
Big Posets of Participatings and Thematic Roles. 50-74
Boris Stilman:
Linguistic Geometry Tools Generate Optimal Solutions. 75-99

Natural Language Processing

Heike Petermann:
Natural Language Text Processing and the Maximal Join Operator. 100-114
Galia Angelova, Kalina Bontcheva:
DB-MAT: Knowledge Acquisition, Processing and NL Generation Using Conceptual Graphs. 115-129

Information Retrieval

T. W. C. Huibers, Iadh Ounis, Jean-Pierre Chevallet:
Conceptual Graph Aboutness. 130-144
Philippe Martin, Laurence Alpay:
Conceptual Structures and Structured Documents. 145-159

Graph Operations

Olivier Guinaldo:
Conceptual Graphs Isomorphism: Algorithm and Use. 160-174
Jens-Uwe Möller, Detlev Wiese:
Editing Conceptual Graphs. 175-187

Conceptual Graph and Pierce Theory

Bikash Chandra Ghosh, Vilas Wuwongse:
Computational Situation Theory in the Conceptual Graph Language. 188-201
Peter Øhrstrøm:
Existential Graphs and Tense Logic. 202-217

Knowledge Acquisition

Harry S. Delugach, Thomas H. Hinke:
Microanalysis: Acquiring Database Semantics in Conceptual Graphs. 218-228

Theorem Proving and CG Programming

John Esch, Robert Levinson:
Propagating Truth and Detecting Contradiction in Conceptual Graph Database. 229-247
Eric Salvat, Marie-Laure Mugnier:
Sound and Complete Forward and backward Chainingd of Graph Rules. 248-262

CG Programming (Continued)

Vilas Wuwongse, Cao Hoang Tru:
Towards Fuzzy Conceptual Graph Programs. 263-276

Order-Based Organisation and Encoding

Andrew Fall:
Sparse Term Encoding for Dynamic Taxonomies. 277-292
Janos J. Sarbo:
Lattice Embedding. 293-307
Gerd Stumme:
Local Scaling in Conceptual Data Systems. 308-320