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
Document type :
Conference papers
Liste complète des métadonnées
https://telearn.archives-ouvertes.fr/hal-00190301
Contributor : Jerome Zeiliger <>
Submitted on : Friday, November 23, 2007 - 8:39:55 AM
Last modification on : Tuesday, April 16, 2019 - 10:29:23 AM
Document(s) archivé(s) le : Monday, April 12, 2010 - 3:54:34 AM

File

Bouhineau-Denis-1996.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00190301, version 1

Collections

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

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. ⟨hal-00190301⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

270

Files downloads

126

Contact

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