OLIVETTI, Nicola
OLIVETTI, Nicola
Dip. INFORMATICA (attivo dal 01/01/1900 al 30/04/2013)
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Conditional Logic Programming
1994-01-01 D. Gabbay; L. Giordano; A. Martelli; N.Olivetti
Hypothetical updates, priority and inconsistency in a logic programming language
1995-01-01 D. Gabbay; L. Giordano; A. Martelli; N. Olivetti
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.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Conditional Logic Programming | 1994 | D. Gabbay; L. Giordano; A. Martelli; N.Olivetti | |
| Hypothetical updates, priority and inconsistency in a logic programming language | 1995 | D. Gabbay; L. Giordano; A. Martelli; N. Olivetti | |
| Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together | 2023 | Olivetti N.; Panic N.; Pozzato G.L. |