La programmation logique par contraintes pour l'aide à l'enseignant - Archive ouverte HAL Access content directly
Conference Papers Year : 1996

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

Denis Bouhineau
  • Function : Author
  • PersonId : 748357
  • IdHAL : denisb
Laboratoire Logiciels Systèmes Réseaux
CV
Stéphane Channac
  • Function : Author
Laboratoire Logiciels Systèmes Réseaux

Abstract

Prise en compte de l'enseignant pour invalider des production d'apprenant par construction automatique de contre-exemples.

Keywords

ProLog counterexamples

Domains

Computer Science [cs] Technology for Human Learning
Fichier principal
Vignette du fichier
Bouhineau-Denis-1996.pdf (175.32 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Jerome Zeiliger  : Connect in order to contact the contributor

https://telearn.archives-ouvertes.fr/hal-00190301

Submitted on : Friday, November 23, 2007-8:39:55 AM

Last modification on : Friday, March 24, 2023-2:52:49 PM

Long-term archiving on: Monday, April 12, 2010-3:54:34 AM

Download

Dates and versions

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

Identifiers

  • HAL Id : hal-00190301 , version 1

Cite

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 Dublin Core DC Terms EndNote Datacite

Collections

TELEARN UGA IMAG TICE CNRS LIG LIG_SIC LIG_SIC_METAH TEL
131 View
227 Download

Share

Gmail Facebook Twitter LinkedIn More