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 BibTeX

@proceedings{DBLP:conf/iccs/1998,
  editor    = {Marie-Laure Mugnier and
               Michel Chein},
  title     = {Conceptual Structures: Theory, Tools and Applications, 6th International
               Conference on Conceptual Structures, ICCS '98, Montpellier, France,
               August 10-12, 1998, Proceedings},
  booktitle = {ICCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1453},
  year      = {1998},
  isbn      = {3-540-64791-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

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

Knowledge Representation and Knowledge Engineering

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

Tools

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

Conceptual Graphs and Other Models

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

Relationships with Logics

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

Algorithmus and Complexity

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

Epistemology and Ontologies

Graham A. Mann:
Procedural Renunciation and the Semi-automatic Trap. 319-333
Electronic Edition (Springer LINK) BibTeX
William M. Tepfenhart:
Ontologies and Conceptual Structures. 334-350
Electronic Edition (Springer LINK) BibTeX

Natural Language Processing

Galia Angelova:
Manual Acquisition of Uncountable Types in Closed Worlds (Research Note). 351-358
Electronic Edition (Springer LINK) BibTeX
Bernard Moulin:
A Logical Framework for Modeling a Discourse from the Point of View of the Agents Involved in It (Research Note). 359-366
Electronic Edition (Springer LINK) BibTeX
Karim Chibout, Anne Vilnat:
Computational Processing of Verbal Polysemy with Conceptual Structures (Research Note). 367-374
Electronic Edition (Springer LINK) BibTeX
Cornelis Hoede, X. Liu:
Word Graphs: The Second Set. 375-389
Electronic Edition (Springer LINK) BibTeX
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
Electronic Edition (Springer LINK) BibTeX

Applications

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