Fiorentini Camillo

Researcher
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
  • Efficient SAT-based Proof Search in Intuitionistic Propositional Logic / C. Fiorentini (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Automated Deduction – CADE 28 / [a cura di] A. Platzer, G. Sutcliffe. - Prima edizione. - [s.l] : Springer, 2021. - ISBN 9783030798758. - pp. 217-233 (( Intervento presentato al 28. convegno Conference on Automated Deduction tenutosi a Online nel 2021 [10.1007/978-3-030-79876-5_13].
  • A forward internal calculus for model generation in S4 / C. Fiorentini, M. Ferrari. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - (2021). [Epub ahead of print]
  • 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.
  • 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.