Angelo Kyrilov

Learn More
In the last few decades, much research has focused on the evaluation and assessment of students' knowledge. The idea that computers can now be used to aid assessment is appealing. While implementing automatic marking of multiple choice questions is trivial, most educators agree that such form of assessment provides only limited insight into students'(More)
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedurè a la Wolper for testing satisfiability in the linear time temporal logic LTL, based on a breadth-first search strategy. We describe the implementation and discuss the performance of the tool on several series of pattern formulae, as well as on some(More)
Artificial Intelligence (AI) is an important part of many undergraduate programs at universities around the world. A central component of AI courses are rule-based systems, and first-order logic is at the heart of many such systems. It is therefore crucial that students in AI courses master the skill of translating knowledge, expressed in English sentences,(More)
Some educational researchers have argued that instant feedback on exercises improves student engagement and learning. In the context of computer programming exercises, instant feedback in many classrooms and online courses takes the form of "correct" or "incorrect" responses. In order to assess the utility of such binary instant feedback, we examined the(More)
This poster reports on the design, implementation, testing and evaluation of an e-learning tool that helps students learn to program solutions to recursion type problems. The aim was to create a tool that assists learning, rather than one that simply displays information on a screen. It was tested by splitting volunteers into two groups. Both groups were(More)
My research explores methods for automatic generation of high-quality feedback for computer programming exercises. This work is motivated by problems with current automated assessment systems, which usually provide binary (" Correct " / " Incorrect ") feedback on programming exercises. Binary feedback is not conducive to student learning, and has also been(More)
Automated assessment and immediate feedback are staple features of modern e-learning systems. In the case of programming exercises, most systems only provide binary (correct/incorrect) feedback, which is often inadequate for students struggling with the material, as they may need expert guidance in order to successfully overcome obstacles to understanding.(More)
Undergraduate students of artificial intelligence often struggle with representing knowledge as logical sentences. This is a skill that seems to require extensive practice to obtain, suggesting a teaching strategy that involves the assignment of numerous exercises involving the formulation of some bit of knowledge, communicated using a natural language such(More)
My research is focused on developing e-learning systems that provide high-quality feedback on student submitted programming exercises. To create such systems we use a new approach of applying case-based reasoning (CBR) techniques which proved to be successful in other areas such as technical support departments and financial institutions. The increased(More)
As the current trends in education and educational funding continue, the class sizes perpetually increase thereby decreasing the amount of time a course instructor is able to dedicate to each student. If the nature, style or methods of instruction do not change accordingly, the quality of education is significantly reduced. In this poster we present our(More)
  • 1