FERRARI MAURO | Università degli studi dell'Insubria

E-mail

[email protected]

Numero telefonico

0332 42 1386

Titoli di studio

Dottorato di Ricerca in Informatica, VIII ciclo, presso l'l'Università degli studi di Milano, 1997.

Laurea in Scienze dell'Informazione, presso l'Università degli studi di Milano, 1990.

Carriera

Dicembre 2004 - oggi

Professore associato nel Settore Scientifico Disciplinare INF/01 (Informatica) presso

il Dipartimento di Scienze Teoriche e Applicate dell'Università degli Studi dell'Insubria.

Giungo 2003 - Dicembre 2004

Ricercatore nel Settore Scientifico Disciplinare INF/01 (Informatica) presso

la Facoltà di Scienze MM.FF.NN dell'Università degli Studi dell'Insubria.

Aprile 2000 - Maggio 2003

Ricercatore nel Settore Scientifico Disciplinare INF/01 (Informatica) presso

la Facoltà di Scienze MM.FF.NN dell'Università degli Studi di Milano.

Curriculum dettagliato in inglese

Ricerca

Portale IRInSubria

Pubblicazioni in evidenza

Pubblicazioni recenti

M. Ferrari, C. Fiorentini and G. Fiorino. JTabWb: a Java framework for
implementing terminating sequent and tableau calculi. Fundamenta
Informaticae, 150(1):119-142, 2017.
M. Ferrari and C. Fiorentini. Proof-search in natural deduction
calculus for classical propositional logic. In H. De Nivelle, editor,
TABLEAUX 2015, LNCS, vol. 9323, pages 237–252. Springer International
Publishing, 2015.
M. Ferrari, C. Fiorentini, and G. Fiorino. An Evaluation-Driven
Decision Procedure for G3i. ACM Transactions on Computational Logic
(TOCL), 6(1):8:1–8:37, 2015.
M. Ferrari, C. Fiorentini, and G. Fiorino. A new refutation calculus
with logical optimizations for PLTL. In IARIA, editor, COMPUTATION
TOOLS 2015, pages 39–41, 2015.
M. Ferrari, C. Fiorentini, and G. Fiorino. JTabWb: a Java framework
for implementing terminating sequent and tableau calculi. In
L. Giordano, V. Gliozzi and G.L. Pozzato, editors, CILC 2014 Italian
Conference on Computational Logic, volume 1195 of CEUR Proceedings,
pages 46-530, 2014.
M. Ferrari, C. Fiorentini, and G. Fiorino. A terminating evaluation-driven variant of G3i. In D. Galmiche and D. Larchey-Wendling, editors, TABLEAUX 2013, LNCS, volume 8123, pages 104-118. Springer-Verlag, 2013.
M. Ferrari, C. Fiorentini, and G. Fiorino. Contraction-free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models. Journal of Automated Reasoning, 51(2):129-149, 2013.
M. Ferrari, C. Fiorentini, and G. Fiorino. Simplification Rules for Intuitionistic Propositional Tableaux. ACM Transactions on Computational Logic (TOCL), 13(2), 2012.
M. Ferrari, C. Fiorentini, and G. Fiorino. BCDL: Basic Constructive Description Logic. Journal of Automated Reasoning, 44(4):371-399, 2010.
M. Ferrari, C. Fiorentini, and G. Fiorino. FCube: An Efficient Prover for Intuitionistic Propositional Logic. In C. G. Fermuller and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, volume 6397, pages 294-301. Springer, 2010.
L.Bozzato, M. Ferrari, C. Fiorentini, and G. Fiorino. A decidable constructive description logic. In T. Janhunen and I. Niemela, editors, Logics in Artificial Intelligence, JELIA 2010, volume 6341, pages 51-63. Springer, 2010.
L.Bozzato and M. Ferrari. A Note on Semantic Web Services Specification and Composition in Constructive Description Logics. arXiv:1007.2364, CoRR, pages 15, 2010.
L.Bozzato and M. Ferrari. Composition of Semantic Web Services in a Constructive Description Logic, In P. Hitzler and T. Lukasiewicz, editors, Web Reasoning and Rule Systems, RR 2010, volume 6333 of Lecture Notes in Computer Science, pages 223-226. Springer, 2010.
L. Bozzato, M. Ferrari and P. Villa. Actions over a constructive semantics for description logics. Fundamenta Informaticae, 96, 1-17, 2009.
M. Ferrari, C. Fiorentini, and G. Fiorino. A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications. Journal of Applied Non-Classical Logics, 19(2):144-166, 2009.
M. Ferrari, C. Fiorentini, and G. Fiorino. Towards the use of Simplification Rules in Intuitionistic Tableaux. Proceedings of CILC09, 24-esimo Convegno Italiano di Logica Computazionale. 2009.
L. Bozzato, M. Ferrari and P. Villa. A note on constructive semantics for description logics. Proceedings of CILC09, 24-esimo Convegno Italiano di Logica Computazionale. 2009.