Home | Search | Help  
Home Page Università di Genova

Seminar Details


Date 1-12-2010
Time 14:30
Room/Location Sala conferenze
Title Introduzione al Constraint (Logic) Programming
Speaker Agostino Dovier
Affiliation UniversitÓ degli Studi di Udine
Link http://informatica.aulaweb.unige.it/course/view.php?id=244
Abstract La programmazione con vincoli Ŕ una metodologia di programmazione dichiarativa che trae origine da alcuni lavori della comunitÓ dell'Intelligenza Artificiale negli anni '70 e che dalla metÓ degli anni '90 fino ad oggi ha vissuto un continuo aumento dell'interesse sia teorico che pratico. In questo seminario saranno illustrati i principi di base della programmazione con vincoli, con particolare riferimento al suo utilizzo per la codifica e risoluzione di problemi combinatorici. Saranno enfatizzate le sue peculiaritÓ evidenziando le differenze con altre tecniche utilizzate per affrontare problemi simili, quali la ricerca locale, la programmazione lineare intera, ed il SAT solving. Saranno dunque introdotti i principali linguaggi per la programmazione con vincoli, con particolare riferimento alla famiglia di linguaggi logici, ed elencate le principali applicazioni in cui questa metodologia di programmazione Ŕ stata impiegata con successo.
Back to Seminars