Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van Ditmarsch, H., Manzano, M.: Editorial ‘Tools for Teaching Logic’. Logic Jnl IGPL 15(4), 289–292 (2007)
Broda, K., et al.: Pandora: A Reasoning Toolbox using Natural Deduction Style. Logic Jnl IGPL 15(4), 293–304
Sieg, W.: The AProS Project: Strategic Thinking and Computational Logic. Logic Jnl IGPL 15(4), 359–368
Pérez-Lancho, B., et al.: Software Tools in Logic Education: Some Examples. Logic Jnl IGPL 15(4), 347–357
Huertas, A.: Teaching and Learning Logic in a Virtual Learning Enviroment. Logic Jnl IGPL 15(4), 321–331
Berners-Lee, T., Fischetti, M.: Weaving the Web. Harper Collins Publisher, New York (1999)
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 17, 2001)
Gruber, T.R.: A translation approach to portable ontology specifications. Knowledge Acquisition 5(2), 199–220
Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing. International Journal of Human-Computer Studies 43(4-5), 907–928
Openproof Project, http://ggww.stanford.edu/NGUS/Openproof/
W3C Semantic Web Activity, http://www.w3.org/2001/sw/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alonso, E. (2011). E-learning and Semantic Technologies: Tools and Concepts. In: Blackburn, P., van Ditmarsch, H., Manzano, M., Soler-Toscano, F. (eds) Tools for Teaching Logic. TICTTL 2011. Lecture Notes in Computer Science(), vol 6680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21350-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-21350-2_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21349-6
Online ISBN: 978-3-642-21350-2
eBook Packages: Computer ScienceComputer Science (R0)