From reitz Mon Dec 19 09:23:55 1994 Received: from serane.lirmm.fr (serane.lirmm.fr [193.49.105.20]) by lirmm.lirmm.fr (8.6.9/8.6.4) with ESMTP id JAA13005 for ; Mon, 19 Dec 1994 09:23:55 +0100 Received: (reitz@localhost) by serane.lirmm.fr (8.6.9/8.6.4) id JAA28123 for reitz@lirmm.fr; Mon, 19 Dec 1994 09:21:15 +0100 Date: Mon, 19 Dec 1994 09:21:15 +0100 From: Philippe REITZ Message-Id: <199412190821.JAA28123@serane.lirmm.fr> To: reitz Subject: JOURNEES NATIONALES DU PRC-GDR IA Status: RO From: Francois Charpillet Date: Thu, 8 Dec 1994 18:49:01 +0100 (MET) PROGRAMME DES CINQUIEMES JOURNEES NATIONALES DU PRC-GDR INTELLIGENCE ARTIFICIELLE 1-3 fevrier 1995, Nancy Mercredi 1er fevrier : Palais des Congres ------------------------------------------ 8:00-8:30 Accueil Hall d'entree 8:30-9:00 Session d'ouverture 9:00- 9:45 conference invitee Salle Daum Quelques considerations sur le raisonnement temporel P. Ladkin 9:45-10:15 Pause cafe 10:15-12:30 Projets inter-prc Salle Daum Le projet classes polynomiales R. Genisson et A. Rauzy Methodes symbolique-numeriques de discrimination O. Gascuel et P. Gallinari Gestion de l'evolutif et de l'incertain dans une base de connaissances C. Froidevaux et A. Herzig Mecanisation du raisonnement J.-P. Jouannaud, T. Boy de la Tour, S. Demri et R. Curien 12:30-14:30 Dejeuner 14:30-16:00 Session I Salle Daum Booleens : Algorithmes et Heuristiques pour l'Intelligence Artificielle P. Siegel et M.-C.Vilarem Autour du probleme de satisfaction de contraintes P. David et H. Fargier Graphes conceptuels M. Chein 16:00-16:30 Pause Cafe 16:30-18:00 Session II Salle Daum Classification et objets : programmation ou representation ? B. Carre, R. Ducournau, J. Euzenat, A. Napoli et F. Rechenmann Modelisation de connaissances pour des Environnements Interactifs d'Apprentissage avec Ordinateur M.Vivet et M. Baron EVA : modelisation et representation de connaissances heterogenes guidees par les besoins en Explication Validation et Acquisition Eva P. Erce 19:00 Reception de bienvenue Mairie de Nancy Jeudi 2 fevrier : Palais des Congres ------------------------------------- 9:00- 9:45 conference invitee Salle Daum Une introduction a la decouverte de connaissances dans les bases de donnees (DCBD) Y. Kodratoff 9:45-10:15 Pause cafe 10:15 - 12:45 Session III Salle Daum La generation d'explications negociees dans un systeme a base de connaissances M. Baker, J.-L. Dessalles, M. Joab, P.-Y. Raccah, B. Safar et D. Schlienger Le projet RESEAU FUTE : systemes multi-agents et gestion de reseau B. Esfandiari, J. Quinqueton, J.- L. Koning, et Y. Demazeau Raisonnement qualitatif asymptotique par les ordres de croissance A. Missier et S. Xanthakis Methodes probabilistes pour la planification de mouvements en robotique E. Mazer Comprendre des textes en langue naturelle F. Levy 12:45-14:30 Dejeuner 14:30-16:00 Session jeunes chercheurs Salle Daum Un modele cognitif pour la resolution d'un probleme a informations incompletes N. Chaignaud Planifier avec des Contraintes de Ressources P. Laborie Une classification des relations d'inference non-monotone dans les approches syntaxiques M. C. Lagasquie-Schiex Interpretation de comportements peu contraints, application dans les systemes multi-agents M. Ornato 16:00-16:30 Pause Cafe 16:30-18:00 Session IV Salle Daum Methodes semantiques de demonstration pour logiques non standards C. Belleannee, P. Kuhna, P. Lamarre, C. Schwind, S. Thiebaux, V. Vialard et R. Vorc'h De la representation a la validation : la generalisation dans les reseaux de neurones S. Boucheron, S. Canu et Y. Grandvallet Reflexions sur le concept de base de connaissances terminologiques D. Bourigault et A. Condamines 18:00-19:30 Reunion des equipes du PRC Salle Drouot Vendredi 3 fevrier : Batiment LORIA -------------------------------------- 9:00-10:00 Demonstrations et Posters Batiment LORIA 10:00-10:30 Pause cafe 10:30-12:30 Ateliers I Batiment LORIA Session: A1 Planification et raisonnement sur l'action Hierarchie d'Abstraction pour le planificateur IxTeT F. Garcia (INRA-Toulouse) et Ph. Laborie (LAAS-CNRS) Une logique d'actions pour la planification C. Pain-Barre et Camilla Schwind (LIM, Marseille) Cooperation Multi-robot par Insertion Incrementale de Plans R. Alami (LAAS-CNRS) Une algebre incidente pour la planification classique E. Jacopin (LAFORIA, Paris) Session: B1 Explication, EIAO et SMA : apports reciproques Session: C1 Autour du probleme de satisfaction : extensions, algorithmes et complexite Amelioration de la methode de Davis et Putnam exploitant la resolution T. Castel (IRIT-Toulouse) Calcul et representation de modeles d'une base de connaissance propositionnelle V.Vialard (LIM, Marseille) et Raoul Vorc'h (IRISA, Rennes) Ordered Binary Decisions Diagrams et CSP dynamiques F. Bouquet et P. Jegou (LIM, Marseille) Preuve en logique lineaire J. Castaing (LIPN-Paris) 12:30-13:30 Buffet 13:30-15:30 Ateliers II Batiment LORIA Session: A2 Planification et raisonnement sur l'action Planification distribuee par reseaux de Petri hierarchiques A. Fallah Seghrouchni (LIPN, Villetaneuse) Sur les algorithmes d'approximation a la planification optimale dans le monde des cubes S. Thiebaux (IRISA, Rennes) Agent autonome et motivation P. Morignot et B. Hayes-Roth (Knowledge Systems Lab., Stanford University) Planification et execution d'actions paralleles en environnement dynamique : le systeme SPEEDY C. Bastie, P. Regnier (IRIT, LAAS) Les problemes de controle d'execution en planification de programmes de traitements d'images S. Moisan (INRIA, Sophia) Session: B2 Explication, EIAO et SMA : apports reciproques Session: C2 Autour du probleme de satisfaction : extensions, algorithmes et complexite SCORE(FD/B): resolution efficace de SAT aleatoires et structures O. Bailleux et J. Chabrier (CRID Dijon) CSP : raisonnement et/ou decision H. Fargier(IRIT, Toulouse, J. Lang (IRIT, Toulouse), R. Martin-Clouaire (INRA, Toulouse), T. Schiex (INRA, Toulouse) Methode semantique de demonstration pour formalismes non-monotones bases sur les logiques des conditionnels P. Lamarre (IRIN, Nantes) Symetries et dominances dans les CSP : applications aux problemes aleatoires B. Benhamou(LIM ,Marseille) Une histoire de la coherence d'arc (ou comment compter de 1 a 7 en 20 ans) C. Bessiere (LIRMM, Montpellier) ---------------------------------------------------------------------- Informations Generales Lieu Nancy, avec ses 102 410 habitants intra-muros et pres de 330 000 habitants dans l'agglomeration, est le chef-lieu du departement de Meurthe-et-Moselle, ainsi qu'un centre culturel, administratif, commercial et industriel de Lorraine. Ancienne capitale des Ducs de Lorraine, Nancy fut convoitee par Charles le Temeraire, qui perit sous ses murs en 1477. Agrandie par Charles III (1588), elle connut une nouvelle periode faste sous le roi-duc Stanislas Leszczynski (1738-1766). Les 5emes Journees Nationales du PRC-GDR IA se derouleront - les 1er et 2 fevrier 1995 au Palais des Congres de Nancy : rue du Grand Rabbin Haguenauer, 54000 Nancy - le 3 fevrier 1995 dans le batiment LORIA : 615 rue du Jardin Botanique, 54600 Villers-les-Nancy. Transport Nancy est facilement accessible par train de Paris (depart Gare de l'Est) en 2h30 a 3h. Il y a egalement des trains directs de Strasbourg, Dijon et Luxembourg. Les aeroports les plus proches sont : l'aeroport regional Metz/Nancy et l'aeroport de Luxembourg. Il existe une navette entre l'aeroport Metz/Nancy et le centre de Nancy (35FF). Repas Les dejeuners des 1er et 2 fevrier seront a la charge des participants (le Palais des Congres de Nancy se situant au centre ville, plusieurs restaurants se trouvent a proximite). Le dejeuner du 3 fevrier est offert aux participants. Hebergement Voici une liste de quelques hotels situes au centre de Nancy et leurs tarifs au 18/11/94 : Hotel Le Piroux* (douche-WC):12 rue Raymond Poincare tel. 83 32 01 10 fax 83 35 44 92 200 FF 25 FF (petit dej.) Hotel de Guise** (douche-WC): 18 rue de Guise (vieille ville) tel. 83 32 24 68 fax 83 35 75 63 195FF 22FF (petit dej.) Hotel Astoria / Albert 1er** (bain-WC) 3 rue de l'Armee Patton tel. 83 40 31 24 280 FF petit dej. compris (preciser convention INRIA) parking Hotel IBIS** (bain-WC): 3 rue Crampel tel. 83 32 90 16 fax 83 32 08 77 290FF 34(petit dej) Hotel Americain** (bain-WC) 3 place Andre Maginot tel. 83 32 28 53 fax 83 32 79 97 210 FF/270FF 38FF(petit dej) Hotel Mercure*** (bain-WC) 5 rue des Carmes tel. 83 35 32 10 fax 83 32 92 49 325 FF (petit dej. compris) preciser convention INRIA parking Hotel Altea Thiers*** (bain-WC)11 rue Raymond Poincare tel. 83 39 75 75 fax 83 32 78 17 475FF 52FF(petit dej) avec restaurant parking Enregistrement Les frais de participation aux 5emes Journees Nationales du PRC-GDR IA s'elevent pour les non-membres du PRC-GDR IA a 1500 F par personne comprenant le dejeuner du 3 fevrier. Le paiement des frais d'inscription se fait : - par cheque bancaire ou postal a l'ordre de l'AGENT COMPTABLE DE L'INRIA - par virement bancaire a l'ordre de l'AGENT COMPTABLE DE L'INRIA (avec votre nom et PRC-GDR IA), compte bancaire 10071-78000-0004400915389 a la TRESORERIE GENERALE DES YVELINES Merci de vous inscrire avant le 10 janvier 1995 en retournant le formulaire ci-dessous aux Relations Exterieures de l' INRIA-Lorraine, 615 rue du Jardin Botanique, B.P. 101, 54600 Villers-les-Nancy e-mail : PRC-IA@loria.fr "--------------------------------------------------------------------" Bulletin d'inscription aux 5emes Journees Nationales du PRC-GDR IA Nom : Prenom : Societe : Adresse : E-mail : tel. : fax : participation au buffet du 3 fevrier oui non Membre PRC oui non Renseignements INRIA Lorraine Relations Exterieures 615, rue du Jardin Botanique BP 101 54602 Villers-les-Nancy cedex tel. 83 59 30 00 - Fax 83 27 83 19 e-mail : PRC-IA@loria.fr