Logica matematica - MATH-01/A

La ricerca verte sulla deduzione automatica (sistemi deduttivi basati sui tableaux, procedure di decisione in teoria elementare degli insiemi e logiche non classiche, theorem proving interattivo), le basi di conoscenza, le ontologie e i servizi di ragionamento per il semantic web. 

Di seguito i dettagli sulla docente del settore scientifico disciplinare incardinata presso il Dipartimento: