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

  • Fiorino, G. (2021). New Tableau Characterizations for Non-clausal MaxSAT Problem. LOGIC JOURNAL OF THE IGPL [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