LIP6 2000/002

• Reports
  Colloque Intelligence Artificielle de Berder, 22-24 septembre 1999
• T. Pannérec
• 181 pages - 02/17/2000- document en - http://www.lip6.fr/lip6/reports/2000/lip6.2000.002.ps.gz - 1,349 Ko
• Contact : Tristan.Pannerec (at) nulllip6.fr
• Ancien Thème : APA
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.
• Keywords : Artificial Intelligence, Monitoring, Automatic Theorem proving, ITS, Games
• Publisher : Jacques.Pitrat