FIORINO GUIDO GIUSEPPE

Ruolo:
Ricercatore
Settore scientifico disciplinare:
Informatica (INFO-01/A)
Gruppo scientifico disciplinare:
INFORMATICA (01/INFO-01)
E-mail:
[email protected]
Telefono:
0264487873
Stanza:
  • U14, Piano: 1, Stanza: 1031

Pubblicazioni

  • Fiorino, G. (2025). New tableau characterizations for non-clausal regular MinSAT and MaxSAT problems. LOGIC JOURNAL OF THE IGPL, 33(6) [10.1093/jigpal/jzaf058]. Dettaglio

  • Fiorino, G. (2023). Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic. JOURNAL OF AUTOMATED REASONING, 67(1) [10.1007/s10817-022-09653-z]. Dettaglio

  • Fiorino, G. (2022). New Tableau Characterizations for Non-clausal MaxSAT Problem. LOGIC JOURNAL OF THE IGPL, 30(3), 422-436 [10.1093/jigpal/jzab012]. Dettaglio

  • Fiorino, G. (2022). A non-clausal tableau calculus for MINSAT. INFORMATION PROCESSING LETTERS, 173(January 2022) [10.1016/j.ipl.2021.106167]. Dettaglio

  • Fiorino, G. (2021). Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic [Working paper] [10.48550/arXiv.2103.03377]. Dettaglio

Lista completa

Progetti di ricerca

FIORINO-Fondo per il finanziamento delle attività base di ricerca
Anno: 2017
Bando: FFABR 2017
Enti finanziatori: M.I.U.R. - MINISTERO DELL'ISTRUZIONE, DELL'UNIVERSITA' E DELLA RICERCA - UFFICIO I - Bilancio e Contabilita'. Coordinamento staff della Direzione

Lista completa