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


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

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

— author

Luca Coccini Gailli

Supervision

— supervisor

Enrico Denti

— co-supervisor

Giulio Piancastelli

Sort

— cycle

second-cycle thesis

— status

completed thesis

— language

wit.gif

Dates

— available since

17/03/2010

— activity started

15/04/2006

— degree date

26/10/2006

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY