Artificial Intelligence (2003/2004)

Course partially running

Course code
4S00075
Name of lecturer
Maria Paola Bonacina
Coordinator
Maria Paola Bonacina
Number of ECTS credits allocated
5
Other available courses
Language of instruction
Italian
Location
VERONA
Period
Second four-month term dal Jan 12, 2004 al Mar 12, 2004.
Web page
http://profs.sci.univr.it/~bonacina/teachingUniVR/IA2003-04.html

Lesson timetable

Second four-month term
Day Time Type Place Note
Monday 4:30 PM - 6:30 PM lesson Lecture Hall B  
Tuesday 8:30 AM - 9:30 AM lesson Lecture Hall B  
Wednesday 4:30 PM - 6:30 PM lesson Lecture Hall B  
Reference books
Author Title Publisher Year ISBN Note
S. Bosch Algebra Springer Unitext 2003 978-88-470-0221-0
Elaine Rich, Kevin Knight Artificial Intelligence (Edizione 2) McGraw Hill 1991 0070522634
Stuart Russell, Peter Norvig Artificial Intelligence -- A Modern Approach (Edizione 1) Prentice Hall 1995 0131038052
Stuart Russell, Peter Norvig Artificial Intelligence: A Modern Approach (Edizione 2) Prentice Hall 2003 0137903952
David Poole, Alan Mackworth, Randy Goebel Computational Intelligence -- A logical approach (Edizione 1) Oxford University Press 1998 0195102703
Rolf Socher-Ambrosius, Patricia Johann Deduction Systems (Edizione 1) Springer Verlag 1997 0387948473
Raymond M. Smullyan First-order logic Dover Publications 1995 0486683702
Allan Ramsay Formal Methods in Artificial Intelligence (Edizione 1) Cambridge University Press 1989 0521424216
Chin-Liang Chang, Richard Char-Tung Lee Symbolic Logic and Mechanical Theorem Proving (Edizione 1) Academic Press 1973 0121703509
Alexander Leitsch The Resolution Calculus (Edizione 1) Springer 1997 3540618821

Teaching aids

Documents