Angelo Kyrilov

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 4

Top Topics

Knowledge Representation

Student Engagement

Automated Theorem Provers

Top Venues

Publications

Angelo Kyrilov
Using Case-Based Reasoning to Automatically Generate High-Quality Feedback for Programming Exercises. EDM (2016)
Angelo Kyrilov, David C. Noelle
Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic. CoRR (2015)
Angelo Kyrilov, David C. Noelle
Binary instant feedback on programming exercises can reduce student engagement and promote cheating. Koli Calling (2015)
Angelo Kyrilov, David C. Noelle
A Case-Based Reasoning Approach to Providing High-Quality Feedback on Computer Programming Exercises. CogSci (2015)
Angelo Kyrilov
Using case-based reasoning to improve the quality of feedback generated by automated grading systems. ICER (2014)
Angelo Kyrilov, David C. Noelle
Automatic formative assessment of exercises on knowledge representation in first-order logic. ITiCSE (2013)
Richard Klein, Angelo Kyrilov, Mayya Tokman
Automated assessment of short free-text responses in computer science using latent semantic analysis. ITiCSE (2011)
Orry M. Messer, Angelo Kyrilov
The use of mediating artifacts in embedding problem solving processes in an e-learning environment. ITiCSE (2011)
Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis. Electron. Notes Theor. Comput. Sci. 262 (2010)
Angelo Kyrilov, Jarryd Chengalroyen, Mayya Tokman
Improving CS education at Wits using an online assessment and evaluation system: a case study. ITiCSE (2010)