Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 14 No. 23
NL-KR Digest Sat Apr 1 00:00:18 PST 1995 Volume 14 No. 23
Today's Topics:
CFP: Tools with AI '95, IEEE, Nov 95, Wash. DC
Program: JFPL95 Logic Programming, May 95, Dijon
* * *
Subcriptions: listserv-style administrative requests to
nl-kr-request@ai.sunnyside.com.
Submissions, policy, questions: nl-kr@ai.sunnyside.com
To speed up processing of your submission write to
listserv@ai.sunnyside.com with the message:
GET nl-kr style
Back issues:
FTP: ai.sunnyside.com:/pub/nl-kr/Vxx/Nyyy
/pub/nl-kr/Vxx/INDEX
Gopher: ai.sunnyside.com, Port 70, in directory /pub/nl-kr
Email: write to LISTSERV@AI.SUNNYSIDE.COM, omit subject, mail command:
GET nl-kr nl-kr_file_list
Web: http://ai.sunnyside.com/pub/nl-kr
Editors:
Al Whaley (al@ai.sunnyside.com) and
Chris Welty (weltyc@sigart.acm.org).
-----------------------------------------------------------------------
To: comp-ai-nlang-know-rep@DECWRL.DEC.COM
From: bojan@cs.uh.edu ( Bojan Cukic )
Subject: CFP: Tools with AI '95, IEEE, Nov 95, Wash. DC
Date: 22 Mar 1995 23:30:32 GMT
CALL FOR PAPERS
7th IEEE International Conference on
TOOLS WITH ARTIFICIAL INTELLIGENCE
Nov. 5 (Sun), 1995 - Nov. 8 (Wed), 1995
Washington, D.C. area, Hyatt Dulles
Sponsored by IEEE Computer Society
This conference is envisioned to foster the creation and transfer of ideas
relating to artificial intelligence among academics, industry,
and government agencies. It focuses on methodologies that can
aid the development of AI, as well as the demanding issues involved
in turning these methodologies into practical tools. Thus, this
conference encompasses the technical aspects of specifying,
developing, and evaluating theoretical and applied mechanisms
that can serve as tools for developing intelligent systems and
pursuing artificial intelligence applications. Focal topics of
interest include, but are not limited to, the following:
- AI Paradigms
- Knowledge-Based Systems
- Artificial Neural Networks
- Genetic Algorithms
- Development Issues
- Machine Learning
- Logic and Constraint Programming
- Inference Analysis
- Information Modeling and Reasoning Technique
- Uncertainty Management and Fuzzy Logic
- AI Languages
- Natural Language and Multimedia Interfaces
- Adaptive AI Systems
- Distributed and Parallel AI Systems
- Software Engineering Strategies for AI Development
- Reliability and Performance Assessment
- Applications
- Intelligent Vehicle Highway Systems
- Intelligent Strategies for Scheduling and Planning
- Robotics
- Vision
- Distributed and Cooperative AI, Multiagent coordination
- Intelligent Agents, Databases, and Digital Libraries
- Formal Methods, Software Engineering, CASE Tools
- Intelligent Tutoring, Instruction, and Consulting Systems
INFORMATION FOR AUTHORS
There will be both academic and industry tracks. One-day workshops
(Nov. 5) will precede the conference (Nov. 6-8).
All submissions should include a cover page indicating (1) the conference
track (academic/industry), (2) one to three areas most relevant to
the submission, (3) title, (4) the names of all authors and
their complete mailing addresses, e-mail addresses (VERY IMPORTANT
- most correspondence will be via e-mail), and telephone & fax numbers,
(5) clear identification of the contact author for multi-authored
submissions, (6) an abstract not exceeding 200 words, and (7) 5 keywords.
PAPERS should not exceed 20 pages, including figures and text (typed
with 1.5 spacing and 12 point font). Papers
published, accepted for publication, or under consideration elsewhere are
not eligible.
INDUSTRY TRACK submissions can be in the form of short papers
(5 to 10 pages) or a set of viewgraphs or other audio-visual forms.
They should focus on methodology and timely results on AI technological
applications and problems.
AWARD:
The C.V. RAMAMOORTHY Best Paper Award
will be given to the best paper accepted for the Conference.
Submit 6 copies of papers by April 14, 1994 to:
Farokh B. Bastani
Department of Computer Science
University of Houston
Houston, TX 77204-3475
USA
Phone: (713) 743-3354
Fax: (713) 743-3335
Email: coscfb@cs.uh.edu
Further information about the CFP, program, registration form,
hotel registration form, and general conference information
may be obtained from tai95@cs.uh.edu and tai@cs.tulane.edu.
For more information, please contact:
General Chair
Stephen Szygenda
Dept. of ECE
University of Texas
Austin, TX 78712-1084
Phone: (512) 471-6179
Fax: (512) 471-0954
Email: szygenda@uts.cc.utexas.edu
Steering Committee Chair
Nikolaos G. Bourbakis
Department of Electrical Engineering
SUNY at Binghamton
Binghamton, NY 13902
Phone: (607) 777-2165
Fax: (607) 777-4464
Email: bourbaki@bingvaxu.cc.binghamton.edu
= = = = = = = = = = = = = ====
COMMITTEE
GENERAL CHAIR:
Stephen Szygenda, U of Texas at Austin
PROGRAM COMMITTEE CHAIR:
Farokh B. Bastani, U of Houston
VICE-CHAIRS:
Rudiger Brause, Goethe Univ., Germany
Nick Cercone, U of Regina, Canada
Ing-Ray Chen, Nat. Cheng Kung Univ., Taiwan
Betty H.C. Cheng, MSU, USA
Christoph Eick, U of Houston, USA
Jun Gu, U of Calgary, Canada
Louis J. Hoebel, Griffiss AFB, USA
S. Sitharama Iyengar, LSU, USA
Akhtar Jameel, Xavier Univ., USA
K.H. (Kane) Kim, UC-Irvine, USA
James Mayfield, UM-BC, USA
Daniel P. Miranker, UT-Austin, USA
Goffredo Pieroni, U of Udine, Italy
Niki Pissinou, USL, USA
Atul Prakash, U of Michigan, USA
Peter G. Selfridge, AT&T, USA
Jaideep Srivastava, U of Minnesota, USA
Ralf Steinmetz, IBM, Germany
V.S. Subrahmanian, U of Maryland, USA
Milind Tambe, USC, USA
Murat Tanik, SMU, USA
Eiji Uchino, Kyushu Inst. of Tech., Japan
I-Ling Yen, MSU, USA
John Yen, Texas A&M Univ., USA
AWARD CHAIR:
Shi-Kuo Chang, U of Pittsburgh, USA
GOVERNMENT WORKSHOP CHAIR:
Raymond Paul, CSTE-EZT, U.S. Army
INDUSTRIAL WORKSHOP CHAIR:
Jim Baker, Lockheed, USA
PUBLICITY CHAIRS:
Kazumasa Yokota, ICOT, Japan
Shashi Shekhar, U of Minnesota, USA
Alan Liu, Taiwan
Aldo Franco Dragoni, U of Ancona, Italy
Bojan Cukic, U of Houston, USA
LOCAL ARRANGEMENTS CHAIR:
D. Kavraki, Binghamton, USA
(Email: INBS@Bingsuns.cc.Binghamton.edu)
S. Mertoguno, SUNY-Binghamton, USA
(Email: karno@rs1.ee.binghamton.edu)
REGISTRATION CHAIR:
J. Vassilopoulos, Tulane Univ., USA
(Phone: (504) 586-3905
Email: jfv@rs1.tcs.tulane.edu)
STEERING COMMITTEE
Chair: Nikolaos G. Bourbakis, SUNY-Binghamton, USA
Cris Koutsougeras, Tulane Univ., USA
John Mylopoulos, U of Toronto, Ontario, Canada
Jeffrey J.P. Tsai, U of Illinois at Chicago, USA
Benjamin W. Wah, U of Illinois at Urbana-Champaign, USA
-----------------------------------------------------------------------
From: jfpl95@depinfo.u-bourgogne.fr
Subject: Program: JFPL95 Logic Programming, May 95, Dijon
To: nl-kr@cs.rpi.edu
Date: Mon, 27 Mar 95 13:10:21 MET
* * * * * * * * * * * * ***
* APPEL A PARTICIPATION *
* *
* JFPL'95 *
* Journees Francophones de Programmation en Logique *
* *
* Universite de Bourgogne *
* Dijon - France *
* 17, 18 et 19 mai 1995 *
* * * * * * * * * * * * ***
Organisees par :
CRID, Universite de Bourgogne.
LAB, Universite de Franche-Comte.
AFCET - GT Programmation en Logique (ALP France)
Parrainees par : AFCET
INRIA
Region de Bourgogne
Ville de Dijon
Universite de Bourgogne
President des journees : Jean-Jacques Chabrier
Vice-President : Bruno Legeard
Responsable du challenge prototype : Francois Jacquenet
Comite d'organisation :
Jean-Jacques Chabrier, CRID Jacqueline Chabrier, CRID
Dominique Belime, CRID Francois Jacquenet, CRID
Buno Legeard, LAB
Comite de lecture :
H. AIT KACI, SFU (Canada)
H. BERINGER, IBM
P. BOIZUMAULT, Ecole des Mines de Nantes
J.F. BOULICAUT, LISI - Lyon
F. BRY, Universite de Munich
P. CODOGNET, INRIA Rocquencourt
M.M. CORSINI, LaBRI - Bordeaux
P. DERANSART, INRIA Rocquencourt
P. DEVIENNE, LIFL - Lille
Y. DEVILLE, UCL (Louvain-La-Neuve Belgique)
M. DINCBAS, COSYTEC - Orsay
M. DUCASSE, IRISA/INSA - Rennes
G. FERRAND, LIFO - Orleans
L. FRIBOURG, LIENS/CNRS - Paris
E. HUBERT, SLIGOS-DELPHIA
J.L. IMBERT, Universite de Clermont-Ferrand
J. JOURDAN, THOMSON LCR
H. KIRCHNER, CRIN et INRIA Lorraine
J.F. PUGET, ILOG
O. RIDOUX, IRISA/INRIA - Rennes
M. RUEHER, I3S - Nice
P. SAINT-DIZIER, IRIT - Toulouse
P. TAILLIBERT, DASSAULT ELECTRONIQUE
M. VAN CANEGHEM, LIM - Marseille
M.C. VILAREM, LIRMM - Montpellier
Apres les precedentes Journees Francophones de Programmation en Logique
qui se sont tenues a Lille (1992), Nimes (1993) et Bordeaux (1994), le
groupe de travail Programmation en Logique de l'AFCET, chapitre francais
de l'ALP, a choisi Dijon, capitale des Ducs de Bourgogne, comme site
d'accueil pour son edition 1995. JFPL'95 sera organise conjointement par
le Centre de Recherche en Informatique de Dijon (CRID) de l'Universite
de Bourgogne et le Laboratoire d'Automatique de Besancon (LAB) de
l'Universite de Franche-Comte.
- - - - - - - - - - - - - - - ----
+ PROGRAMME DES JOURNEES +
- - - - - - - - - - - - - - - ----
MERCREDI 17 MAI 1995
8:45 - 9:15 Accueil et enregistrement des participants
9:15 - 9:30 Message de Bienvenue
9:30 - 11:00 Session CONTRAINTES 1
* Un modele d'execution reactif et interactif pour la programmation
logique avec contraintes
(J. Fowler, T. Sola - LCR Thomson-CSF ; F. Fages - LIENS)
* Constraint rewrite programs : a way to evaluate CLP programs
(G. Richard, F. Saubion - LIFO, Universite d'Orleans)
* Prolog IV : langage et algorithmes
(F. Benhamou - LIFO, Universite d'Orleans ; Touraivane - PROLOGIA)
11:00 - 11:30 Pause cafe
11:30 - 13:00 Session SEMANTIQUE
* A generic fixpoint semantics for PROLOG and its application
for abstract interpretation
(B. Le Charlier - Universite de Namur (Belgique) ;
P. Van Hentenryck - Brown University (USA))
* Redefinir l'enlisement pour la resolution SLDNF
(J.H. Rety - INRIA Rocquencourt)
* Preuves compositionnelles en programmation logique
(A. Lallouet - LIFO, Universite d'Orleans)
13:00 - 14:15 Dejeuner
14:15 - 15:00 CONFERENCE INVITEE
* Solvable set/hyperset context
(E. Omodeo - Universite de Rome (Italie))
15:00 - 15:30 Session EXTENSION
* Logic Programming with Monads and Comprehensions
(Y. Bekkers - Universite de Rennes 1 ;
P. Tarau - Universite de Moncton (Canada))
15:30 - 16:00 Pause cafe
16:00 - 17:30 Session BASES DE CONNAISSANCES - BASES DE DONNEES
* Evaluation des methodes d'achevement par parties
(O. Roussel, P. Mathieu - LIFL, CNRS URA 369, Universite de Lille 1)
* Fixpoint definitions of the well-founded semantics for disjunctive
logic programs and deductive databases
(C. Papp - University "Al. I. Cuza" Iasi (Roumanie))
* A mixed approach to negation in general datalog programs
(V. Phan Luong - LIM, CNRS URA 1787, Universite de Marseille)
17:30 Depart pour la visite de cave
- - - - - - - - - - - - - - - ----
JEUDI 18 MAI 1995
8:30 - 10:00 Demonstration de prototypes
10:00 - 10:45 CONFERENCE INVITEE
Applications et evolutions du langage CHIP
M. Dincbas (COSYTEC)
10:45 - 11:15 APPLICATION
Programmation par contraintes appliquee a l'industrie
agro-alimentaire au Bresil
A. Fernandez De Alencar, B. Vich (ABC BULL - Bresil)
J.J. Chabrier (CRID, Universite de Dijon)
11:15 - 11:45 APPLICATION
Utilisation de la PLC pour des systemes d'aide a la decision
en planification et ordonnancement chez Dassault Aviation
A. Chamard (DASSAULT Aviation)
11:45 - 13:15 Demonstration de prototypes
13:15 - 14:30 Dejeuner
14:30 - 15:15 CONFERENCE INVITEE
Applications industrielles de PROLOG III
et presentation de PROLOG IV
Touraivane (PROLOGIA)
15:15 - 16:00 CONFERENCE INVITEE
Applications et evolutions d'ILOG SOLVER
J.F. Puget (ILOG)
16:00 - 16:30 Pause cafe
16:30 - 18:00 TABLE RONDE
Les apports de la resolution par contraintes pour la
resolution d'applications industrielles
Avec la participation des societes COSYTEC, ILOG, PROLOGIA,
DASSAULT Aviation, ABC BULL (Bresil) ;
Animateur : B. Legeard (LAB, Universite de Franche-Comte)
18:00 - 19:00 Demonstration de prototypes
19:00 Reunion ALP France
- - - - - - - - - - - - - - - ----
VENDREDI 19 MAI 1995
9:00 - 10:00 TUTORIAL
* Bases de Donnees Deductives
(F. Bry - Universite de Munich)
10:00 - 11:00 Session BASES DE DONNEES
* An Algebraic semantics for Datalog
(E. Foustoucos, N. Spyratos - LRI, CNRS URA 410, Universite d'Orsay ;
K. Lellahi - LIPN, CNRS URA 1507, Universite de Paris 13)
* Regles de mises a jour et programmes Datalog
(M. Halfeld Ferrari Alves, N. Spyratos - LRI, CNRS URA 410, Universite d'Orsay ;
D. Laurent - LIFO, Universite d'Orleans)
11:00 - 11:30 Pause cafe
11:30 - 13:00 Session CONTRAINTES
* Une application pragmatique de la consistance de chemins
(P. Berlandier - I3S, Universite de Nice)
* Resolution de problemes continus en PLC avec les intervalles
(S. N'Dong, M. Van Caneghem - LIM, CNRS URA 1787, Universite de Marseille)
* Algorithmes pour le traitement incremental des contraintes lineaires
sur les nombres rationnels
(N. Singer - Laboratoire d'informatique de Clermont-Ferrand)
13:00 - 14:15 Dejeuner
14:15 - 14:30 Remise des prix du challenge du prototype
14:30 - 16:00 Session RESOLUTION
* Controle dynamique de la resolution pour les programmes logiques avec
contraintes
(F. Mesnard, S. Hoarau - Iremia, Universite de la Reunion)
* Logique des defauts de Lukaszewicz : un demonstrateur base sur la
SLD-resolution pour les theories ouvertes
(P. Nicolas, B. Duval - Universite d'Angers)
* Typage et validation - une adaptation du point de vue de Lee Naish
(B. Malfon - LIFO, Universite d'Orleans)
16:00 Cloture des journees
- - - - - - - - - - - - - - - ----
+ CHALLENGE PROTOTYPE +
- - - - - - - - - - - - - - - ----
Pour "connaitre et faire connaitre" les travaux d'experimentation en
programmation logique et ses extensions, JFPL'95 organise, en parallele avec
le programme scientifique, un challenge des meilleurs prototypes de
recherche developpes dans les laboratoires francophones. Les prototypes
presentes seront les suivants :
* Programme de diagnostic de circuits electroniques
(E. Loiez - Departement signaux et systemes, ISEN, Lille)
* Approche par contraintes : application a un probleme de gestion
de production
(M. Sicard, L. Haudot - DASSAULT AVIATION ;
P. Esquirol, P. Lopez - LAAS, Toulouse)
* Verification de declarations en programmation logique avec contraintes
(E. V etillard - LIM, CNRS URA 1787, Marseille)
* CLPS : un langage de PLC ensembliste
(F. Ambert, B. Legeard, H. Zidoum - LAB, CNRS URA 1785, Besan5on)
* Demonstration du prototype Chimera : un systeme de Base de Donnees
Deductif et Oriente Objet
(P. Bonnet, S. Bressan - ECRC Munich (Allemagne))
* MINOS, Analyse et Simulation d'Hypernets
(A. Lefort, P. Yim - LAIL, CNRS URA 1440, Lille)
* The theorem prover SATCHMO : strategies, heuristics and applications
(F. Bry - Universite de Munich)
* Concept : a system for deriving datalog inheritance
(M.A. Oros, P.Y. Gloess - LaBRI, ENSERB et
Universite de Bordeaux I, CNRS URA 1304)
* The clp(FD) system
(P. Codognet, D. Diaz - INRIA Rocquencourt)
* SCORE(FD/B) : resolution de problemes SAT aleatoires et structures
(J. Chabrier, V. Juliard, J.M. Richer - CRID, Dijon)
* Outil d'aide a l'elaboration d'ordonnancement cyclique pour les lignes
de traitement de surface
(C. Varnier, P. Baptiste, B. Legeard - LAB, ENSMM, CNRS URA 1785, Besancon)
* U-Log 3 = datalog + constraints
(P.Y. Gloess, M.A. Oros - LaBRI, ENSERB et
Universite de Bordeaux I, CNRS URA 1304 ;
Chu Min Li - UTC, CNRS URA 817 et LAMIFA, Amiens)
* Une implementation d'un systeme cooperatif pour la resolution de
contraintes sur les reels
(P. Marti - ESSI, Nice)
* Conjunto : un langage de programmation en logique avec contraintes
sur domaines finis d'ensembles
(C. Gervet - ECRC, Munich (Allemagne))
* Un modele d'architecture multi-agents entierement ecrit en Prolog
(N. Bensaid, P. Mathieu - LIFL, CNRS URA 369, Lille 1)
* Overview of Miles and its constraint solving mechanism
(P. Bellot - ENST Paris ; O. Camp, C. Matiachoff - IBM Paris)
* Une approche declarative et non deterministe de la programmation
logique par objets mutables
(M. Ngomo, J.P. Pecuchet, A. Drissi-Talbi - LIR INSA de Rouen)
* SetX2 : un langage logico-fonctionnel manipulant des ensembles
finis et infinis
(P. Yim - LAIL, EC Lille, CNRS URA 1440)
* TALC : un tuteur pour la construction de figures geometriques logiquement
correctes
(C. Desmoulins - CRIN, Nancy)
* Evaluation repartie asynchrone de requetes DATALOG
(V. Berry, P. Ezequel - LIRMM, Montpellier)
* Un langage de programmation en logique propositionnelle base
sur des techniques de reecriture
(C. Roblot - CRID, UniversitE de Dijon)
* Optimisation de dEcoupe tridimensionnelle dans un processus de
transformation du bois
(S. Laduguie, O. Decroux - CRID, UniversitE de Dijon ;
C. Tripier - SociEtE Mauchamp, Dijon)
* ELYCE : Optimisation de l'emploi du temps des lycEes et des colleges
(D. Guinaudeau - BULL)
- - - - - - - - - - - - - - - ----
+ INFORMATIONS PRATIQUES +
- - - - - - - - - - - - - - - ----
Lieu :
Universite de Bourgogne
Faculte de droit
Amphitheatre Guitton
(extension de la faculte de droit)
Boulevard Gabriel
Campus universitaire
21000 DIJON
France
Acces :
Jusqu'a Dijon :
SNCF : TGV a 1h35 de Paris
AUTOROUTE :
A6-A38 vers Paris Lyon
A26 vers Reims, Calias, Lille
A31 vers Nancy, Metz, Luxembourg
A36 vers Mulhouse, Strasbourg
A39 vers Dole
AEROPORT : Dijon-Bourgogne
Liaisons regulieres, nationales et internationales
a 6 km au sud-est de Dijon
B.P. 25
21601 Longvic Cedex
Tel : 80.67.67.67
Fax : 80.63.02.99
Jusqu'a la faculte de droit :
* autobus : ligne 9 a prendre en gare, arret sur le campus : ERASME ou SAVARY
* taxis a prendre en gare.
Hebergement :
Nombreux hotels.
Une liste des hotels vous sera adressee des reception de votre bulletin
d'inscription.
(ATTENTION !!!, Dijon est une ville touristique et les hotels sont assez
charges au mois de mai.)
Vous pouvez aussi contacter l'office du tourisme de Dijon :
Office du tourisme de Dijon
Place Darcy
B.P. 1309
21022 Dijon Cedex
Tel : 80.44.11.44
Minitel : 3615 ITOUR
- - - - - - - - - - - - - - - ----
+ BULLETIN D'INSCRIPTION A JFPL'95 +
- - - - - - - - - - - - - - - ----
Droits d'inscription :
Avant le 20 avril 1995 :
Universitaire : 1 000FF
Industriel : 1 700FF
Etudiant : 400FF (envoyer une photocopie de la
carte d'etudiant de l'annee en cours)
Apres le 20 avril 1995 :
Universitaire : 1 300FF
Industriel : 2 000FF
Etudiant : 500FF (envoyer une photocopie de la
carte d'etudiant de l'annee en cours)
Reduction accordee aux membres de l'ALP :
(a deduire des tarifs ci-dessus)
Universitaire : 200FF
Industriel : 200FF
Etudiant : 100FF
Reglement par :
* Cheque postal ou bancaire etabli en FRANCS FRANCAIS a l'ordre de :
APIAB (Association pour la Promotion de l'Informatique Avancee en Bourgogne)
compte numero 00050084562 a la Societe Generale agence Dijon Clemenceau
* Bon de commande
Vous pouvez decouper le bon ci-dessous et l'envoyer au secretariat des journees
ou demander un programme et un bulletin d'inscription au secretariat des journees.
- - - - - - - - - - - - - - - ----
Nom : Prenom :
Organisme :
Adresse :
Code postale :
Ville :
Pays :
Telephone :
Fax :
e-mail :
Facture souhaitee en exemplaire(s)
Adresse de facturation si differente :
Desire s'inscrire aux quatrieme journees Francophones de Programmation
en Logique (JFPL'95) et s'engage a verser les droits d'inscription.
Date : Signature :
Je desire recevoir une fiche de reduction congres sur le transport SNCF
OUI
NON
Ci joint mon reglement par :
CHEQUE
BON DE COMMANDE
- - - - - - - - - - - - - - - ----
- - - - - - - - - - - - - - - ----
Pour tout renseignement complementaire concernant les journees, contacter :
Secretariat :
Mme Dominique BELIME
CRID - Faculte des Sciences Mirande
B.P. 138
21004 DIJON Cedex
Tel : (33).80.39.58.87 - Fax : (33).80.39.58.15
e-mail : jfpl95@crid.u-bourgogne.fr
Responsable du challenge :
Francois JACQUENET
CRID - Faculte des Sciences Mirande
B.P. 138
21004 DIJON Cedex
Tel : (33).80.39.58.85 - Fax : (33).80.39.58.15
e-mail : jfpl95@crid.u-bourgogne.fr
End of NL-KR Digest
*******************
