Planning and reasoning

Lecturer: Paolo Liberatore
Year: 2021/2022



Final project and exam

Students need to complete a project on one of the two parts of the program (automated planning or automated reasoning) and pass a test on the other. Currently, the test is by an homework assigment.

The project may be:

In all cases a report is expected.

Student may propose their own projects, and are actually encouraged to do so especially regarding solution of realistic problems. Otherwise, students may develop a project as in the list of example project Either way, the project subject to a previous approval from the professor.