La programmazione logica contestuale (CtxLP) ha rappresentato un interessante tentativo di dare struttura alla programmazione logica in the large. Tuttavia, solo l'emergere di scenari articolati e complessi come il Web ha consentito di comprenderne bene il potenziale teorico e applicativo. Questa tesi si propone di riprendere le basi teoriche e linguistiche di CtxLP, di rivederle alla luce dei più recenti risultati in LP e Web programming, e di implementare il modello e il linguaggio risultante in tuProlog.

Andrea Omicini (Contact)

Andrea Omicini (Supervisor)

Enrico Denti Mirko Viroli (Co-supervisors)