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.

Academic calendar

The academic calendar shows the deadlines and scheduled events that are relevant to students, teaching and technical-administrative staff of the University. Public holidays and University closures are also indicated. The academic year normally begins on 1 October each year and ends on 30 September of the following year.

Academic calendar

Course calendar

The Academic Calendar sets out the degree programme lecture and exam timetables, as well as the relevant university closure dates..

Academic year:
Definition of lesson periods
Period From To
Sep 30, 2002 Nov 29, 2002
Jan 13, 2003 Mar 14, 2003
Apr 7, 2003 Jun 13, 2003
Exam sessions
Session From To
First term Dec 9, 2002 Dec 20, 2002
Second term Mar 24, 2003 Apr 4, 2003
Third term Jun 23, 2003 Jul 4, 2003
First extra term Jul 7, 2003 Jul 18, 2003
Second extra term Sep 1, 2003 Sep 12, 2003
Third extra term Sep 15, 2003 Sep 26, 2003
Degree sessions
Session From To
1 Mar 17, 2004 Mar 17, 2004
Holidays
Period From To
Easter Holidays Apr 18, 2003 Apr 27, 2003

Exam calendar

Exam dates and rounds are managed by the relevant Science and Engineering Teaching and Student Services Unit.
To view all the exam sessions available, please use the Exam dashboard on ESSE3.
If you forgot your login details or have problems logging in, please contact the relevant IT HelpDesk, or check the login details recovery web page.

Exam calendar

Should you have any doubts or questions, please check the Enrollment FAQs

Academic staff

B C D F G M O P Q R S

Bellin Gianluigi

symbol email gianluigi.bellin@univr.it symbol phone-number +39 045 802 7969

Belussi Alberto

symbol email alberto.belussi@univr.it symbol phone-number +39 045 802 7980

Bonacina Maria Paola

symbol email mariapaola.bonacina@univr.it symbol phone-number +39 045 802 7046

Botturi Debora

symbol email debora.botturi@univr.it symbol phone-number +39 045 802 7073
BurattiniEmilio

Burattini Emilio

symbol email emilio.burattini@univr.it

Combi Carlo

symbol email carlo.combi@univr.it symbol phone-number +390458027985

Cristani Matteo

symbol email matteo.cristani@univr.it symbol phone-number 045 802 7983

Della Libera Chiara

symbol email chiara.dellalibera@univr.it symbol phone-number +39 0458027219

De Marchi Stefano

symbol email stefano.demarchi@univr.it symbol phone-number 045 8027978

Fiorini Paolo

symbol email paolo.fiorini@univr.it symbol phone-number 045 802 7963

Fontana Federico

symbol email federico.fontana@univr.it symbol phone-number +39 045 802 7032

Fummi Franco

symbol email franco.fummi@univr.it symbol phone-number 045 802 7994

Fusiello Andrea

symbol email nome.cognome[at]uniud.it

Giacobazzi Roberto

symbol email roberto.giacobazzi@univr.it symbol phone-number +39 045 802 7995

Manca Vincenzo

symbol email vincenzo.manca@univr.it symbol phone-number 045 802 7981

Mantese Francesca

symbol email francesca.mantese@univr.it symbol phone-number +39 0458027978
Maurizio Martignano,  July 27, 2004

Martignano Maurizio

symbol email maurizio.martignano@esa.int symbol phone-number +31715656749

Mastroeni Isabella

symbol email isabella.mastroeni@univr.it symbol phone-number +390458027089

Monti Francesca

symbol email francesca.monti@univr.it symbol phone-number 045 802 7910

Morato Laura Maria

symbol email laura.morato@univr.it symbol phone-number 045 802 7904

Murino Vittorio

symbol email vittorio.murino@univr.it symbol phone-number 045 802 7996

Oliboni Barbara

symbol email barbara.oliboni@univr.it symbol phone-number +39 045 802 7077

Orlandi Giandomenico

symbol email giandomenico.orlandi at univr.it symbol phone-number 045 802 7986

Pica Angelo

symbol email angelo.pica@univr.it
PiccininiNicola

Piccinini Nicola

symbol email piccinini@sci.univr.it symbol phone-number +39 349 7461319

Posenato Roberto

symbol email roberto.posenato@univr.it symbol phone-number +39 045 802 7967

Pravadelli Graziano

symbol email graziano.pravadelli@univr.it symbol phone-number +39 045 802 7081

Quaglia Davide

symbol email davide.quaglia@univr.it symbol phone-number +39 045 802 7811

Rocchesso Davide

symbol email davide.rocchesso@univr.it
Foto,  March 21, 2006

Rossato Rosalba

symbol email rossato@sci.univr.it symbol phone-number +39 045 802 7077

Roveda Alberto

symbol email alberto.roveda@univr.it symbol phone-number Dip. Sc. Ec. 045 802 8096 C.I.D.E. 045 8028084
Giuseppe Scollo in Waddenzee 1987,  February 18, 2005

Scollo Giuseppe

symbol email giuseppe . scollo at univr . it symbol phone-number 045 802 7940

Segala Roberto

symbol email roberto.segala@univr.it symbol phone-number 045 802 7997

Spoto Nicola Fausto

symbol email fausto.spoto@univr.it symbol phone-number +39 045 8027940

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

2° Year  activated in the A.Y. 2003/2004

ModulesCreditsTAFSSD

3° Year  activated in the A.Y. 2004/2005

ModulesCreditsTAFSSD

4° Year  activated in the A.Y. 2005/2006

ModulesCreditsTAFSSD
Un insegnamento affine dell'area fisica a scelta dello studente
Due insegnamenti affini (area matematica) a scelta per complessivi 10 crediti
4 insegnamenti caratterizzanti a scelta per un totale di 20 crediti (la scelta di 4 insegn. al 4° anno è un suggerimento, il vincolo è: 7 insegn. tra N.6 e N.8)

5° Year  activated in the A.Y. 2006/2007

ModulesCreditsTAFSSD
3 insegnamenti caratterizzanti a scelta per un totale di 15 crediti (la scelta di 3 insegn. al 5° anno è un suggerimento, il vincolo è: 7 insegn. tra N.6 e N.8)
Laboratorio di sistemi Intelligenti e Multimediali
10
E
-
Altre attività formative
6
F
-
Prova finale
24
E
-
ModulesCreditsTAFSSD
activated in the A.Y. 2003/2004
ModulesCreditsTAFSSD
activated in the A.Y. 2004/2005
ModulesCreditsTAFSSD
activated in the A.Y. 2005/2006
ModulesCreditsTAFSSD
Un insegnamento affine dell'area fisica a scelta dello studente
Due insegnamenti affini (area matematica) a scelta per complessivi 10 crediti
4 insegnamenti caratterizzanti a scelta per un totale di 20 crediti (la scelta di 4 insegn. al 4° anno è un suggerimento, il vincolo è: 7 insegn. tra N.6 e N.8)
activated in the A.Y. 2006/2007
ModulesCreditsTAFSSD
3 insegnamenti caratterizzanti a scelta per un totale di 15 crediti (la scelta di 3 insegn. al 5° anno è un suggerimento, il vincolo è: 7 insegn. tra N.6 e N.8)
Laboratorio di sistemi Intelligenti e Multimediali
10
E
-
Altre attività formative
6
F
-
Prova finale
24
E
-

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.




S Placements in companies, public or private institutions and professional associations

Teaching code

4S00075

Credits

5

Language

Italian

Scientific Disciplinary Sector (SSD)

INF/01 - INFORMATICS

Period

First four month term for the second and later years dal Oct 3, 2005 al Dec 2, 2005.

Location

VERONA

Learning outcomes

Objectives:

This class introduces the student to the field of Artificial Intelligence, presenting its basic problems, concepts and methods. After learning the general framework of automated problem solving, AI problems and techniques are studied through specific areas of AI, such as constraint problem solving, game playing, planning and reasoning. After taking this class, the student is ready to work on an LS/LM thesis in Artificial Intelligence.

Program

Program:

Methods of Artificial Intelligence: problem solving as search in a state space: uninformed search procedures; informed search procedures and heuristic search; constraint problem solving: unification; propositional satisfiability (SAT); games (optional).
Knowledge representation: use of propositional logic and first-order logic.
Automated reasoning methods: resolution, tableaux or model elimination, paramodulation and rewriting (hints).
Planning (optional).

Reference texts
Author Title Publishing house Year ISBN Notes
Elaine Rich, Kevin Knight Artificial Intelligence (Edizione 2) McGraw Hill 1991 0070522634 Altro libro di riferimento per intelligenza artificiale
Stuart Russell, Peter Norvig Artificial Intelligence -- A Modern Approach (Edizione 1) Prentice Hall 1995 0131038052 Versione originale della prima edizione del testo adottato
Stuart Russell, Peter Norvig Artificial Intelligence: A Modern Approach (Edizione 2) Prentice Hall 2003 0137903952 Versione originale del testo adottato
Ricardo Caferra, Alexander Leitsch, Nicolas Peltier Automated Model Building (Edizione 1) Kluwer Academic Publishers 2004 1-4020-265 Libro di riferimento per ragionamento automatico
David Poole, Alan Mackworth, Randy Goebel Computational Intelligence -- A logical approach (Edizione 1) Oxford University Press 1998 0195102703 Altro libro di riferimento per intelligenza artificiale
Rolf Socher-Ambrosius, Patricia Johann Deduction Systems (Edizione 1) Springer Verlag 1997 0387948473 Libro di riferimento per ragionamento automatico
Klaus Truemper Design of Logic-based Intelligent Systems (Edizione 1) John Wiley and Sons 2004 0471484032 Libro di riferimento per ragionamento automatico
Raymond M. Smullyan First-order logic Dover Publications 1995 0486683702 Libro di riferimento per ragionamento automatico
Allan Ramsay Formal Methods in Artificial Intelligence (Edizione 1) Cambridge University Press 1989 0521424216 Libro di riferimento per ragionamento automatico
Judea Pearl Heuristics: Intelligent search strategies for computer problem solving (Edizione 1) Addison Wesley 1985 0-201-0559 Libro di riferimento per tecniche di ricerca
Stuart Russell, Peter Norvig Intelligenza artificiale: Un approccio moderno (Edizione 2) Pearson Education Italia 2005 88-7192-22 Adottato
Stuart Russell, Peter Norvig Intelligenza Artificiale: un approccio moderno (Edizione 1) UTET libreria 1998 Versione italiana della prima edizione del testo adottato
Chin-Liang Chang, Richard Char-Tung Lee Symbolic Logic and Mechanical Theorem Proving (Edizione 1) Academic Press 1973 0121703509 Libro di riferimento per ragionamento automatico
Alexander Leitsch The Resolution Calculus (Edizione 1) Springer 1997 3540618821 Libro di riferimento per ragionamento automatico

Examination Methods

Esame mediante prove parziali:
questa modalità vale solo per il primo appello dopo la fine delle lezioni, ovvero per la sessione di dicembre 2005, essendo il corso nel I quadrimestre dell'AA 2005-06; l'esame consta di un compito scritto di due ore (C) e di un progetto individuale di programmazione (P) da realizzare a casa o in laboratorio durante il corso; il voto d'esame è dato da: 50% C + 50% P; passato il primo appello dopo la fine delle lezioni, le prove parziali non valgono più nulla.

Esame senza prove parziali:
in questa modalità, l'esame consta di un unico compito scritto (E), di difficoltà tale da uguagliare C + P, il cui voto determina il voto d'esame. Questa modalità vale per tutti gli appelli, incluso il primo dopo la fine delle lezioni. Tuttavia chi sostiene l'esame E al primo appello perde il voto eventualmente maturato con 50% C + 50% P.

Nota: per semplicità organizzativa e onde non disturbare altri corsi con prove scritte fuori calendario, il compito scritto C (prova parziale) si terrà nella stessa data, ora e luogo dell'esame E della sessione di dicembre (naturalmente contenuto e durata di C ed E saranno diversi).

Registrazione: a ogni sessione d'esame ci saranno due date: una per lo scritto ed una per registrare il voto. Per chi sostiene l'esame e lo registra nella stessa sessione, è sufficiente iscriversi alla prima. Iscriversi alla seconda data è necessario per chi ha sostenuto l'esame in una sessione precedente, ma non lo ha registrato.

Regolamento: tutti gli elaborati sono individuali; è severamente vietato copiare e scambiare/passare/condividere codice. Tutti gli elaborati che mostrano di essere stati copiati ricevono voto 0, senza distinzione tra chi copia e chi fa copiare.


Students with disabilities or specific learning disorders (SLD), who intend to request the adaptation of the exam, must follow the instructions given HERE

Type D and Type F activities

Academic year:

Modules not yet included

Career prospects


Module/Programme news

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.