Colloque Intelligence Artificielle de Berder, 13-15 septembre 2000

Édité par F. Kocik

T. Cazenave, groupe COMBIEN

LIP6 2001/014: Rapport de Recherche LIP6 / LIP6 research reports
166 pages - Juin/June 2001 - French document.

Get it : 991 Ko /Kb

Contact : par mail / e-mail

Thème/Team: Apprentissage et Acquisition de Connaissances

Titre français : Colloque Intelligence Artificielle de Berder, 13-15 septembre 2000

Édité par F. Kocik
Titre anglais : Berder's Artificial Intelligence Workshop, September, 13-15 2000

Résumé : Ce rapport contient la majeure partie des interventions effectuées lors du colloque Intelligence Artificielle qui s'est tenu du 13 au 15 septembre 2000, 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 2000 par l'équipe Métaconnaissance du LIP6.

Abstract : These proceedings contain selected papers from the Artificial Intelligence Workshop that was held September, 13-15 2000, on Berder island. It is a summary of the LIP6 Metaknowledge Group work in 2000.

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 2001 / LIP6 research reports 2001

Responsable Éditorial / Editor :Valerie.Mangin@lip6.fr