PRIMO WORKSHOP SUL RAGIONAMENTO A VINCOLI E LE STRUTTURE GRAFICHE
St Andrews, 18 maggio 2010 - Il 10 settembre 2010 si terrà a St Andrews, nel Regno Unito, il primo Workshop sul ragionamento a vincoli e le strutture grafiche. L´obiettivo principale della manifestazione sarà l´impiego di approcci grafici per consentire le proprietà strutturali dei modelli a vincoli utilizzati in una varietà di compiti. Questi possono includere la propagazione di vincoli, il calcolo delle soluzioni, il ragionamento a vincoli e preferenze limitati, l´inferenza in presenza di incertezza e la configurazione. Le strutture di grafica hanno contribuito a risolvere una serie di problemi informatici difficili. Ciò è particolarmente vero per i problemi relativi al supporto alle decisioni, come ad esempio il ragionamento o la configurazione probabilistici, che sono stati affrontati mediante la compilazione di modelli in rappresentazioni grafiche computazionalmente efficienti. Le stesse strutture grafiche sono sempre più utilizzate in un contesto classico di programmazione a vincoli: per ottimizzare la ricerca di una soluzione fattibile o la ricerca di una soluzione ottimale. Il workshop si svolgerà contemporaneamente alla Conferenza internazionale sui principi e la pratica della programmazione a vincoli. Per ulteriori informazioni, visitare: http://www.4c.Ucc.ie/cp-graphical-ws-2010/
