GIORDANO, Laura
GIORDANO, Laura
MATEMATICA "GIUSEPPE PEANO"
A Framework for Modal Logic Programming
1996-01-01 M. Baldoni; L. Giordano; A. Martelli
A Language for Handling Hypothetical Updates and Inconsistency
1997-01-01 D. Gabbay; L. Giordano; A. Martelli; N. Olivetti
A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking
1995-01-01 GIORDANO L.; A. MARTELLI
A Modal Extention of Logic Programming
1994-01-01 M. Baldoni; L. Giordano; A. Martelli
A Modal Framework for Structured Logic Programs
1992-01-01 L. Giordano; A. Martelli
A Modal Programming Language for Representing Complex Actions
1998-01-01 M. Baldoni; L. Giordano; A. Martelli; V. Patti
A Modal Reconstruction of Blocks and Modules in Logic Programming
1991-01-01 L. Giordano; A. Martelli
A Multimodal Logic to define Modules in Logic Programming
1993-01-01 M. Baldoni; L. Giordano; A. Martelli
A reconstruction of the multipreference closure.
2021-01-01 Giordano L., Gliozzi V.
A semantics for Eshghi and Kowalski’s abductive procedure
1993-01-01 L. Giordano; A. Martelli; M. L. Sapino
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results
1998-01-01 M. Baldoni; L. Giordano; A. Martelli
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP
2015-01-01 L. GIORDANO; A. MARTELLI; D. THESEIDER DUPRE'
An Abductive Characterization of the TMS
1990-01-01 L. Giordano; A. Martelli
An Abductive Procedure for Reasoning about Actions in Modal Logic Programming
1997-01-01 M. Baldoni; L. Giordano; A. Martelli; V. Patti
An Abductive Proof Procedure for Conditional Logic Programming
1996-01-01 L. Giordano; A. Martelli; M. L. Sapino
Business process verification with constraint temporal answer set programming
2013-01-01 L. Giordano; A. Martelli; M. Spiotta; D. Theseider Dupre'
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.
Dealing with Concurrent Actions in Modal Action Logics
1998-01-01 L. GIORDANO; A. MARTELLI; C. SCHWIND
Dose-dense ABVD as first-line therapy in early-stage unfavorable Hodgkin lymphoma: results of a prospective, multicenter double-step phase II study by Fondazione Italiana Linfomi
2021-01-01 Santoro, Armando; Mazza, Rita; Spina, Michele; Califano, Catello; Specchia, Giorgina; Carella, Michele; Consoli, Ugo; Palombi, Francesca; Musso, Maurizio; Pulsoni, Alessandro; Kovalchuk, Sofya; Bonfichi, Maurizio; Ricci, Francesca; Fabbri, Alberto; Liberati, Anna Marina; Rodari, Marcello; Giordano, Laura; Chimienti, Emanuela; Balzarotti, Monica; Sorasio, Roberto; Gallamini, Andrea; Ghiggi, Chiara; Ciammella, Patrizia; Ricardi, Umberto; Chauvie, Stephane; Carlo-Stella, Carmelo; Merli, Francesco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Framework for Modal Logic Programming | 1996 | M. Baldoni; L. Giordano; A. Martelli | |
| A Language for Handling Hypothetical Updates and Inconsistency | 1997 | D. Gabbay; L. Giordano; A. Martelli; N. Olivetti | |
| A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking | 1995 | GIORDANO L.; A. MARTELLI | |
| A Modal Extention of Logic Programming | 1994 | M. Baldoni; L. Giordano; A. Martelli | |
| A Modal Framework for Structured Logic Programs | 1992 | L. Giordano; A. Martelli | |
| A Modal Programming Language for Representing Complex Actions | 1998 | M. Baldoni; L. Giordano; A. Martelli; V. Patti | |
| A Modal Reconstruction of Blocks and Modules in Logic Programming | 1991 | L. Giordano; A. Martelli | |
| A Multimodal Logic to define Modules in Logic Programming | 1993 | M. Baldoni; L. Giordano; A. Martelli | |
| A reconstruction of the multipreference closure. | 2021 | Giordano L., Gliozzi V. | |
| A semantics for Eshghi and Kowalski’s abductive procedure | 1993 | L. Giordano; A. Martelli; M. L. Sapino | |
| A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results | 1998 | M. Baldoni; L. Giordano; A. Martelli | |
| Achieving completeness in the verification of action theories by Bounded Model Checking in ASP | 2015 | L. GIORDANO; A. MARTELLI; D. THESEIDER DUPRE' | |
| An Abductive Characterization of the TMS | 1990 | L. Giordano; A. Martelli | |
| An Abductive Procedure for Reasoning about Actions in Modal Logic Programming | 1997 | M. Baldoni; L. Giordano; A. Martelli; V. Patti | |
| An Abductive Proof Procedure for Conditional Logic Programming | 1996 | L. Giordano; A. Martelli; M. L. Sapino | |
| Business process verification with constraint temporal answer set programming | 2013 | L. Giordano; A. Martelli; M. Spiotta; D. Theseider Dupre' | |
| 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. | |
| Dealing with Concurrent Actions in Modal Action Logics | 1998 | L. GIORDANO; A. MARTELLI; C. SCHWIND | |
| Dose-dense ABVD as first-line therapy in early-stage unfavorable Hodgkin lymphoma: results of a prospective, multicenter double-step phase II study by Fondazione Italiana Linfomi | 2021 | Santoro, Armando; Mazza, Rita; Spina, Michele; Califano, Catello; Specchia, Giorgina; Carella, Michele; Consoli, Ugo; Palombi, Francesca; Musso, Maurizio; Pulsoni, Alessandro; Kovalchuk, Sofya; Bonfichi, Maurizio; Ricci, Francesca; Fabbri, Alberto; Liberati, Anna Marina; Rodari, Marcello; Giordano, Laura; Chimienti, Emanuela; Balzarotti, Monica; Sorasio, Roberto; Gallamini, Andrea; Ghiggi, Chiara; Ciammella, Patrizia; Ricardi, Umberto; Chauvie, Stephane; Carlo-Stella, Carmelo; Merli, Francesco |