Fiorentini Camillo

Research Fellow
SSD
INF/01 - INFORMATICS
Competition sector
01/B1 - INFORMATICS

Contacts

Workplace

Via Celoria, 18

Office phone number
02503 16269
University email address
Web site

Education

Research

Publications
  • An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic / C. Fiorentini - In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence / [a cura di] S. Kraus. - Prima edizione. - [s.l] : ijcai.org, 2019 Aug. - ISBN 9780999241141. - pp. 1675-1681 (( Intervento presentato al 28. convegno IJCAI tenutosi a Macao nel 2019.
  • A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic / C. Fiorentini, R. Goré, S. Graham-Lengrand (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Automated Reasoning with Analytic Tableaux and Related Methods / [a cura di] S. Cerrito, A. Popescu. - Prima edizione. - [s.l] : Springer, 2019 Aug. - ISBN 9783030290252. - pp. 111-129 (( Intervento presentato al 28. convegno TABLEAUX tenutosi a London nel 2019.
  • Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic / M. Ferrari, C. Fiorentini. - In: JOURNAL OF AUTOMATED REASONING. - ISSN 0168-7433. - 62:1(2019 Jan), pp. 127-167.
  • Forward countermodel construction in modal Logic K / M. Ferrari, C. Fiorentini, G. Fiorino (CEUR WORKSHOP PROCEEDINGS). - In: Italian Conference on Computational Logic / [a cura di] P. Felli, M. Montali. - [s.l] : CEUR-WS, 2018 Sep. - pp. 75-81 (( Intervento presentato al 33. convegno Italian Conference on Computational Logic tenutosi a Bolzano nel 2018.
  • From Constructivism to Logic Programming: an Homage to Mario Ornaghi / M. Ferrari, C. Fiorentini, A. Momigliano. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - 161:1-2(2018 Jul), pp. 1-7.