Proposte Tesi

Home page

Possibili temi per una tesi sono:

Implementazione di calcoli basati su SAT solver per la logica intuizionista
La tesi è preferibilmente rivolta agli studenti di Programmazione Funzionale (implementazione in F#), ma è possibile usare altri linguaggi di programmazione di cui si ha già esperienza.
Procedure di decisione basati sulla generazioni di modelli usando Answer Set Programming (ASP).
È richiesta la conoscenza delle nozioni fondamentali di Programmazione Logica e di ASP.