Berder's Artificial Intelligence Workshop, September, 13-15 2000

Colloque Intelligence Artificielle de Berder, 13-15 septembre 2000

Jacques Pitrat (1) , Tristan Cazenave , Jacques Duma (2) , Hélène Giroire (3) , Françoise Le Calvez (4) , Gérard Tisseau (3) , Marie Urtasun (4) , Fabrice Kocik (1) , Tristan Pannerec (1) , Dominique Pastre (4) , Jean-Pierre Spagnol (4)

1 APA - Apprentissage et Acquisition des connaissances
2 Lycée technique Jacquard, Paris
3 SYSDEF - Systèmes d'aide à la décision et à la formation
4 CRIP5 - EA 2517 - Centre de Recherche en Informatique de Paris 5

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.

Ce rapport contient la majeure partie des interventions effectuées lors du colloque Intelligence Artificielle qui s'est tenu du 13 au 15 septembre 2000, sur l'île de Berder. Il fait état d'un certain nombre de travaux qui ont été réalisés au cours de l'année 2000 par l'équipe Métaconnaissance du LIP6.

Mots clés: Artificial Intelligence; Monitoring; Automatic Theorem proving; ITS; Games

Mots clés: Intelligence Artificielle; Monitoring; Démonstration de Théorèmes; EIAO; Jeux

Domaines: Informatique [cs]

Jacques Pitrat, Tristan Cazenave, Jacques Duma, Hélène Giroire, Françoise Le Calvez, et al.. Colloque Intelligence Artificielle de Berder, 13-15 septembre 2000. Colloque Intelligence Artificielle de Berder, lip6.2001.014, LIP6, 2001. ⟨hal-02549708⟩