OLIVETTI, Nicola
OLIVETTI, Nicola
Dip. INFORMATICA (attivo dal 01/01/1900 al 30/04/2013)
A Language for Handling Hypothetical Updates and Inconsistency
1997-01-01 D. Gabbay; L. Giordano; A. Martelli; N. Olivetti
Conditional Logic Programming
1994-01-01 D. Gabbay; L. Giordano; A. Martelli; N.Olivetti
Conditional Reasoning in Logic Programming
2000-01-01 GABBAY D. M.; GIORDANO L.; A. MARTELLI; OLIVETTI N.; SAPINO M. L.
Hypothetical updates, priority and inconsistency in a logic programming language
1995-01-01 D. Gabbay; L. Giordano; A. Martelli; N. Olivetti
Increased blood levels of platelet-activating factor in insulin-dependent diabetic patients with microalbuminuria
2000-01-01 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-01-01 Olivetti N.; Panic N.; Pozzato G.L.
Reasoning about Typicality and Probabilities in Preferential Description Logics
2020-01-01 Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
| 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 |