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

Denis Bouhineau 1 Stéphane Channac 1
1 LSR - IMAG - Laboratoire Logiciels Systèmes Réseaux
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

TELEARN | TICE | IMAG | LIG_SIC | LIG | UGA | LIG_SIC_METAH

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

265

Téléchargements de fichiers

117

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD