Studying at the University of Verona

Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.

Study Plan

The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.

1° Year

ModulesCreditsTAFSSD
12
B
ING-INF/05
12
B
ING-INF/05
12
B
INF/01
2 modules among the following (A.A. 2024/2025 Network Science not activated)
6
C
INF/01
6
C
FIS/02
6
C
INF/01
6
C
MAT/08
6
C
MAT/09
6
C
INF/01 ,ING-INF/05
6
C
INF/01
6
C
FIS/02
6
C
INF/01
6
C
MAT/06
6
C
ING-INF/05
1 module among the following
6
C
SECS-S/06
6
C
IUS/07
6
C
IUS/02
6
C
M-FIL/02
6
C
IUS/08
6
C
IUS/17
6
C
IUS/04
6
C
IUS/01

2° Year  It will be activated in the A.Y. 2025/2026

ModulesCreditsTAFSSD
6
C
INF/01
Final exam
18
E
-
It will be activated in the A.Y. 2025/2026
ModulesCreditsTAFSSD
6
C
INF/01
Final exam
18
E
-
Modules Credits TAF SSD
Between the years: 1°- 2°
2 modules among the following (1st year: Knowledge representation, Natural language processing, HCI Intelligent interfaces - 2nd year: AI & Cloud - 1st and 2nd year: Computer Vision & Deep learning)
6
B
INF/01
6
B
INF/01
6
B
ING-INF/05
6
B
INF/01
6
B
ING-INF/05
Between the years: 1°- 2°
2 modules among the following (1st year: Knowledge representation, Natural language processing, HCI Intelligent interfaces - 2nd year: AI & Cloud, Visual intelligence, Statistical learning - 1st and 2nd year: Computer Vision & Deep Learning)
6
C
INF/01
6
C
INF/01
6
C
ING-INF/05
6
C
INF/01
6
C
ING-INF/05
6
C
INF/01
6
C
ING-INF/06
Between the years: 1°- 2°
12
D
-
Between the years: 1°- 2°
Further activities: 3 CFU training and 3 CFU further language skill or 6 CFU training. International students (i.e. students who do not have an Italian bachelor’s degree) must compulsorily gain 3 CFU of Italian language skills (at least A2 level) and 3 CFU training.
6
F
-

Legend | Type of training activity (TTA)

TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.

A Basic activities
B Characterizing activities
C Related or complementary activities
D Activities to be chosen by the student
E Final examination
F Other training activities
S Placements in companies, public or private institutions and professional associations

Planning and Automated Reasoning (2024/2025)

Teaching code

4S010674

Credits

12

Coordinator

Maria Paola Bonacina

Language

English en

Also offered in courses:

Courses Single

Authorized

MoodleMoodle Seminars 0

The teaching is organized as follows:

PLANNING en

Credits

6

Period

Semester 1

Academic staff

Maria Paola Bonacina
Alessandro Farinelli

Lessons timetable
AUTOMATED REASONING en

Credits

6

Period

Semester 1

Academic staff

Maria Paola Bonacina

Lessons timetable

Learning objectives

The class presents the main techniques for problem solving, based on the central paradigm of symbolic representation, and then proceeds to illustrate selected methods for planning, theorem proving, and satisfiability testing. The objective is that the students learn to design, apply, and evaluate algorithms, procedures, and strategies for problems whose automated solution embodies fundamental aspects of artificial intelligence. At the end of the course the students must demonstrate to know and understand the main techniques for state space search, constraint solving, planning, theorem proving, and satisfiability testing, also modulo theories. Thus, the students will know how to choose the most appropriate solution techniques for different problems, and will be prepared to continue their studies in Artificial Intelligence.

Prerequisites and basic notions

Programming, algorithms, propositional logic and first-order logic, at the undergraduate level.

Bibliography

Vai alla bibliografia
Visualizza la bibliografia con Leganto, strumento che il Sistema Bibliotecario mette a disposizione per recuperare i testi in programma d'esame in modo semplice e innovativo.

Criteria for the composition of the final grade

1st round: 25% PI + 25% L + 25% PF + 25% P where PI is the grade in the written test on the "Planning" part, L is the grade in the "Planning" laboratory, PF is the grade in the written test on the "AR" part, and P is the grade in the AR project.
Later rounds: 100%E where E is the grade in a single cumulative written test on the whole program of the course.