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!
Every student attending the lecture and the tutorial should subscribe to the mailing list of the course at https://lists.sti2.at/mailman/listinfo/is2009
The lecture is an introduction to Intelligent Systems, the study of constructing intelligent systems based on intelligent agents. In the lecture we will introduce various logics (i.e. Propositional and Predicate logic), search methods, knowledge engineering techniques, problem-solving methods, planning, agents, learning techniques and Semantic Web, all science areas that contribute towards making the general vision of Intelligent Systems a reality.
The exam will take place on 01.02.2010, 14:15 in HS G
Homework No. 1 Homework No. 2 Homework No. 3 Homework No. 4 Homework No. 5 Homework No. 6 Homework No. 7