6. ICCS 1998: Montpellier, France

Marie-Laure Mugnier, Michel Chein (Eds.): Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS '98, Montpellier, France, August 10-12, 1998, Proceedings. Lecture Notes in Computer Science 1453 Springer 1998, ISBN 3-540-64791-0

Invited Talks

John F. Sowa:
Conceptual Graph Standard and Extension. 3-14
Franz Baader, Alexander Borgida, Deborah L. McGuinness:
Matching in Description Logics: Preliminary Results. 15-34
Daniel Kayser:
Ontologically, Yours. 35-50

Knowledge Representation and Knowledge Engineering

Walling R. Cyre:
Executing Conceptual Graphs. 51-64
Guy W. Mineau:
From Actors to Processes: The Representation of Dynamic Knowledge Using Conceptual Graphs. 65-79
Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau:
A Semantic Validation of Conceptual Graphs. 80-93
Myriam Ribière:
Using Viewpoints and CG for the Representation and Management of a Corporate Memory in Concurrent Engineering. 94-110

Tools

Simon Pollitt, Andrew Burrow, Peter W. Eklund:
WebKB-GE - A Visual Editor for Canonical Conceptual Graphs (Research Note). 111-118
Arno Puder:
Mapping of CGIF to Operational Interfaces (Research Note). 119-126
Bernd Groh, Selma Strahringer, Rudolf Wille:
TOSCANA-Systems Based on Thesauri. 127-138
Rose Dieng, Stefan Hug:
MULTIKAT, a Tool for Comparing Knowledge of Multiple Experts. 139-153
David Genest, Eric Salvat:
A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT (Research Note). 154-164

Conceptual Graphs and Other Models

Pascal Coupey, Catherine Faron:
Towards Correspondence between Conceptual Graphs and Description Logics. 165-178
Stéphane Coulondre, Eric Salvat:
Piece Resolution: Towards Larger Perspectives. 179-193
Rudolf Wille:
Triadic Concept Graphs. 194-208
Klaus Biedermann:
Powerset Trilattices. 209-224

Relationships with Logics

Susanne Prediger:
Simple Concept Graphs: A Logic Approach. 225-239
Geneviève Simonet:
Two FOL Semantics for Simple and Nested Conceptual Graphs. 240-254
Torben Braüner:
Peircean Graphs for the Modal Logic S5. 255-269
Tru H. Cao, Peter N. Creasy:
Fuzzy Order-Sorted Logic Programming in Conceptual Graphs with a Sound and Complete Proof Procedure. 270-286

Algorithmus and Complexity

Olivier Guinaldo, Ollivier Haemmerlé:
Knowledge Querying in the Conceptual Graph Model: The RAP Modula (Research Note). 287-294
Bernhard Ganter, Sergei O. Kuznetsov:
Stepwise Construction of the Dedekind-MacNeille Completion (Research Note). 295-302
Pascal Jappy, Richard Nock:
PAC Learning Conceptual Graphs. 303-318

Epistemology and Ontologies

Graham A. Mann:
Procedural Renunciation and the Semi-automatic Trap. 319-333
William M. Tepfenhart:
Ontologies and Conceptual Structures. 334-350

Natural Language Processing

Galia Angelova:
Manual Acquisition of Uncountable Types in Closed Worlds (Research Note). 351-358
Bernard Moulin:
A Logical Framework for Modeling a Discourse from the Point of View of the Agents Involved in It (Research Note). 359-366
Karim Chibout, Anne Vilnat:
Computational Processing of Verbal Polysemy with Conceptual Structures (Research Note). 367-374
Cornelis Hoede, X. Liu:
Word Graphs: The Second Set. 375-389
Anne-Marie Rassinoux, Robert H. Baud, Christian Lovis, Judith C. Wagner, Jean-Raoul Scherrer:
Tuning Up Conceptual Graph Representation for Multilingual Natural Language Processing in Medicine (Research Note). 390-400

Applications

Olivier Gerbé, Guy W. Mineau, Rudolf K. Keller:
Conceptual Graphs for Representing Business Process in Corporate Memories. 401-415
Aldo de Moor, Guy W. Mineau:
Handling Specification Knowledge Evolution Using Context Lattices. 416-430
Hung Wing, Robert M. Colomb, Guy W. Mineau:
Using CG Formal Contexts to Support Business System Interoperations (Research Note). 431-438