LIP6 2001/014
- Reports
Colloque Intelligence Artificielle de Berder, 13-15 septembre 2000
Édité par F. Kocik - T. Cazenave, groupe COMBIEN
- 166 pages - 06/11/2001- document en - http://www.lip6.fr/lip6/reports/2001/lip6.2001.014.pdf - 1,015 Ko
- Contact : fabrice.kocik (at) nulllip6.fr
- Ancien Thème : APA
- Keywords : Artificial Intelligence, Monitoring, Automatic Theorem proving, ITS, Games
- Publisher : Valerie.Mangin (at) nulllip6.fr
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.