1. ICCS 1993: Quebec City, Canada

Invited Talks

• John F. Sowa:
  Relating Diagrams to Logic. 1-35
  
• Brian R. Gaines:
  Representation, Discourse, Logic and Truth: Situating Knowledge Technology. 36-63
  
• Jon Barwise:
  Heterogeneous Reasoning. 64-74
  

Standards and Comparison of Theories

• Brigitte Biebow, Guy Chaty:
  A Comparison between Conceptual Graphs and KL-ONE. 75-89
  
• Guy W. Mineau:
  The Term Definition Operators of Ontolingua and of the Conceptual Graph Formalism: a Comparison. 90-105
  

Conceptual Graphs and Data Conceptual Modeling

• Brian Bowen, Pavel Kocura:
  Implementing Conceptual Graphs in a RDBMS. 106-125
  
• Peter N. Creasy, Gerard Ellis:
  A Conceptual Graphs Approach to Conceptual Schema Integration. 126-141
  
• Claude Boksenbaum, Boris Carbonneill, Ollivier Haemmerlé, Thérèse Libourel:
  Conceptual Graphs for Relational Databases. 142-161
  

Natural Language Processing

• Roberto Basili, Maria Teresa Pazienza:
  Inducing a CG Representation for Basic-Level Categorization of Verbs. 162-181
  
• Bernard Moulin:
  The Representation of Linguistic Information in an Approach Used for Modelling Temporal Knowledge in Discourse. 182-204
  
• Adeline Nazarenko:
  Representing Natural Language Causality in Conceptual Grpahs: the Higher Order Conceptual Relation Problem. 205-222
  

Reasoning

• Dickson Lukose:
  Executable Conceptual Structures. 223-237
  
• Maurice Pagnucco, Norman Y. Foo:
  Inverting Resolution with Conceptual Graphs. 238-253
  
• Robert Levinson:
  Towards Domain-Independent Machine Intelligence. 254-273
  

Ontologies and Matching

• Gerard Ellis:
  Efficient Retrieval from Hierarchies of Objects using Lattice Operations. 274-293
  
• Marie-Laure Mugnier, Michel Chein:
  Characterization and Algorithmic Recognition of Canonical Conceptual Graphs. 294-311
  
• Mark Willems:
  A Conceptual Semantics Ontology for Conceptual Graphs. 312-327
  

Applications

• Walling R. Cyre:
  Acquiring Temporal Knowledge from Schedules. 328-344
  
• Michel Wermelinger, Alex Bejan:
  Conceptual Structures for Modeling in CIM. 345-360
  
• Esma Aïmeur, Jean-Gabriel Ganascia:
  Elicitation of Taxonomies Based on the Use of Conceptual Graph Operators. 361-380
  

Conceptual Graphs, Existential Graphs and Logics

• J. E. Heaton, Pavel Kocura:
  Presenting a Pierce Logic Based Inference Engine and Theorem Prover for Conceptual Graphs. 381-400
  
• Bruno Emond:
  Operations on Conceptual Structures and Pierce's System of Existential graphs. 401-410
  
• Harmen van den Berg:
  Modal Logics for Conceptual Graphs. 411-429
  
• Vilas Wuwongse, Mario Manzano:
  Fuzzy Conceptual Graphs. 430-449