The focus of the course is on all basic formal models that became popular in artificial intelligence as well as on their “justifications” as offered by the proponents of the corresponding models. The course is intended to be a general introduction to AI and related areas (e.g. robotics, pattern recognition, data mining).
