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