| fCube: An Efficient Prover for Intuitionistic Propositional Logic M Ferrari, C Fiorentini, G Fiorino Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010 | 39 | 2010 |
| Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models M Ferrari, C Fiorentini, G Fiorino Journal of automated reasoning 51, 129-149, 2013 | 38 | 2013 |
| A Constructive Semantics for ALC L Bozzato, M Ferrari, C Fiorentini, G Fiorino Description Logics, 219-226, 2007 | 23 | 2007 |
| Simplification Rules for Intuitionistic Propositional Tableaux M FERRARI, C FIORENTINI, G FIORINO ACM Transactions on Computational Logic (TOCL) 13 (2), 2012 | 22 | 2012 |
| Optimization techniques for propositional intuitionistic logic and their implementation A Avellone, G Fiorino, U Moscato Theoretical Computer Science 409 (1), 41-58, 2008 | 21 | 2008 |
| An evaluation-driven decision procedure for G3i M Ferrari, C Fiorentini, G Fiorino ACM Transactions on Computational Logic (TOCL) 16 (1), 1-37, 2015 | 17 | 2015 |
| : Basic Constructive Description Logic M Ferrari, C Fiorentini, G Fiorino Journal of Automated Reasoning 44 (4), 371-399, 2010 | 17 | 2010 |
| An o (nlog n)-space decision procedure for the propositional Dummett logic G Fiorino Journal of Automated Reasoning 27, 297-311, 2001 | 16 | 2001 |
| On the complexity of the disjunction property in intuitionistic and modal logics M Ferrari, C Fiorentini, G Fiorino ACM Transactions on Computational Logic (TOCL) 6 (3), 519-538, 2005 | 14 | 2005 |
| A decidable constructive description logic L Bozzato, M Ferrari, C Fiorentini, G Fiorino European Workshop on Logics in Artificial Intelligence, 51-63, 2010 | 11 | 2010 |
| JTabWb: a Java framework for implementing terminating sequent and tableau calculi M Ferrari, C Fiorentini, G Fiorino Fundamenta Informaticae 150 (1), 119-142, 2017 | 10 | 2017 |
| Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus G Fiorino Information Sciences 180 (19), 3633-3646, 2010 | 10 | 2010 |
| A new a O (n log n)-SPACE decision procedure for propositional intuitionistic logic A Avellone, G Fiorino, U Moscato Collegium Logicum, Kurt Goedel Society, 17-33, 2004 | 10 | 2004 |
| New Tableau Characterizations for Non-clausal MaxSAT Problem G Fiorino Logic Journal of the IGPL 30 (3), 422-436, 2022 | 9 | 2022 |
| A terminating evaluation-driven variant of G3i M Ferrari, C Fiorentini, G Fiorino Automated Reasoning with Analytic Tableaux and Related Methods: 22nd …, 2013 | 9 | 2013 |
| Space‐efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics G Fiorino Journal of Logic and Computation 12 (6), 955-992, 2002 | 8 | 2002 |
| On the complexity of disjunction and explicit definability properties in some intermediate logics M Ferrari, C Fiorentini, G Fiorino International Conference on Logic for Programming Artificial Intelligence …, 2002 | 8 | 2002 |
| Efficient learning with equivalence queries of conjunctions of modulo functions A Beitoni, N Cesa-Bianchi, G Fiorino Information processing letters 56 (1), 15-17, 1995 | 8 | 1995 |
| Decision procedures for propositional intermediate logics G Fiorino PhD thesis, Dipartimento di Scienze dell’Informazione, Universita’degli …, 2001 | 7 | 2001 |
| A non-clausal tableau calculus for minSAT G Fiorino Information Processing Letters 173, 106167, 2022 | 5 | 2022 |
