wir bieten...
Dekobild im Seitenkopf ISMLL
Courses in winter term 2010/11 / Lecture Artificial Intelligence

This lecture covers the basic notions within the realm of what is called Artificial Intelligence. Hence, students will get knowledge about formalizing problems in general such that they are able to solve these problems as optimal as possible. Besides, they will be able to assess the quality of different basic techniques to find solutions for AI problems.

Covered Topics:

  1. Searching: uninformed and informed search; adverserial search
  2. Constraint Satisfaction Problems
  3. Logic: propositional and predicate logic, inference
  4. Prolog
  5. Inductive Logic Programming

Lecturer: Dr. Tomáš Horváth
Tutorial: Rasoul Karimi

Time:Tue, 08:00-10:00
Wed 08:00-10:00 bi-weekly
Location:B26, Spl.
Start:26 Oct 2010
Assignment:WI/IMIT KI+ML BSc
Time: Mon, 14:00-16:00 bi-weekly
Location: B26
Start: 01 Nov 2010
Time: 22.02.2011, 10 a.m. st
Length: 120 min
Last Lecture: here
Modul- Handbuch:MHB