Planning and reasoning

Lecturer: Paolo Liberatore
Year: 2017/2018

Notes

Program

Final project and exam

Students develop a project related to planning or automated reasoning. They may propose their own projects, and are actually encouraged to do so especially regarding solution of realistic problems. Every such project is subject to a previous approval from the professor. Otherwise, students may develop a project as in the list of proposed projects.