Temi di tesi e stage - Wolfgang Faber
Laurea Triennale
- Gioco "doppleganger maze"
Implementare un gioco basato sul problema "doppleganger maze" by Brian Smith che è stato pubblicato su http://www.mathpuzzle.com di Ed Pegg Jr. (vedi http://www.mathpuzzle.com/21Nov04.html). Su http://www.mathpuzzle.com/Doppleganger.htm si trova un programma semplice in Tcl/Tk per giocare, che avevo implementato all'epoca. Si trova anche un programma ASP per DLV che risolve quel problema. Per la laurea dovete fare un'implementazione migliore, che funziona con qualsiasi labirinto e incorpora un risolutore automatico ed un generatore casuale di labirinti. Il linguaggio è a discrezione del candidato, ma il programma (almeno il gioco) deve girare su tutti sistemi operativi moderni.
Laurea Specialistica
- "Ordered Disjunctions"
ASP con priorità nella forma di disgiunzioni ordinati è un formalismo nuovo e semplice che è già stato utilizzato per alcuni applicazioni. Al momento esiste solo un'implementazione: psmodels. Per la tesi è necessario fare un'implementazione alternativa, che sarà basta su un sistema ASP esistente. Inoltre, l'implementazione dev'essere testata e l'efficenza dev'essere valutata.