Inizio della pagina -
Logo dell'Università degli Studi di Milano-Bicocca
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
|Lista dei comandi|
FIORINO GUIDO GIUSEPPE

Tel.: 02 6448 7873
guido.fiorino@unimib.it
FIORINO GUIDO GIUSEPPE
ricercatore
Settore scientifico disciplinare:
Dipartimento:
Edificio e stanza:
U14-1014
Per saperne di più: altri links
Aree tematiche di ricerca:

Interests

  • Calculi, decision procedures and implementations for Intuitionistic and intermediate logics;
  • Proof theory of constructive formal systems;
  • Computational Complexity
Parole chiave:
Informatica
Keywords:
Computer Science
Computational Logic
Pubblicazioni:
  • Ferrari, M., Fiorentini, C., & Fiorino, G. (2012). Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models. Journal of automated reasoning. - ISSN: 0168-7433 EISSN: 1573-0670
  • Fiorino, G.G. (2011). Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. AAAI Press. - ISBN: 978-1-57735-512-0
  • Bozzato, L., Ferrari, M., Fiorentini, C., & Fiorino, G.G. (2010). A Decidable Constructive Description Logic. In Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings (pp.51-63). Berlin/Heidelberg : Springer Berlin / Heidelberg. - ISBN: 978-3-642-15674-8 ISSN: 0302-9743
  • Ferrari, M., Fiorentini, C., & Fiorino, G.G. (2010). BCDL: Basic Constructive Description Logic. Journal of automated reasoning, 44(4), 371-399. - ISSN: 0168-7433 EISSN: 1573-0670
  • Fiorino, G.G. (2010). Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus. Information sciences, 180(19), 3633-3646. - ISSN: 0020-0255 EISSN: 1872-6291
Curriculum Vitæ
Curriculum non disponibile

  
© 2005-2016 Università degli Studi di Milano-Bicocca -
Piazza dell'Ateneo Nuovo, 1 - 20126, Milano • tel. 02 6448 1 • Casella PEC: ateneo.bicocca@pec.unimib.it • P.I. 12621570154 • Amministrazione trasparente
- ultimo aggiornamento di questa pagina 27/03/2013