Lecturer: Paolo Liberatore
Year: 2022/2023
Starting from year 2023/2024, the course will be held by Professor Andrea Marrella. Changes of the course program and exam format will be announced by him.
Students enrolled in the year 2021/2022 and before who attended the course in year 2022/2023 and before can still take the exam with the previous professor, with the old exam format.
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.