Angelo Kyrilov

Learn More
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure à la Wolper for testing satisfiability in the linear time temporal logic LTL, based on a breadthfirst 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)
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)
Information technology is now ubiquitous in higher education institutions worldwide. More than 85% of American universities use e-learning systems to supplement traditional classroom activities while some have started offering Massive Online Open Courses (MOOCs), which are completely online. An obvious benefit of these online tools is their ability to(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)
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)
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)
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)
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)
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)
Spectra in the 7.10 to 8.60 A range from highly charged copper ions are observed from three different laser-produced plasmas (LPPs). The LPPs are formed by a 15-ns Nd:glass laser pulse (type I: E(pulse)=1-8 J, lambda=1.064 microm), a 1-ps Nd:glass laser pulse (type II: E(pulse)=1 J, lambda=1.055 microm), and a 60-fs Ti:sapphire laser pulse (type III:(More)