🚀 go-pugleaf

                                      APPEL A PARTICIPATION
                                 Troisiemes Rencontres Nationales
                                                      des
                          Jeunes Chercheurs en Intelligence Artificielle.
                                        Nantes, 28-31 Aout 96

              http://www.sciences.univ-nantes.fr/info/manifestations/rjcia96/

I - INFORMATIONS GENERALES
Les Troisiemes Rencontres Nationales des Jeunes Chercheurs en Intelligence
Artificielle auront lieu � Nantes du 28 au 31 Aout au matin inclus. Elles
sont accueillies par l'IRIN, Institut de Recherche en Informatique de
Nantes, dans les locaux de la Faculte des Sciences et des Techniques de la
ville. Elles sont a ce jour parrainees par le CNRS, l'INRIA, le PRC-IA, la
Ville de Nantes, l'Universite de Nantes et l'Ecole doctorale "Sciences Pour
l'Ingenieur" de Nantes.
Ces rencontres sont organisees tous les deux ans par l'AFIA, Association
Francaise pour l'Intelligence Artificielle. Leur but est de permettre a des
etudiants preparant une these en Intelligence Artificielle, ou l'ayant
soutenue depuis peu, de se rencontrer et de presenter leurs travaux. Mais
elles offrent aussi aux auditeurs, universitaires ou non, un vaste panorama
des recherches en cours dans le domaine.

II - PROGRAMME PRELIMINAIRE
Les posters seront affiches en permanence dans des salles attenantes a
l'amphitheatre. Chaque poster sera brievement (1-3mn) presente en session
pleniere. Puis son auteur se tiendra a disposition des participants dans la
salle correspondante durant un temps specialement reserve (�30mn)

Les conferenciers invites sont :

Jean-Arcady MEYER :
"L'approche animat: simulation des comportements adaptatifs chez l'animal
et le robot"

Daniel KAYSER :
" L'Intelligence Artificielle est une Science"

--------------------------------------------------------------------
MERCREDI 28 AOUT

                               8h45 - 10h : Accueil
                             10h - 10h30 : Ouverture des Rencontres

                             10h30 - 10h45 : pause cafe

10h45 - 12h : REPRESENTATION DES CONNAISSANCES
Philippe MULLER : "Representations de voies de communication pour la
description d'itineraires"
Isabelle CRAMPE : "Revision interactive dans une base de connaissance a objets"
Eric SALVAT :  "Des Regles dans le formalisme des Graphes Conceptuels"

12h - 12h30 : POSTERS :  REPRESENTATION DES CONNAISSANCES
Alain FOUGERES : "Aide a la redaction de specifications formelles pour les
services de France Telecom"
Christine ROUECHE : "Vers une Musicologie Assistee par Ordinateur"
Boris CARBONNEILL : "Interrogation de connaissances dans le modele des
graphes conceptuels"
Emmanuelle MARTIENNE : "Bases de Connaissances hybrides : une approche
multi-modeles incluant des capacites d'apprentissage automatique"
Jean-Marc PACHOLCZYK : "Un Systeme Logique pour la Gestion de la Typicalite
et des Exceptions"
Mohamed CHACHOUA : "Traitement qualitatif de l'incertitude dans les
systemes a base de connaissances"
                             12h30 - 14h : dejeuner

14h - 15h45 : EIAO, EXPLICATIONS, MULTI-AGENTS
Fran�ois CARPENTIER : "Modeles logiques pour un demonstrateur pedagogique
de geometrie elementaire"
Frederic DANNA : "Diagnostic oriente contraintes pour les tuteurs de langues"
Michel MASSON : "Reifier le raisonnement: un moyen pour ameliorer les
explications dans les systemes a base de connaissances"
Claude LATTAUD : "Evolution et Intelligence Collective"
                              15h45 - 16h : pause cafe

16h - 16h50 : DEDUCTION, PROGRAMMATION LOGIQUE I
Olivier ROUSSEL : "Une Nouvelle Methode de Compilation Logique :
l'achevement par cycles"
Patrick FABIANI : Strategie de prise d'informations et representation
temporelle des croyances: Une nouvelle approche.

16h50 - 17h 45 : POSTERS : EIAO, EXPLICATIONS, MULTI-AGENTS
Karim SLIMANI : "Approche de modelisation orientee Agent pour la
representation des mecanismes de collaboration dans les environnements
Manufacturiers Virtuels"
Walter MERLAT : "Interets de l'approche multi-agents pour la conception des
reseaux intelligents"
Aline ALAUZET : "Une approche multi-agents pour la simulation de l'activite
motrice d'un operateur humain"
Vanda LUENGO : "Les micromondes et l'apprentissage collaboratif : le cas
cabri-euclide"
                         POSTERS : DEDUCTION, PROGRAMMATION LOGIQUE
Karine LIOGIER : "Un nouveau schema pour la negation constructive"
Jo�l REVAULT : "Resolution faible : etude, forme matricielle et parallelisation"
Rachid YACOUB : "Strategies de resolution pour focaliser un systeme de
maintien de la coherence"

JEUDI 29 AOUT

8h45 - 10h : LANGAGE NATUREL
C�cile FABRE : "Mecanismes communs pour l'interpretation automatique des
sequences binominales en anglais et en francais"
Rochdi OUESLATI : "Acquisition et Exploitation de termes et de patterns
linguistiques"
Nathalie BOUQUET : "Utilisation des valeurs et des relations pour
reconstituer les circonstances de l'accident"

10h - 10h30 : POSTERS : LANGAGE NATUREL et EIAO, EXPLICATIONS, MULTI-AGENTS
Christ�le POIRIER : "Un systeme d'analyse de constats amiables d'accident
automobile"
Maodo TOURE : "Demarche Conceptuelle fondee sur l'Ingenierie de
Connaissances pour
la realisation de Systemes Multi-Agents"
Jean-Yves GOUJON : "Une approche multi-agents pour l'optimisation des
systemes industriels de production"
Laurent CHARNAY : "Dialogue et explication dans les systemes a base de
connaissances : un modele informatique pour l'acte de dialogue"
                              10h30 - 10h45 : pause cafe

10h45 - 12h30 : DEDUCTION, PROGRAMMATION LOGIQUE II
Daniel LE BERRE : "Utiliser la procedure de Davis et Putnam pour un calcul
efficace de modeles preferes"
Laurent GARCIA : "Traitement local de l'inference dans les bases de
connaissances conditionnelles avec utilisation de plusieurs ordres"
Viorica CIORBA : "Une methode d'interrogation pour la logique des defauts
de Lukaszewicz basee sur un algorithme de production"
Igor STEPHAN : "Construction incrementale d'un langage abstrait en logique
disjonctive"
                              12h30 - 14h : dejeuner

14h - 15h20 : CONFERENCE INVITEE
Jean-Arcady MEYER :
"L'approche animat: simulation des comportements adaptatifs chez l'animal
et le robot"

                               15h30 - ... Activite sociale

VENDREDI 30 AOUT

8h45 - 10h : PLANIFICATION, DIAGNOSTIC, APPLICATIONS INDUSTRIELLES
Val�rie FICET : "Construction interactive d'un modele conceptuel
d'applications de traitement d'images"
Christine BASTIE : "SPEEDY : le suivi d'execution en environnement dynamique"
Serge BIBAS : "Simulation a base de modeles pour la Supervision de Reseaux
de Telecommunication"

10h - 10h30 : POSTERS : PLANIFICATION, DIAGNOSTIC, APPLICATIONS INDUSTRIELLES
Jerome LEMAIRE : "Un Systeme de Reconnaissance de Scenes utilisant des
Descriptions Imprecises en Langage pseudo-naturel"
Hatem AHRIZ : "Proposition d'une Architecture pour une Approche
Multi-Modeles du Diagnostic"
Laurence ROZE : "Modelisation d'un reseau de telecommunication"
Sueli FERREIRA DA CUNHA : "Similarite de Raisonnements dans un
Environnement de Resolution de Problemes"
Cyril PAIN-BARRE : "DEDAL: Un planificateur lineaire DEDuctif et ALgorithmique"
Sylvie THIEBAUX : "Integration des reparations au diagnostic base sur les
modeles pour la reprise de service sur les reseaux de distribution
d'electricite"
                               10h30 - 10h45 : pause cafe

10h45 - 12h : APPRENTISSAGE, ACQUISITION DES CONNAISSANCES I
Olivier SIGAUD : "Un algorithme de partitionnement pour l'apprentissage de
la commande"
Jean-Maurice BLIN : "Classification de Cas pour Programmation Logique Inductive"
V�ronique VENTOS : "Definition et apprentissage de concepts avec defauts et
exceptions"

12h - 12h30 : POSTERS APPRENTISSAGE, ACQUISITION DES CONNAISSANCES
Yannick MARCHAND : "Une methode connexionniste pour trouver des liens
implicites au sein d'un hypertexte"
Francky TRICHET : "Selection Dynamique de Taches et de Methodes : un modele
et des explications"
Robin GRAS : "Caracterisation de sequences biologiques. Definition d'un
outil d'analyse pour les grandes sequences"
Maxime BURZLAFF : "Decouvertes de connaissances et de meta-connaissances de
domaine et de controle, par l'utilisation des echecs, dans le cadre d'un
systeme de resolution de CSP"
M'hammed HENNICHE : "Comment Apprendre Incrementalement dans l'espace des
Generalisations Maximalement Specifiques d'Instances"
Nathalie GUIN : "Resolution de problemes a partir de la classification du
domaine"
                               12h30 - 14h : dejeuner

14h - 15h20 : CONFERENCE INVITEE
Daniel KAYSER :
" L'Intelligence Artificielle est une Science"

15h20 - 15h45 : POSTERS : seance generale
                               15h45 - 16h : pause cafe

16h - 17h15 : CONTRAINTES, CSP
Stephane N'DONG : "Traitement global des expressions complexes"
Hamza ZIDOUM : "Programmation logique avec contraintes sur les s�quences"
Pierre DAGO : "NOGOODS VALUES, extension des "Nogoods" dans le cadre des
problemes de satisfaction de contraintes valuees"

17h15 - 17h45 : POSTERS : CONTRAINTES, CSP
Tamim FLITI : "Une etude stochastique et experimentale sur le probleme SAT"
Eric BOUCHER : "Amelioration d'une procedure d'optimisation exacte sur les
sequences par propagation de contraintes"

SAMEDI 31 AOUT

8h45 - 10h30 : APPRENTISSAGE, ACQUISITION DES CONNAISSANCES II
Caroline RAVISE : "Induire les Operateurs Genetiques"
Frederic THIRE : "Une approche de la construction d'heuristiques pour
l'exploration d'un algorithme inductif"
Ping ZHANG : "Evaluation des Aptitudes d'une Personne par les Methodes
Basees sur Differences Temporelles"
Jean-Marc GABRIEL :  "Explications et Systemes d'Apprentissage"
                              10h30 - 10h45 : pause cafe

10h45 - 12h : REPRESENTATION DES CONNAISSANCES II
Joel REVAULT : "Manipulation de contraintes entre intervalles a l'aide de
la relation meet"
Faddoul KHOUKHI : "Approche logico-symbolique dans le traitement des
connaissances incertaines et imprecises dans les systemes a base de
connaissances"
Hala NAJA : "Towards a model for multiple representation handling constraints"

                                 12h30 : FIN DES RENCONTRES
--------------------------------------------------------------------

President du Comite de Programme :
Torsten Schaub
LERIA, Faculte des Sciences
Universite d'Angers
2, boulevard Lavoisier
49045 Angers Cedex 01
Torsten.Schaub@univ-angers.fr

Conseiller scientifique senior :
Laurent Siklossy
Universite de Savoie
ESI/GEC/LIA
Campus Scientifique Savoie Technolac
73376 Le Bourget du Lac Cedex
siklossy@univ-savoie.fr

Membres du Comite de Programme :
Amal El Fallah Seghrouchni (LIPN, Paris 13)
Salem Benferhat (IRIT, Toulouse)
Christian Bessiere (LIRMM, Montpellier)
Bisson Gilles (IMAG/LEIBNIZ, Grenoble)
Maroua Bouzid (CRIN, Nancy)
Sylvie Coste-Marquis (CRIL, Lens)
Philippe David (EM, Nantes)
Isabelle Delouis-Jacob (EDF-DER, Clamart)
Elisabeth Delozanne (LIUM, Le Mans)
Cyrille Desmoulins (CRIN, Nancy)
Alexis Drogoul (LAFORIA, Paris 6)
Marie-Helene Greboval (HEUDIASYC, Compiegne)
Eric Jacopin (THOMSON-CSF/LCR, Orsay)
Ulrich Junker (ILOG, Gentilly)
Marie-Christine Lagasquie-Schiex (IRIT, Toulouse)
Benoit Lemaire (LSE, Grenoble)
Olivier Lhomme (EM, Nantes)
Jerome Mengin (OBU, Oxford)
Abdel-Illah Mouaddib (CRIL, Lens)
Marjorie Moulet (INRIA, Le chesnay)
Odile Papini (LIM, Marseille)
Mohamed Quafafou (IRIN, Nantes)
Rene Quiniou (AFIA/IRISA, Rennes)
Vincent Risch (LIM, Marseille)
Monique Rolbert (LIM, Marseille)
Torsten Schaub (LERIA, Angers)
Pascale Sebillot (IRISA, Rennes)
Laurent Siklossy (AFIA/LIA, Univ Savoie, Chambery)
Pierre Tchounikine (IRIN, Nantes)
Laure Vieu (IRIT-EFR, Toulouse)
Raoul Vorc'h (IRISA, Rennes)

President du Comite d'Organisation
Philippe LAMARRE
IRIN,
2 rue de la Houssiniere,
44072 Nantes CEDEX 03
lamarre@irin.univ-nantes.fr

Comite d'Organisation
Sylvie Cazalens (IRIN, Nantes)
Christophe Choquet (IRIN, Nantes)
Beatrice Daille (IRIN, Nantes)
Beatrice Duval (IRIN-LERIA, Angers)
Chantal Enguehard (IRIN, Nantes)
Zoltan Istenes (IRIN, Nantes)
Christine Jacquin (IRIN, Nantes)
Philippe Lamarre (IRIN, Nantes)
Abdelouahab Mekaouche (IRIN, Nantes)
Pascal Nicolas (IRIN-LERIA, Angers)
Mohamed Quafafou (IRIN, Nantes)
Pierre Tchounikine (IRIN, Nantes)

rjcia96.org@irin.univ-nantes.fr

III - La Ville de Nantes
Ville a la fois dynamique et sympathique, Nantes est tres bien desservie
par les reseaux de communication. La Faculte des Sciences et des Techniques
est situee a seulement quelques minutes du centre ville. Pour arriver
jusqu'a la Faculte, on peut consulter les explications situee a l'adresse :
http://www.sciences.univ-nantes.fr/divers/acces.html.
Quelques plans sont disponibles a l'adresse  :
http://www.sciences.univ-nantes.fr/divers/plans/
(Si vous ne pouvez pas acceder a ces ressources, envoyez-nous un courrier
electronique )

A partir du vendredi 30 Aout et jusqu'au dimanche 1er septembre auront lieu
les "Rendez-vous de l'Erdre". Ces journees sont une des manifestations
culturelles et festives les plus reputees de Nantes, avec differentes
animations (concerts gratuits en plein air, degustations de produits
locaux, expositions, ...) assurees tous les apres-midis et soirs pendant
trois jours.

IV - Bulletin d'inscription

-------------------------------------------------------------------
FORMULAIRE D'INSCRIPTION

A remplir par toute personne desirant participer a ces rencontres et a
retourner IMPERATIVEMENT (courrier surface) a :
     Organisation RJC-IA'96
     IRIN
     2 Rue de la Houssiniere
     44072 NANTES CEDEX 03

Monsieur        Madame   (entourer le terme adequat)
Nom : ......................................................................
Prenom : .....................................................
Organisme :
............................................................................
......................................................
Adresse :
............................................................................
...........................................................
Code Postal : ..............................................
Ville :
............................................................................
............
Pays
:...........................................................................
.......................................................
Telephone :................................................. Telecopie
.......................................................
e-mail :
............................................................................
........................................................

FRAIS D'INSCRIPTION
Ils comprennent la participation aux journees, les actes, les dejeuners,
les pauses-cafe, les animations.
Universitaire (avant le 01. 07. 96) : 640 F TTC
Universitaire (apres le 01. 07. 96) : 1280 F TTC
Adherent AFIA : 1450 F TTC
Plein tarif : 1650 F TTC
Les tarifs preferentiels ne sont applicables que sur justification.

MODE DE PAIEMENT
je joins un cheque bancaire ou postal : OUI     NON
je joins un bon de commande de l'organisme payeur : OUI     NON

Les reglements s'effectueront a l'ordre de :  ASS AFIA RJC-IA'96

je demande une facture : OUI     NON

VOYAGE
Je souhaite recevoir une fiche de reduction (entourer selon la preference) :
SNCF   AIR-INTER

HEBERGEMENT
Je souhaite etre heberge(e) en residence lyceenne (50F TTC/nuit/pers.)
OUI     NON
Si OUI, je reserve pour les nuits du :
 27      28      29      30
Je loue en plus draps et taie (forfait : 20,50 F TTC) OUI      NON

Le nombre de chambres individuelles etant limite, je demande a etre loge
avec : ............................................................... (il
est entendu que la personne mentionnee ici doit indiquer votre nom dans son
propre bulletin d'inscription; en l'absence de nom, le comite pourra en cas
de besoin vous associer un co-locataire)


Date :                                                      Signature :

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

------------------------------------------------------------------------------
Sylvie Cazalens
Institut de Recherche en Informatique de Nantes         tel : (33) 40 37 49 89
2 rue de la Houssiniere                                 fax : (33) 40 37 49 70
F 44072 Nantes cedex 03                  e-mail : cazalens@irin.univ-nantes.fr
------------------------------------------------------------------------------