e-Learning Logic and Mathematics: What we Have and What we Still Need

Erica Melis, Jörg Siekmann

In: S. Artemov , H. Barringer , A.d'Avila Garcez , L.C. Lamb , J. Woods (Hrsg.). We will Show Them! Essays in Honor of Dov Gabbay on his 60th Birthday. Seiten 639-662 2 College Publications 2005.


This article discusses existing and possible usages of deduction in education systems as well as challenges that have to be met in order to make certain deduction techniques effective for education. In particular, we will show how the ActiveMath system realises features that are essential for (mathematics) learning and suggest some main challenges.


Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence