3. ICCS 1995: Santa Cruz, California, USA

Invited Papers

• John F. Sowa:
  Syntax, Semantics, and Pragmatics of Contexts. 1-15
  
• Norman Y. Foo:
  Ontology Revison. 16-31
  
• Fritz Lehmann, Rudolf Wille:
  A Triadic Approach to Formal Concept Analysis. 32-43
  

Applications

• R. Y. Kamath, Walling R. Cyre:
  Automatic Integration of Digital System Requirements using Schemata. 44-58
  
• Arno Puder, S. Markwitz, F. Gudermann:
  Service Trading Using Conceptual Structures. 59-73
  

Natural Language

• Nicolas Nicolov, Chris Mellish, Graeme Ritchie:
  Sentence Generation from Conceptual Graphs. 74-88
  
• Bernard Moulin:
  Discourse Spaces: a Pragmatic Interpretation of Contexts. 89-104
  
• Bernard Moulin:
  A Pragmatic Representational Approach of Context and Reference in Discourse. 105-114
  

Natural Language - continued

• Judith C. Wagner, Robert H. Baud, Jean-Raoul Scherrer:
  Using the Conceptual Graph Operations for Natural Language Generation in Medicine. 115-128
  
• Tassadit Amghar, Françoise Gayral, Bernard Levrat:
  Table 10 left without paying the bill ! A Good Reason to Treat Metonymy with Conceptual Graphs. 129-143
  

Programming in Conceptual Graphs

• Gerard Ellis:
  Object-Oriented Conceptual Graphs. 144-157
  
• Bikash Chandra Ghosh, Vilas Wuwongse:
  A Direct Proof Procedure for Definite Conceptual Graph Programs. 158-172
  

Machine Learning / Knowledge Acquisition

• Isabelle Bournaud, Jean-Gabriel Ganascia:
  Conceptual Clustering of Complex Objects: A Generalization Space based Approach. 173-187
  
• Marc Champesme:
  Using Empirical Subsumption to Reduce the Search Space in Learning. 188-201
  

Hardware and Implementation

• James D. Roberts:
  A New Parallelization of Subgraphs Isomorphism Refinement for Classification and Retrieval of Conceptual Structures. 202-216
  

Hardware and Implementation - continued

• Alfred Chan, Pavel Kocura:
  Transputer Network Implementation of a Parallel Projection Algorithm for Conceptual Graphs. 217-231
  
• Andrew Fall:
  Spanning Tree Representations of Graphs and Orders in Conceptual Structures. 232-246
  

Graph Operations

• John Esch, Robert Levinson:
  In Implementation Model for Contexts and Negation in Conceptual Graphs. 247-262
  
• Olivier Cogis, Olivier Guinaldo:
  A Linear Descriptor for Conceptual Graphs and a Class for Polynomial Isomorphism Test. 263-277
  
• Mark Willems:
  Projection and Unification for Conceptual Graphs. 278-292
  
• Jonathan Poole, J. A. Campbell:
  A Novel Algorithm for Matching Conceptual and Related Graphs. 293-307
  

Ontologies and Theory

• Cornelis Hoede:
  On the Ontology of Knowledge Graphs. 308-322
  
• Michel Wermelinger:
  Conceptual Graphs and First-Order Logic. 323-337
  
• Harman van den Berg:
  Existential Graphs and Dynamic Predicate Logic. 338-352