Primo Workshop sul ragionamento a vincoli e le strutture grafiche, St Andrews, Regno Unito
6 Settembre 2010 - 6 Settembre 2010
Regno Unito
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/(si apre in una nuova finestra)
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/(si apre in una nuova finestra)