Angelo Kyrilov, David C. Noelle. Automatic formative assessment of exercises on knowledge representation in first-order logic. In Janet Carter, Ian Utting, Alison Clear, editors, Innovation and Technology in Computer Science Education conference 2013, ITiCSE '13, Canterbury, United Kingdom - July 01 - 03, 2013. pages 343, ACM, 2013. [doi]
Abstract is missing.