GIORDANO, Laura

GIORDANO, Laura  

MATEMATICA "GIUSEPPE PEANO"  

Mostra records
Risultati 1 - 20 di 46 (tempo di esecuzione: 0.035 secondi).
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