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
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.
- Keywords : Artificial Intelligence, Monitoring, Automatic Theorem proving, ITS, Games
- Publisher : Valerie.Mangin (at) nulllip6.fr