Vincoli e preferenze come formalismo unificante per l'analisi di sistemi informatici e la soluzione di problemi reali
Progetto MIUR PRIN 2005 n.2005-015491

+ english

Attività di ricerca

L'attività di ricerca di questo progetto si sviluppa su due linee principali:

• Task 1: Estensione dei formalismi esistenti per la programmazione con vincoli
  1. Modellare preferenze positive/negative, (non)condizionate, qualitative/quantitative
  2. Modellare e risolvere scenari multi-agenti, e studiarne le proprietà fondamentali
  3. Sviluppare tecniche per situazioni con più criteri di ottimizzazione
  4. Gestire vincoli su intervalli
  5. Gestire vincoli su (multi)insiemi


• Task 2: Uso di tecniche di vincoli in vari campi applicativi
  1. Modellare e risolvere problemi di scheduling
  2. Analisi di sistemi concorrenti
  3. Analizzare protocolli di sicurezza multilivello
  4. Applicare le tecniche di vincoli a vari problemi della bioinformatica

+ Progetto

• Obiettivo
• Linee di lavoro

+ Unità di ricerca

• Padova
• Udine
• Genova
• Pescara

+ Attività di ricerca

• T1: Estensione di formalismi esistenti
• T2: Applicazione delle tecniche di vincoli

+ Workshop

• 10 Aprile 2006
• 21 Marzo 2007

+ Risultati + Contatto

+ torna su

Progetto MIUR PRIN 2005 - Coordinatore Scientifico del Programma di Ricerca: Francesca Rossi