Spreading excellence and disseminating the cutting edge results of our research and development efforts is crucial to our institute. Check for our educational offers for Bachelor, Master and PhD studies at the University of Innsbruck!

      -Icon AAIcon +Icon

Teaching

This section describes STI Innsbruck's teaching activities. It presents a list of courses that are currently offered by our institute. These courses are part of the curriculum of bachelor, master, and doctoral studies at the Institute of Computer Science at the University of Innsbruck, and of the Master Program of Business Informatics jointly offered with the Faculty of Business Administration. In the archive, you can browse a list of completed courses.

Additionally to the courses, open topics for bachelor or master theses are listed. However, if you have a different topic in mind, do not hesitate to contact one of our researchers for supervision. We also list completed theses along with their authors and supervisors.

 

Recommended Curriculum

We recommend the following curriculum for acquiring background knowledge on semantic technologies.
 

Lectures Literature
Logic - Bachelor J.W. Lloyd: Foundations of Logic Programming
Logic - Master M. Fitting: First-Order Logic and Automated Theorem Proving
Semantic Web J. Domingue, D. Fensel, and J. Hendler: Semantic Web Handbook
Semantic Web Services D. Fensel, F. Facca, and E. Simperl: Textbook Semantic Web Services
Intelligent Systems Görz et. al. (eds.): Handbuch der Künstlichen Intelligenz, 2000
Bachelor Seminar B. Latour: Pandora's hope: essays on the reality of science studies, 1999
R. M. Pirsig: Zen oder die Kunst ein Motorad zu warten
B. Latour: We have never been modern, 1993
Master Seminar D. Fensel et. al: Enabling Semantic Web Services: The Web Service Modeling Ontology
J. de Bruijn et. al: Modeling Semantic Web Services
D. Fensel et. al (eds.): Implementing Semantic Web Services - The SESA Framework
Research Seminar D. Fensel: Problem-Solving Methods: Understanding, Development, Description, and Reuse
D. Fensel and E. Motta: Structured Development of Problem Solving Methods, IEEE Transactions on Knowledge and Data Engineering, 13(6), 2001
P. van Eck et. al: A Survey of Languages for Specifying Dynamics: a Knowledge Engineering Perspective, IEEE Transactions on Knowledge and Data Engineering, 13(3):462-496, 2001
E. Börger and R. Stärk: Abstract State Machines: A Method for High-Level System Design and Analysis
D. Fensel et. al: Lessons Learned from Applying AI to the Web, Journal of Cooperative Information Systems, 9(4), 2000
K. Marx: Das Kapital, Chapter 1-5
PhD Seminar Prof. Alan Bundy's How-To Guides