In seguito al trasferimento del dott. Franceschet all'Università di Udine, dall'anno accademico 2006/2007 il corso di "Ragionamento Automatico" non è più attivo. Su richiesta degli studenti, e per chi ha seguito il corso negli anni precedenti, si svolgeranno ancora degli appelli straordinari.
ATTENZIONE: a partire dal mese di Luglio 2008 è cambiata la modalità di esame. Non si terranno più prove scritte, ma unicamente prove orali. Il programma d'esame rimane invariato.
Saxon è installato solamente nelle due file laterali del blocco posto di fronte alla cattedra, e solo limitatamente ai computer nuovi. Poiché non è stata modificata la variabile d'ambiente CLASSPATH
, per utilizzare Saxon è necessario aggiungere, tra il comando java
e il nome della classe Saxon, la stringa -cp /opt/saxon/saxon8.jar
. Ad esempio, il comando
java net.sf.saxon.Query
diventa
java -cp /opt/saxon/saxon8.jar net.sf.saxon.Query
e analogamente tutti gli altri comandi.