Volgen
Guido Fiorino
Guido Fiorino
Assistant professor in computer science, Università degli Studi di Milano-Bicocca
Geverifieerd e-mailadres voor unimib.it - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
fCube: An Efficient Prover for Intuitionistic Propositional Logic
M Ferrari, C Fiorentini, G Fiorino
Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010
362010
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
322013
A Constructive Semantics for ALC
L Bozzato, M Ferrari, C Fiorentini, G Fiorino
Description Logics, 219-226, 2007
232007
Simplification Rules for Intuitionistic Propositional Tableaux
M FERRARI, C FIORENTINI, G FIORINO
ACM Transactions on Computational Logic (TOCL) 13 (2), 2012
192012
Optimization techniques for propositional intuitionistic logic and their implementation
A Avellone, G Fiorino, U Moscato
Theoretical Computer Science 409 (1), 41-58, 2008
182008
: Basic Constructive Description Logic
M Ferrari, C Fiorentini, G Fiorino
Journal of Automated Reasoning 44 (4), 371-399, 2010
172010
An evaluation-driven decision procedure for G3i
M Ferrari, C Fiorentini, G Fiorino
ACM Transactions on Computational Logic (TOCL) 16 (1), 1-37, 2015
152015
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
142005
An o (nlog n)-space decision procedure for the propositional Dummett logic
G Fiorino
Journal of Automated Reasoning 27, 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
112010
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
G Fiorino
Information Sciences 180 (19), 3633-3646, 2010
102010
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
102004
JTabWb: a Java framework for implementing terminating sequent and tableau calculi
M Ferrari, C Fiorentini, G Fiorino
Fundamenta Informaticae 150 (1), 119-142, 2017
92017
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
82002
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
Decision procedures for propositional intermediate logics
G Fiorino
PhD thesis, Dipartimento di Scienze dell’Informazione, Universita’degli …, 2001
72001
New Tableau Characterizations for Non-clausal MaxSAT Problem
G Fiorino
Logic Journal of the IGPL 30 (3), 422-436, 2022
62022
A terminating evaluation-driven variant of G3i
M Ferrari, C Fiorentini, G Fiorino
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd …, 2013
62013
A non-clausal tableau calculus for minSAT
G Fiorino
Information Processing Letters 173, 106167, 2022
52022
Terminating calculi for propositional Dummett logic with subformula property
G Fiorino
Journal of automated reasoning 52, 67-97, 2014
52014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20