Baader: Description logics as ontology languages for the semantic web. in Hutter et al. (Hrsg.): Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday, LNAI 2605, S. 228-248. Springer, 2005.
This blog is a quick (i.e. not comprehensive) introduction to blogging for educators, with hands-on steps for getting started in using MovableType as well as some conjecture on using MT in different educational contexts.
D. Weikle, M. Lam, und M. Kirkpatrick. Proceedings of the 50th ACM Technical Symposium on Computer Science Education, Seite 565--570. New York, NY, USA, ACM, (2019)
Z. Wang, R. Turko, O. Shaikh, H. Park, N. Das, F. Hohman, M. Kahng, und D. Chau. (2020)cite arxiv:2004.15004Comment: 11 pages, 14 figures. For a demo video, see https://youtu.be/HnWIHWFbuUQ For a live demo, visit https://poloclub.github.io/cnn-explainer/.