Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1709 Publications
2013 | Book Chapter | LibreCat-ID: 56471
Teubert, H. (2013). Funktion und Eignung moderner Sportstadien im Kontext schulischer Berufsorientierung. In F. Mess, M. Gruber, & A. Woll (Eds.), Sportwissenschaft Grenzenlos?! (p. 303). Feldhaus Edition Czwalina.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56534
Ecke, A., Peñaloza, R., & Turhan, A.-Y. (2013). Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals. In T. Eiter, B. Glimm, Y. Kazakov, & M. Krötzsch (Eds.), Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 (Vol. 1014, pp. 670–688). CEUR-WS.org.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56532
Turhan, A.-Y., & Zarrieß, B. (2013). Computing the lcs w.r.t. General EL+-TBoxes. In T. Eiter, B. Glimm, Y. Kazakov, & M. Krötzsch (Eds.), Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 (Vol. 1014, pp. 477–488). CEUR-WS.org.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56542
Peñaloza, R., & Turhan, A.-Y. (2013). Instance-Based Non-standard Inferences in \textdollar\textbackslashmathcalEL\textdollar with Subjective Probabilities. In F. Bobillo, P. C. G. da Costa, C. d’Amato, N. Fanizzi, K. B. Laskey, K. J. Laskey, T. Lukasiewicz, M. Nickles, & M. Pool (Eds.), Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers (Vol. 7123, pp. 80–98). Springer. https://doi.org/10.1007/978-3-642-35975-0_5
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56541
Turhan, A.-Y. (2013). Introductions to Description Logics - A Guided Tour. In S. Rudolph, G. Gottlob, I. Horrocks, & F. van Harmelen (Eds.), Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings (Vol. 8067, pp. 150–161). Springer. https://doi.org/10.1007/978-3-642-39784-4_3
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56538
Ecke, A., Peñaloza, R., & Turhan, A.-Y. (2013). Computing Role-Depth Bounded Generalizations in the Description Logic. In I. J. Timm & M. Thimm (Eds.), KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings (Vol. 8077, pp. 49–60). Springer. https://doi.org/10.1007/978-3-642-40942-4_5
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56540
Dargie, W., Mendez, J., Möbius, C., Rybina, K., Thost, V., & Turhan, A.-Y. (2013). Situation recognition for service management systems using OWL 2 reasoners. 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM 2013 Workshops, San Diego, CA, USA, March 18-22, 2013, 31–36. https://doi.org/10.1109/PERCOMW.2013.6529452
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56539
Goetz, S., Mendez, J., Thost, V., & Turhan, A.-Y. (2013). OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context. In M. Rodriguez-Muro, S. Jupp, & K. Srinivas (Eds.), Proceedings of the 10th International Workshop on {OWL:} Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013 (Vol. 1080). CEUR-WS.org.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56536
Zarrieß, B., & Turhan, A.-Y. (2013). Most Specific Generalizations w.r.t. General EL-TBoxes. In F. Rossi (Ed.), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013 (pp. 1191–1197). IJCAI/AAAI.
LibreCat
2013 | Journal Article | LibreCat-ID: 2654
Kundisch, D., Magenheim, J., Beutner, M., Herrmann, P., Reinhardt, W., & Zoyke, A. (2013). Classroom Response Systems. Informatik-Spektrum, 36(4), 389–393.
LibreCat
2013 | Journal Article | LibreCat-ID: 58253
Lehberger, R. (2013). Portfolioarbeit im Sportunterricht. Laufen-Springen-Werfen / Teil I: Laufen-schnell und ausdauernd. Betrifft Sport, 35(2), 13–18.
LibreCat
2013 | Journal Article | LibreCat-ID: 58252
Lehberger, R. (2013). Portfolioarbeit im Sportunterricht. Laufen-Springen-Werfen / Teil II: Springen-Höher und weiter. Betrifft Sport, 35(3), 15–17.
LibreCat
2013 | Journal Article | LibreCat-ID: 58251
Lehberger, R. (2013). Portfolioarbeit im Sportunterricht. Laufen-Springen-Werfen / Teil III: Werfen. Vielfältige Möglichkeiten. Betrifft Sport, 34(4), 24–28.
LibreCat
2013 | Report | LibreCat-ID: 58254
Fischer, B., & Lehberger, R. (2013). Evaluationsbereich Praxisphasen im lehramtsspezifischen Bachelorstudium (pp. 31–62). Sportlehrer/innen Ausbildungszentrum.
LibreCat
2013 | Report | LibreCat-ID: 58255
Ruin, S., & Lehberger, R. (2013). Evaluationsbereich Außenbeziehungen (pp. 63–72). Sportlehrer/innen Ausbildungszentrum.
LibreCat
2013 | Book Review | LibreCat-ID: 31462
Elit, S. (2013). [Rezension zu:] Frauke Berndt: Poema / Gedicht. Die epistemische Konfiguration der Literatur um 1750. Berlin/Boston 2011 (Hallesche Beiträge zur Europäischen Aufklärung 43). In DAJ 37, H. 1 (pp. 140–142).
LibreCat
2013 | Encyclopedia Article | LibreCat-ID: 57297
Bergmann, C. D. (2013). MTNYM. In H.-J. Fabry & U. Dahmen (Eds.), Theologisches Wörterbuch zu den Qumrantexten (pp. 841–843). Kohlhammer Verlag.
LibreCat
2013 | Conference Paper | LibreCat-ID: 55046
Lyko, K., Höffner, K., Speck, R., Ngomo, A.-C. N., & Lehmann, J. (2013). SAIM–One step closer to zero-configuration link discovery. The Semantic Web: ESWC 2013 Satellite Events: ESWC 2013 Satellite Events, Montpellier, France, May 26-30, 2013, Revised Selected Papers 10, 167–172.
LibreCat
2013 | Journal Article | LibreCat-ID: 55050
Ngomo, A.-C. N., Heino, N., Speck, R., Ermilov, T., & Tsatsaronis, G. (2013). Annotation Tool. BioASQ Deliverable D, 3, 3.
LibreCat
2013 | Book Chapter | LibreCat-ID: 57273
Biehler, R., & Kempen, L. (2013). Students’ use of variables and examples in their transition from generic proof to formal proof. In B. Ubuz (Ed.), Proceedings of the 8th Congress of the European Society for Research in Mathematics Education (CERME 8) Antalya February 2013 (pp. 86–95).
LibreCat
| Download (ext.)