FIORINO GUIDO GIUSEPPE

Role
Tenured Assistant Professor  
Academic disciplines
Informatics (INFO-01/A)
Scientific-Disciplinary Group:
INFORMATICS (01/INFO-01)
Email
[email protected]
Office phone
0264487873
Room:
  • U14, Floor: 1, Room: 1031

Publications

  • 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]. Detail

  • 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]. Detail

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

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

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

Full list

Research projects

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