8. ICCS 2000: Darmstadt, Germany

Concepts and Language

• Keith Devlin:
  The Role of Conceptual Structure in Human Evolution. 1-12
  
• Gisela Harras:
  Concepts in Linguistics - Concepts in Natural Language. 13-26
  
• Felix H. Gatzemeier:
  Patterns, Schemata, and Types - Author Support through Formalized Experience. 27-40
  
• Philippe Martin:
  Conventions and Notations for Knowledge Representation and Retrieval. 41-54
  

Conceptual Ontology

• John F. Sowa:
  Ontology, Metadata, and Semiotics. 55-81
  
• Mary Keeler:
  Pragmatically Yours. 82-99
  
• Deborah L. McGuinness:
  Conceptual Modeling for Distributed Ontology Environments. 100-112
  
• Hendra Suryanto, Paul Compton:
  Discovery of Class Relations in Exception Structured Knowledge Bases. 113-126
  

Conceptual Graphs: Perspectives

• Michel Chein, David Genest:
  CGs Applications: Where Are We 7 Years after the Fist ICCS? 127-139
  
• Guy W. Mineau:
  The Engineering of a CG-Based System: Fundamental Issues. 140-156
  
• Olivier Gerbé, Guy W. Mineau, Rudolf K. Keller:
  Conceptual Graphs, Metamodeling, and Notation of Concepts. 157-171
  
• Marie-Laure Mugnier:
  Knowledge Representation and Reasonings Based on Graph Homomorphism. 172-192
  
• James F. Baldwin, Trevor P. Martin, Aimilia Tzanavari:
  User Modeling Using Conceptual Graphs for Intelligent Agents. 193-206
  
• Patrice Buche, Ollivier Haemmerlé:
  Towards a Unified Querying System of Both Structured and Semi-structured Imprecise Data Using Fuzzy View. 207-220
  

Formal Semantics of Conceptual Structures

• Guy W. Mineau:
  The Extensional Semantics of the Conceptual Graph Formalism. 221-234
  
• Pavel Kocura:
  Semantics of Attribute Relations in Conceptual Graphs. 235-248
  
• Susanne Prediger:
  Nested Concept Graphs and Triadic Power Context Families. 249-262
  
• Frithjof Dau:
  Negations in Simple Concept Graphs. 263-276
  
• Jean-François Baget:
  Extending the CG Model by Simulations. 277-291
  

Contextual Logic and Formal Concept Analysis

• Franz Baader, Ralf Molitor:
  Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis. 292-305
  
• Silke Pollandt, Rudolf Wille:
  On the Contextual Logic of Ordinal Data. 306-316
  
• Rudolf Wille:
  Boolean Concept Logic. 317-331
  
• Bernd Groh, Rudolf Wille:
  Lattices of Triadic Concept Graphs. 332-341
  
• Bernhard Ganter, Sergei O. Kuznetsov:
  Formalizing Hypotheses with Concepts. 342-356
  
• Laurent Chaudron, Nicolas Maille:
  Generalized Formal Concept Analysis. 357-370
  
• Sébastien Ferré, Olivier Ridoux:
  A Logical Generalization of Formal Concept Analysis. 371-384
  
• Peter Burmeister, Richard Holzer:
  On the Treatment of Incomplete Knowledge in Formal Concept Analysis. 385-398
  

Conceptual Structures in Practice

• Peter W. Eklund:
  Logic-Based Networks: Concept Graphs and Conceptual Structures. 399-420
  
• Joachim Hereth Correia, Gerd Stumme, Rudolf Wille, Uta Wille:
  Conceptual Knowledge Discovery and Data Analysis. 421-437
  
• Richard Cole, Gerd Stumme:
  CEM - A Conceptual Email Manager. 438-452
  
• Peter W. Eklund, Bernd Groh, Gerd Stumme, Rudolf Wille:
  A Contextual-Logic Extension of TOSCANA. 453-467
  
• Olivier Corby, Rose Dieng, Cédric Hébert:
  A Conceptual Graph Model for W3C Resource Description Framework. 468-482
  

Computational Aspects of Conceptual Structures

• Bernhard Ganter:
  Computing with Conceptual Structures. 483-495
  
• Robert Levinson:
  Symmetry and the Computation of Conceptual Structures. 496-509
  
• Stuart C. Shapiro:
  An Introduction to SNePS 3. 510-524
  
• Aldo de Moor:
  Composition Norm Dynamics Calculation with Conceptual Graphs. 525-539
  
• Adil Kabbaj, Martin Janta-Polczynski:
  From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language. 540-554
  
• Gaël de Chalendar, Brigitte Grau, Olivier Ferret:
  A Cost-Bounded Algorithm to Control Events Generalization. 555-568