Automatic formative assessment of exercises on knowledge representation in first-order logic.

Angelo Kyrilov, David C. Noelle

Browse the full ITiCSE paper archive.