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
Document type :
Conference papers
Complete list of metadatas

https://telearn.archives-ouvertes.fr/hal-00190301
Contributor : Jerome Zeiliger <>
Submitted on : Friday, November 23, 2007 - 8:39:55 AM
Last modification on : Wednesday, September 18, 2019 - 1:31:52 AM
Long-term archiving on : 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

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⟩

Share

Metrics

Record views

291

Files downloads

188