• J.W. Lloyd: Foundations of Logic Programming (2nd ed.), Springer, 1987
• M. Fitting: First-Order Logic and Automated Theorem Proving (2nd ed.), Springer, 1996

• Görz et. al. (eds.): Handbuch der Künstlichen Intelligenz, Oldenbourg Verlag, 2000

• Gustavo Alonso, Fabio Casati, Harumi Kuno, Vijay Machiraju: Web Services - Concepts, Architectures and Applications. Springer, 2004

• R. M. Pirsig: Zen and the Art of Motorcycle Maintenance, William Morrow & Company, 1974
• B. Latour: We have never been modern, Harvard University Press, 1993

• Garr Reynolds: Presentation tips
• Simon Peyton Jones: How to give a great research talk

• Fensel, A., Toma, I., García, J. M., Stavrakantonakis, I., & Fensel, D. (2014). Enabling customers engagement and collaboration for small and medium-sized enterprises in ubiquitous multi-channel ecosystems. Computers in Industry, 65(5), 891-904.

• Talluri, K., van Ryzin, G. (2004). The Theory and Practice of Revenue Management, Springer-Verlag US.
• van Ryzin, G., Talluri, K. (2005). An Introduction to Revenue Management. In INFORMS Tutorials in Operations Research, 142-194.

• J. Domingue, D. Fensel, and J. Hendler: Semantic Web Handbook, Springer, to appear in 2011
• T. Heath and C. Bizer. Linked Data: Evolving the Web into a Global Data Space, (1st edition), Morgan & Claypool, 2011.

• D. Fensel, F. Facca, E. Simperl and I.Toma. Semantic Web Services Textbook, Springer, to appear (2011)

• G. Kappel, B. Pröll, S. Reich, and W. Retschitzegger: Web Engineering, John Wiley & Sons Ltd., 2006

• D. Fensel et. al: Enabling Semantic Web Services: The Web Service Modeling Ontology, Springer, 2007
• J. de Bruijn et. al: Modeling Semantic Web Services: The Web Service Modeling Language, Springer, 2008
• D. Fensel et. al (eds.): Implementing Semantic Web Services - The SESA Framework, Springer, 2008

• John Deacon: Object-Oriented Analysis and Design, Addison-Wesley, 2005
• Schreiber et al.: Knowledge Engineering and Management: The CommonKADS Methodology, MIT Press, 1999
• Gomez-Perez et al.: Ontological Engineering, Springer, 2004

• Gomez-Perez et al.: Ontological Engineering, Springer, 2004

PhD studies

• Alan Bundy's How-To guide

• J. Domingue, D. Fensel, and J. Hendler: Semantic Web Handbook, Springer, to appear in 2011

• T. Heath and C. Bizer. Linked Data: Evolving the Web into a Global Data Space, (1st edition), Morgan & Claypool, 2011.

• D. Fensel: Problem-Solving Methods: Understanding, Development, Description, and Reuse, Springer, 2000
• 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, Springer, 2003
• 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

Knowledge Representation, Search, and Rules

Knowledge Representation

• The Crowd: Knowledge Representation and Reasoning, wikipedia.org
• A. Newell: The Knowledge Level, AI 18:87-127, 1982, Sections 3 & 4
• R. J. Brachman: What's in a concept: structural foundations for semantic networks, Int. J. Man-Machine Studies, 9:127-152, 1977
• R. J. Brachman: What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks, IEEE Computer, 16(10), 1983
• D. Lenat & R. V. Guha: Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project, Addison-Wesley, January 1990, Sections 1 & 2
• TR. J. Brachman & H. J. Levesque (eds): Readings in Knowledge Representation, Section 4, Section 10, nbsp;Section 11

Search

• The Crowd: AI - Popular Search Algorithms, tutorialspoint.com
• R. Dechter & J. Pearl: Generalized best-first search strategies and the optimality of A*, Journal of the ACM 32(3): 505-536, 1985
• S. Russel & P. Norvig: AI : a modern approach, Prentice Hall, 2003, Section 6
• D.Fensel and M.Wiese: Refinement of Rule Sets with Jojo (short paper), In P.B. Brazdil (ed.), Machine Learning: ECML-93, Lecture Notes in artificial Intelligence, LNAI 667, Springer-Verlag, Berlin, 1993

Rules

• S. Russel & P. Norvig: AI : a modern approach, Prentice Hall, 2003, Section 7
• J.D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I, Computer Science Press, 1988, Section 3
• J.D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II, Computer Science Press, 1988, Sections 12 & 13
• R. J. Brachman & H. J. Levesque: Knowledge Representation and Reasoning, Morgan Kaufmann, 2004, Section 5,Section 7
• The Jboss Drools team: Drools Expert User Guide, docs.jboss.org, Sections 1, 2, 5, self study: 4 & 6

• Mitteilungsblatt of the University of Innsbruck, March 20, 2009
• English Version of the curriculum

• University of Innsbruck
• Institute of Computer Sciences

• Information on the STI Innsbruck PhD School