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. © 2011 Springer-Verlag.
CITATION STYLE
Alonso, E. (2011). E-learning and semantic technologies: Tools and concepts. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6680 LNAI, pp. 9–23). https://doi.org/10.1007/978-3-642-21350-2_2
Mendeley helps you to discover research relevant for your work.