FIORINO GUIDO GIUSEPPE

Ruolo:
Ricercatore
Settore scientifico disciplinare:
Informatica (INF/01)
Telefono:
Stanza:
  • U14, Piano: 1, Stanza: 1031

Pubblicazioni

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

  • (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. (2021). Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic [Working paper] [10.48550/arXiv.2103.03377]. Dettaglio

  • 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. Dettaglio

  • Ferrari, M., Fiorentini, C., Fiorino., G. (2018). Forward countermodel construction in modal Logic K. In Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018 (pp.75-81). CEUR-WS. Dettaglio

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