Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans

Last modified by Andrea Omicini on 26/07/2021 23:05

 Luca Coccini Gailli

Partendo dalla versione tuprolog 1.4.0 (che supporta le teorie logiche etichettate - ex tesi Nanetti), progettare e costruire un plugin NetBeans che integri ed estenda il pre-esistente, aggiungendo il supporto al concetto di teoria logica etichettata

    

Thesis Data

Supervision

(supervisor)
Enrico Denti
(co-supervisor)
Giulio Piancastelli

Category
2nd-Cycle Thesis

Status
completed

Language
wit.gif

Dates

(available since)
17/03/2010
(activity started)
15/04/2006
(degree date)
26/10/2006

2008 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna
0.2