LID 96 - Séminaire international sur la logique dans les bases de données
La mission du séminaire consistera dans un premier temps à identifier et à promouvoir les techniques et les méthodologies articulées autour de la logique, puis à dégager celles qui se prêtent le mieux à la conception et à la mise au point de la prochaine génération de systèmes d'information. C'est avec cet objectif à l'esprit que le séminaire va réunir les experts travaillant sur des créneaux tels que les bases de données, la logique de calcul, et les systèmes d'information intelligents.
Ce séminaire englobe les percées technologiques réalisées dans les domaines suivants, sans toutefois y être limité:
- Actions, agents et règles actives existant en logique et dans les bases de données
- Raisonnement temporel au sein de la logique et des bases de données
-Incertitude et raisonnement approximatif
- Interrogations non déterministes, caractère expressif des langages d'interrogation, et raisonnement non-monotone dans les bases de données déductives
- Applications: recherche des connaissances et intégration sémantique dans les bases de données hétérogènes.
Les intervenants potentiels sont invités à soumettre des exposés dans l'un des domaines énoncés ci-dessus. Ces exposés doivent être adressés à l'une des présidences conjointes du programme d'ici le 1er avril 1996. Les intervenants sont encouragés à présenter leur exposé sous le format électronique PostScript.
Pour tout renseignement complémentaire, s'adresser à:
Universita' di Pisa
Dino Pedreschi
LID 96 - Présidence conjointe du programme
Dipartimento di Informatica
Corso Italia 40
IT-56125 Pisa
Tél. +39-50-887252; Fax +39-50-887226
E-mail: pedre@di.unipi.it
ou
University of California
Carlo Zaniolo
LID 96 - Présidence conjointe du programme
Department of Computer Science
Los Angeles
CALIFORNIA 90024
USA
E-mail: zaniolo@cs.ucla.edu
De plus amples informations sur la conférence sont également disponibles via le réseau Internet au:
http://www.di.unipi.it/LID96/info.html