Teaching

A.Y. 2014/2015

Artificial Intelligence II

Exercitations were held by several Ph.D. students. Here you can find only the first three. Additionally, most of the exercises were executed on the blackboard: consider these slides only as supplementary material and use class notes.

Exercitations
1March 16th, 2015: Prolog Binary Trees, Graphs; Inference control and meta-programming (pdf)
2March 23rd, 2015: Description Logics and Semantic Web (pdf)

Robot Programming

The course was held by several lecturers: here you can find only the first lesson of the year.

1Introduction to ROS (pdf)

A.Y. 2013/2014

Artificial Intelligence II

Exercitations for the whole AI-II course, except the probabilistic reasoning part. Consider these slides only as supplementary material, since several exercises were executed on the blackboard also for the slide-missing part (use class notes!).

Exercitations
1Prolog, Inference Control, Meta-Programming, Semantic Maps (pdf)
2Non-Monotonic Reasoning (pdf)
3Planning [STRIPS, Partial Order Plans, Planning Graphs] (pdf)
4Planning [HTN], Notes on CSPs (pdf)
5Description Logics and Semantic Web (pdf)
6Contract Net Protocol, Distributed Constraint Optimization (pdf)