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
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.
Key-words : Artificial Intelligence, Monitoring, Automatic Theorem proving, ITS, Games
Publications internes LIP6 2000 / LIP6 research reports 2000