Temi di tesi e stage - Simona Perri
- Sono disponibili i seguenti temi per lo svolgimento di tesi di laurea sia specialistica che triennale (la tipologia della tesi e' indicata accanto al titolo del tema). I candidati interessati a valutare piu' in dettaglio uno di questi temi possono contattarmi via e-mail all'indirizzo perri[@]mat.unical.it per fissare un appuntamento.
Il sistema DLV è costantemente arricchito di nuove funzionalità: da un lato, il team lavora per l'arricchimento del linguaggio supportato, introducendo nuovi costrutti che rendano più semplice la scrittura di programmi per la risoluzione di problemi del mondo reale; dall'altro, è necessario progettare ed implementare tecniche avanzate per il miglioramento delle prestazioni, indispensabili per garantire un fruttuoso impiego del sistema in applicazioni industriali. Sono pertanto disponibili temi di tesi nelle due seguenti categorie:
Estensione del linguaggio supportato dal sistema di Intelligenza Artificiale DLV (tesi di laurea triennale o specialistica)
Tecniche di ottimizzazione per il sistema di Intelligenza Artificiale DLV (tesi di laurea triennale o specialistica)
Nota: sono disponibili diverse linee di ricerca e sviluppo nei due temi, di taglio e difficoltà differenti adattabili al profilo del candidato.
Questi lavori di tesi saranno condotti con la supervisione congiunta dell'ing. Calimeri.