Automatic estimation of exercises' difficulty levels in a tutoring system for teaching the conversion of natural language into first-order logic

Isidoros Perikos, Foteini Grivokostopoulou, Konstantinos Kovas, Ioannis Hatzilygeroudis. Automatic estimation of exercises' difficulty levels in a tutoring system for teaching the conversion of natural language into first-order logic. Expert Systems, 33(6):569-580, 2016. [doi]

Abstract

Abstract is missing.