🚀 go-pugleaf

**********************************************************************

                C A L L   F O R   P A R T I C I P A T I O N

  SIXTH INTERNATIONAL CONFERENCE ON CONCEPTUAL STRUCTURES (ICCS'98)

                         August 10-11-12, 1998
                          Montpellier, FRANCE

                     URL: http://www.lirmm.fr/ICCS98
                        e-mail: iccs98@lirmm.fr


 Supported by: AFIA, CNRS, INRIA, LIRMM, University of Montpellier II
 Sponsored by: District de Montpellier, Region Languedoc-Roussillon
**********************************************************************


Since 1993, ICCS has been the annual conference and principal research forum
in the practice and theory of conceptual structures with a main emphasis
on conceptual graphs. It is widely opened to any researcher on
conceptual structures or any user of models or tools based on such
structures. The scope  of the conference covers all aspects of
conceptual structures, ranging from theoretical investigations to
industrial applications, including  methodological issues, and support
tools.

We hope seing you at Montpellier this summer!

                                         Michel Chein and Marie-Laure Mugnier
-----------------------------------------------------------------------------
ICCS'98 PROGRAM
-----------------------------------------------------------------------------

MONDAY, August 10

     8h30  Opening Ceremony

     9h    Keynote Talk

                o Conceptual Graph Standards and Extensions.
                  John F. Sowa.

    10h    Coffee Break

    10h30  Session: Knowledge Representation & Knowledge Engineering

                o Executing Conceptual Graphs.
                  Walling Cyre.
                o From Actors to Processes: The Representation of Dynamic
                  Knowledge Using Conceptual Graphs.
                  Guy Mineau.
                o A Semantic Validation of Conceptual Graphs.
                  Juliette Dibie, Ollivier Haemmerle, Stephane Loiseau.
                o Using Viewpoints and CG for Representation and Management
                  of a Corporate Memory in Concurrent Engineering.
                  Myriam Ribiere.

    12h30  Lunch

    14h30 Session: Tools

                o WebKB-GE - A Graphical Editor for Canonical Conceptual
Graphs.
                  Andrew Burrow, Simon Pollitt, Peter Eklund.
                o Mapping of CGIF to operational interfaces.
                  Arno Puder.
                o TOSCANA-Systems Based on Thesauri.
                  Bernd Groh, Selma Strahringer, Rudolf Wille.

    16h    Coffee Break

    16h30       o MULTIKAT, a Tool for Comparing Knowledge of Multiple Experts.
                  Rose Dieng, Stefan Hug.
                o A Platform Allowing Typed Nested Graphs:
                  How CoGITo Became CoGITaNT.
                  David Genest, Eric Salvat.

    17h30  Software Demonstrations

    - Cocktail Party

----------------------------------------------------------------------------
-

TUESDAY, August 11

    9h    Keynote Talk

                o Description Logics: An introduction
                  and first results on a new inference problem.
                  Franz Baader.

    10h    Coffee Break

    10h30  Session: CG and other Models

                o Towards Correspondences between Conceptual Graphs
                  and Description Logics.
                  Pascal Coupey, Catherine Faron.
                o Piece Resolution: Towards Larger Perspectives.
                  Stephane Coulondre, Eric Salvat.
                o Triadic Concept Graphs.
                  Rudolf Wille.
                o Powerset Trilattices.
                  Klaus Biedermann.

    12h30  Lunch

    14h30  Session: Relationships to Logic

                o Simple Concept Graphs: A Logic Approach.
                  Susanne Prediger.
                o Two FOL Semantics for Simple and Nested Conceptual Graphs.
                  Genevieve Simonet.
                o Peircean Graphs for the Modal Logic S5.
                  Torben Brauner.
                o Fuzzy Order-Sorted Logic Programming in Conceptual Graphs
with
                  a Sound and Complete Proof Procedure.
                  Tru H. Cao, Peter N. Creasy.

    16h30  Coffee Break

    17h    Session: Algorithmics and Complexity

                o Knowledge Querying in the Conceptual Graph Model:
                  the RAP Module.
                  Olivier Guinaldo, Ollivier Haemmerle.
                o Stepwise construction of the Dedekind-MacNeille completion.
                  Bernhard Ganter, Sergei O. Kuznetsov.
                o PAC Learning Conceptual Graphs.
                  Pascal Jappy, Richard Nock.

    - Conference Banquet

-----------------------------------------------------------------------------

WEDNESDAY, August 12

    9h    Keynote Talk

                o Ontologically, yours.
                  Daniel Kayser.

    10h    Coffee break

    10h30  Session: Epistemology and Ontologies

                o Procedural Renunciation and the Semi-Automatic Trap.
                  Graham Mann.
                o Ontologies and Conceptual Structures.
                  William Tepfenhart.

          Session: Natural Language Processing

                o Manual Acquisition of Uncountable Types in Closed Worlds.
                  Galia Angelova.
                o A logical framework for modeling a discourse from
                  the point of view of the agents involved in it.
                  Bernard Moulin.

   12h30  Lunch

   14h30  Session: Natural Language Processing (continued)

                o Computational processing of verbal polysemy with
                  conceptual structures.
                  Karim Chibout, Anne Vilnat.
                o Word Graphs: The Second Set.
                  C. Hoede, X. Liu
                o Tuning up Conceptual Graph Representation for Multilingual
                  Natural Language Processing in Medicine.
                  Anne-Marie Rassinoux, Robert Baud.

   16h    Coffee Break

   16h30  Session: Applications

                o Conceptual Graphs for Representing Business
                  Processes in Corporate Memories.
                  Olivier Gerbe, Rudolf Keller, Guy Mineau.
                o Handling Specification Knowledge Evolution
                  Using Context Lattices.
                  Aldo De Moor, Guy Mineau.
                o Using CG formal contexts to support business system
                  interoperations.
                  Hung Wing, Robert Colomb, Guy Mineau.

   18h  Closing Ceremony

-----------------------------------------------------------------------------

ICCS'98 proceedings will be published in the Springer Verlag Lecture Notes in
Artificial Intelligence series #1453. (References of previous ICCS are #699
(Quebec City, 1993), #835 (Washington D.C., 1994), #954 (Santa Cruz, 1995),
#1115 (Sydney, 1996), #1257 (Seattle, 1997)).

------------------------------------------------------------------------------
PRACTICAL INFORMATION
------------------------------------------------------------------------------

ICCS'98 will be held at the CORUM, Montpellier palace of congress.
It is located in the heart of the old town.

The Registration Form and the Hotel reservation Form are available on the
ICCS'98 web site (URL: http://www.lirmm.fr/ICCS98).

For more information about the conference, see ICCS'98 web site.


------------------------------------------------------------------------
 ICCS'98 Organizing Committee

 L.I.R.M.M.
 161, rue ADA                           email : iccs98@lirmm.fr
 34392 Montpellier cedex 5 FRANCE       Fax   : (+33) (0) 4.67.41.85.00

---------------------------------------------