La programmation logique par contraintes pour l'aide à l'enseignant

Résumé : Prise en compte de l'enseignant pour invalider des production d'apprenant par construction automatique de contre-exemples.
Keywords : ProLog counterexamples
Type de document :
Communication dans un congrès
Third International Conference on Intelligent Tutoring Systems ITS'96, 1996, Montréal, Canada. pp.333-342, 1996
Liste complète des métadonnées

https://telearn.archives-ouvertes.fr/hal-00190301
Contributeur : Jerome Zeiliger <>
Soumis le : vendredi 23 novembre 2007 - 08:39:55
Dernière modification le : jeudi 11 janvier 2018 - 06:14:33
Document(s) archivé(s) le : lundi 12 avril 2010 - 03:54:34

Fichier

Bouhineau-Denis-1996.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00190301, version 1

Collections

Citation

Denis Bouhineau, Stéphane Channac. La programmation logique par contraintes pour l'aide à l'enseignant. Third International Conference on Intelligent Tutoring Systems ITS'96, 1996, Montréal, Canada. pp.333-342, 1996. 〈hal-00190301〉

Partager

Métriques

Consultations de la notice

262

Téléchargements de fichiers

116