E-learning and Semantic Technologies: Tools and Concepts

The use of automated tools for teaching logic shows a set of stages on which it is worth reflecting. Each of them make a different interpretation of the task which is strongly determined by the resources available. At present the generalization of Markup Languages commonly used to compose the documents populating the Web can pose a new model for tools employed to teach logic. After a brief historical overview of the previous stages, I will analyze the architecture of this new model and will offer two case studies on which there has already been some work done.