FIORINO GUIDO GIUSEPPE

Role
Tenured Assistant Professor  
Academic disciplines
Informatica (INF/01)
Email
[email protected]
Office phone
0264487873
Room:
  • U14, Floor: 1, Room: 1031

Publications

  • 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

  • Ferrari, M., Fiorentini, C., Fiorino, G. (2019). A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic. In COMPUTATION TOOLS 2019 The Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking. 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