Artificial Intelligence is at the heart of modern society with computers now capable of making process decisions in many spheres of human activity. In education, there has been intensive growth in systems that make formal and informal learning an anytime, anywhere activity for billions of people through online open educational resources and…

Discusses summative and formative evaluation methods used and problems encountered in the study of LOGICLANDIA, a courseware package for the teaching and learning of predicate logic in Italian secondary schools. The evaluation process had three phases: subjective, in-house prototypes, and field testing. Results produced revisions in courseware…