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.
Course calendar
The Academic Calendar sets out the degree programme lecture and exam timetables, as well as the relevant university closure dates..
Period | From | To |
---|---|---|
1° Q - 2° anno e successivi | Sep 27, 2004 | Nov 26, 2004 |
2° Q | Jan 10, 2005 | Mar 11, 2005 |
3° Q | Apr 11, 2005 | Jun 10, 2005 |
Session | From | To |
---|---|---|
1st exam session | Dec 6, 2004 | Dec 17, 2004 |
2nd exam session | Mar 21, 2005 | Apr 8, 2005 |
Summer term | Jun 20, 2005 | Jul 15, 2005 |
Autumn term | Sep 5, 2005 | Sep 30, 2005 |
Session | From | To |
---|---|---|
Extra term | Dec 15, 2004 | Dec 15, 2004 |
Winter term | Mar 15, 2005 | Mar 15, 2005 |
Summer term | Jul 20, 2005 | Jul 20, 2005 |
Autumn term | Sep 21, 2005 | Sep 21, 2005 |
Period | From | To |
---|---|---|
All Saints Day | Nov 1, 2004 | Nov 1, 2004 |
Immaculate Conception Day | Dec 8, 2004 | Dec 8, 2004 |
Christmas holidays | Dec 22, 2004 | Jan 6, 2005 |
Easter holidays | Mar 24, 2005 | Mar 29, 2005 |
Labour Day | May 1, 2005 | May 1, 2005 |
Patron Saint's Day S. Zeno | May 21, 2005 | May 21, 2005 |
The Day of the Republic | Jun 2, 2005 | Jun 2, 2005 |
Summer holidays | Jul 25, 2005 | Aug 31, 2005 |
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.
Academic staff
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.
4° Year activated in the A.Y. 2007/2008
Modules | Credits | TAF | SSD |
---|
5° Year activated in the A.Y. 2008/2009
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
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.
Artificial Intelligence (2007/2008)
Teaching code
4S00075
Teacher
Credits
5
Language
Italian
Scientific Disciplinary Sector (SSD)
INF/01 - INFORMATICS
Period
1° Q dal Oct 3, 2007 al Dec 4, 2007.
Location
VERONA
Learning outcomes
The class introduces the student to the field of Artificial Intelligence, presenting its problems, concepts and basic methods. After learning the general framework of automated problem solving with search, one studies problems and techniques of Artificial Intelligence in selected areas, such as constraint problem solving, games, planning, automated reasoning and machine learning. After the class the student is ready to work on an MS thesis in Artificial Intelligence.
Program
Methods of artificial intelligence: problem solving as search in a state space; un-informed search procedures; informed search procedures and heuristic search. Constraint problem solving. Adversarial problems: games. Knowledge Representation: usage of logics (e.g., propositional, first-order) to represent knowledge. Automated reasoning in propositional logic: the Davis-Putnam-Logemann-Loveland procedure. Automated reasoning in first-order logic: forward and backward reasoning; resolution. Planning. Machine learning.
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 2) | Prentice Hall | 2003 | 0137903952 | In alternativa al testo adottato. |
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. |
Klaus Truemper | Design of Logic-based Intelligent Systems (Edizione 1) | John Wiley and Sons | 2004 | 0471484032 | Altro libro di riferimento per intelligenza artificiale. |
Judea Pearl | Heuristics: Intelligent search strategies for computer problem solving (Edizione 1) | Addison Wesley | 1985 | 0-201-0559 | Altro 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 | Testo adottato. |
Examination Methods
Partial-tests mode:
this mode applies only to the first exam session after the end of the class, that for the December session, since the class is offered in the Fall term. The exam consists of a written test (C) and an individual programming project (P) to be developed at home or in the lab during the class; the final grade is given by: 50% C + 50% P; after the December session, partial tests have no value whatsoever.
Single-test mode:
in this mode, the exam consists of a single written test (E), whose difficulty is such to match that of C + P, and whose grade alone determines the final grade. This mode applies to all sessions including the first one after the end of the class. However, the student who takes the test E in the December session loses the grade matured with 50% C + 50% P.
Notes: written test C (partial test) will be held in the same date, time and place as test E of the December session (of course, contents and duration of C and E will be different).
Registration: for each session, the date of the exam is the date of the written test E and it is sufficient to register for that date. Students are not allowed to "reject" the grade and all grades will be registered. Students dissatisfied with their performance may withdraw: in order to withdraw it is sufficient not to hand-in E or C.
Rules: it is strictly forbidden to copy, exchange or share code or keys to the questions. All coursework showing signs of cheating will receive grade 0 with no distinction between those who copy and those who let copy.
Type D and Type F activities
Documents and news
- Brochure piano didattico (pdf, it, 10 KB, 11/08/04)
- Manifesto del corso di laurea (pdf, it, 18 KB, 06/10/04)
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.