## page was renamed from Faber Wolfgang #acl EditorsGroup:read,write,revert,admin,delete WolfgangFaber:read,write,delete,admin,revert All:read == Temi di tesi e stage - Wolfgang Faber == ## Per essere informato su nuovi temi e su temi già presi, sottoscrivete questa pagina (è necessario [[PreferenzeUtente|registrarsi]] per usufruire questo servizio). <> === 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: [[http://www.tcs.hut.fi/Software/smodels/priority/|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.