Colloque Intelligence Artificielle de Berder, 22-24 septembre 1999

T. Pannérec

LIP6 2000/002: Rapport de Recherche LIP6 / LIP6 research reports
181 pages - Février/February 2000 - French document.

PostScript : 1318 Ko /Kb

Contact : par mail / e-mail

Thème/Team: Apprentissage et Acquisition de Connaissances

Titre français : Colloque Intelligence Artificielle de Berder, 22-24 septembre 1999
Titre anglais : Berder's Artificial Intelligence Workshop, September, 22-24 1999


Résumé : Ce rapport contient la majeure partie des interventions effectuées lors du colloque Intelligence Artificielle qui s'est tenu du 22 au 24 septembre 1999, sur l'île de Berder. Il fait état d'un certain nombre de travaux qui ont été réalisés au cours de l'année 1999 par l'équipe Métaconnaissance du LIP6. Il constitue la livraison pour 1999 du document d'état de l'art dont DER-EDF a passé commande dans le contrat 129/1K9859/IMA 346.

Abstract : These proceedings contain selected papers from the Artificial Intelligence Workshop that was held September, 22-24 1999, on Berder island. It is a summary of the LIP6 Metaknowledge Group work in 1999, which constitutes the 1999 state-of-the-art report that was ordered by DER-EDF in the contract 129/1K9859/IMA 346.


Mots-clés : Intelligence Artificielle, Monitoring, Démonstration de Théorèmes, EIAO, Jeux

Key-words : Artificial Intelligence, Monitoring, Automatic Theorem proving, ITS, Games


Publications internes LIP6 2000 / LIP6 research reports 2000

Responsable Éditorial / Editor :Jacques.Pitrat