La programmation logique par contraintes pour l'aide à l'enseignant - IMAG Accéder directement au contenu
Communication Dans Un Congrès Année : 1996

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

Denis Bouhineau
  • Fonction : Auteur
  • PersonId : 748357
  • IdHAL : denisb
Laboratoire Logiciels Systèmes Réseaux
CV
Stéphane Channac
  • Fonction : Auteur
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.

Mots clés

ProLog counterexamples

Domaines

Environnements Informatiques pour l'Apprentissage Humain
Fichier principal
Vignette du fichier
Bouhineau-Denis-1996.pdf (175.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Jerome Zeiliger  : Connectez-vous pour contacter le contributeur

https://telearn.hal.science/hal-00190301

Soumis le : vendredi 23 novembre 2007-08:39:55

Dernière modification le : jeudi 4 avril 2024-18:25:53

Archivage à long terme le : lundi 12 avril 2010-03:54:34

Télécharger pour visualiser

Dates et versions

hal-00190301 , version 1 (23-11-2007)

Identifiants

  • HAL Id : hal-00190301 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

TELEARN UGA IMAG TICE CNRS LIG LIG_SIC LIG_SIC_METAH TEL
137 Consultations
258 Téléchargements

Partager

Gmail Facebook X LinkedIn More