Guido Fiorino
Guido Fiorino
Assistant professor in computer science, UniversitÓ degli Studi di Milano-Bicocca
Verified email at unimib.it - Homepage
Title
Cited by
Cited by
Year
fCube: An Efficient Prover for Intuitionistic Propositional Logic
M Ferrari, C Fiorentini, G Fiorino
International Conference on Logic for Programming Artificial Intelligenceá…, 2010
312010
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 (2), 129-149, 2013
302013
A Constructive Semantics for ALC
L Bozzato, M Ferrari, C Fiorentini, G Fiorino
Description Logics, 219-226, 2007
192007
Optimization techniques for propositional intuitionistic logic and their implementation
A Avellone, G Fiorino, U Moscato
Theoretical Computer Science 409 (1), 41-58, 2008
182008
Simplification Rules for Intuitionistic Propositional Tableaux
M FERRARI, C FIORENTINI, G FIORINO
ACM Transactions on Computational Logic (TOCL) 13 (2), 2012
172012
An evaluation-driven decision procedure for G3i
M Ferrari, C Fiorentini, G Fiorino
ACM Transactions on Computational Logic (TOCL) 16 (1), 1-37, 2015
142015
: Basic Constructive Description Logic
M Ferrari, C Fiorentini, G Fiorino
Journal of Automated Reasoning 44 (4), 371-399, 2010
142010
An o (nlog n)-space decision procedure for the propositional Dummett logic
G Fiorino
Journal of Automated Reasoning 27 (3), 297-311, 2001
122001
A decidable constructive description logic
L Bozzato, M Ferrari, C Fiorentini, G Fiorino
European Workshop on Logics in Artificial Intelligence, 51-63, 2010
102010
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
102005
A new a O (n log n)-SPACE decision procedure for propositional intuitionistic logic
A Avellone, G Fiorino, U Moscato
KGS, 2004
102004
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
G Fiorino
Information Sciences 180 (19), 3633-3646, 2010
82010
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
81995
JTabWb: a Java framework for implementing terminating sequent and tableau calculi
M Ferrari, C Fiorentini, G Fiorino
Fundamenta Informaticae 150 (1), 119-142, 2017
72017
A terminating evaluation-driven variant of G3i
M Ferrari, C Fiorentini, G Fiorino
International Conference on Automated Reasoning with Analytic Tableaux andá…, 2013
62013
Decision procedures for propositional intermediate logics
G Fiorino
PhD thesis, Dipartimento di Scienze dell’Informazione, Universita’degliá…, 2001
62001
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications
M FERRARI, C FIORENTINI, G FIORINO
Journal of Applied Non-classical Logics 19 (2), 149-166, 2009
52009
Space‐efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics
G Fiorino
Journal of Logic and Computation 12 (6), 955-992, 2002
52002
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
42002
Forward countermodel construction in modal logic K
M Ferrari, C Fiorentini, G Fiorino
Italian Conference on Computational Logic 2214, 75-81, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20