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
Research

Publications

Publications
  • Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic / C. Fiorentini, M. Ferrari. - In: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. - ISSN 1529-3785. - 21:3(2020), pp. 22.1-22.47.
  • Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract) / L. Bozzato, C. Fiorentini (CEUR WORKSHOP PROCEEDINGS). - In: Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) / [a cura di] S. Borgwardt, T. Meyer. - [s.l] : CEUR Workshop Proceedings, 2020. - pp. 1-3 (( Intervento presentato al 33. convegno Description Logics 2020.
  • A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms / C. Fiorentini, M. Ferrari (CEUR WORKSHOP PROCEEDINGS). - In: CILC 2020 : Proceedings of CILC 2020 / [a cura di] F. Calimeri , S. Perri, E. Zumpano. - [s.l] : CEUR Workshop Proceedings, 2020. - pp. 91-104 (( Intervento presentato al 35. convegno Italian Conference on Computational Logic nel 2020.
  • Reasoning on Information Term Semantics with ASP for Constructive ELꓕ / L. Bozzato, C. Fiorentini (CEUR WORKSHOP PROCEEDINGS). - In: CILC 2020 : Proceedings of CILC 2020 / [a cura di] F. Calimeri , S. Perri, E. Zumpano. - [s.l] : CEUR Workshop Proceedings, 2020. - pp. 141-156 (( Intervento presentato al 35. convegno Italian Conference on Computational Logic nel 2020.
  • Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic / C. Fiorentini, M. Ferrari (CEUR WORKSHOP PROCEEDINGS). - In: ICTCS 2020 : 21st Italian Conference on Theoretical Computer Science / [a cura di] G. Cordasco, L. Gargano , A. Rescigno. - Prima edizione. - [s.l] : CEUR Workshop Proceedings, 2020. - pp. 230-235 (( Intervento presentato al 21. convegno Italian Conference on Theoretical Computer Science tenutosi a Ischia nel 2020.