FIORINO GUIDO GIUSEPPE
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