Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Automatic Exercise Generation in Euclidean Geometry

Abstract : Automatic assessment has recently drawn the efforts of researchers in a number of fields. While most available approaches deal with the construction of question items that assess factual and conceptual knowledge, this paper presents a method and a tool for generating questions assessing procedural knowledge, in the form of simple proof problems in the domain of the Euclidean Geometry. The method is based on rules defined as Horn clauses. The method enumerates candidate problems and certain techniques are proposed for selecting interesting problems. With certain adaptations, the method is possible to be applied in other knowledge domains as well.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, February 7, 2017 - 1:04:45 PM
Last modification on : Tuesday, September 22, 2020 - 1:38:06 PM
Long-term archiving on: : Monday, May 8, 2017 - 2:05:11 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Andreas Papasalouros. Automatic Exercise Generation in Euclidean Geometry. 9th Artificial Intelligence Applications and Innovations (AIAI), Sep 2013, Paphos, Greece. pp.141-150, ⟨10.1007/978-3-642-41142-7_15⟩. ⟨hal-01459606⟩



Record views


Files downloads