OLIVETTI, Nicola

OLIVETTI, Nicola  

Dip. INFORMATICA (attivo dal 01/01/1900 al 30/04/2013)  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.015 secondi).
Titolo Data di pubblicazione Autore(i) File
A Language for Handling Hypothetical Updates and Inconsistency 1997 D. Gabbay; L. Giordano; A. Martelli; N. Olivetti
Conditional Logic Programming 1994 D. Gabbay; L. Giordano; A. Martelli; N.Olivetti
Conditional Reasoning in Logic Programming 2000 GABBAY D. M.; GIORDANO L.; A. MARTELLI; OLIVETTI N.; SAPINO M. L.
Hypothetical updates, priority and inconsistency in a logic programming language 1995 D. Gabbay; L. Giordano; A. Martelli; N. Olivetti
Increased blood levels of platelet-activating factor in insulin-dependent diabetic patients with microalbuminuria 2000 Cavallo-Perin P.; Lupia E.; Gruden G.; Olivetti C.; De Martino A.; Cassader M.; Furlani D.; Montrucchio G.; Camussi G.; Servillo L.; Quagliuolo L.; Iorio E.; Boccellino M.R.
Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together 2023 Olivetti N.; Panic N.; Pozzato G.L.
Reasoning about Typicality and Probabilities in Preferential Description Logics 2020 Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato